This week: going back to my dissertation and extending
My dissertation developed a method of specifying the complexity of finite automorphisms (functions from a set to itself). I'd like to extend this to relations (i.e., no restriction that a single arrow departs a particular domain element).
Working with math in my zettelkasten has been interesting. The only difficulty has been with diagrams etc. I've found that working mainly physically and scanning the images and cleaning the text digitally has been a nice process without much overhead.
Proofs and particularly the elements of subproofs are natural since linking can double as both relation and implication; likewise examination of backlinks can be useful for examining assumptions / presuppositions.
In summary, its working reasonably well, I just need to work physically first, then transfer to digital.
Any shared experiences re mathematics research in your zettelkasten would be great.
For anyone with a combinatorial or number-theoretic bent, here is a newly discovered sequence of numbers generated by the main algorithm of my paper at the encyclopedia of integer sequences. https://oeis.org/A335725