main.pdf
https://drive.google.com/file/d/1IYWpEFWCAVzCVIzetPon3FPZLGciSEz8/view?usp=drive_link
How do you find the center of two concentric circles with just a straightedge?
The Wikipedia article on Steiner constructions mentions it, but doesn't explain it, and the source linked is a book I don't have. This has come up in a practical project.
https://www.youtube.com/playlist?list=PL8yHsr3EFj51pjBvvCPipgAT3SYpIiIsJ
Is there an interesting set of natural numbers defined by a number-theoretic property that is finite?
Is there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?
If not, that seems like a good argument in favour of finitism. If so, what if anything does it mean if you solve it by brute force?
What's an example of an ordered set other than R that obeys the first 3 Suslin conditions?
Suslin's problem - Wikipedia
https://en.wikipedia.org/wiki/Suslin%27s_problem#Formulation
Interesting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)
https://mathb.in/75787
Matrix Theory: From Generalized Inverses to Jordan Form
https://annas-archive.org/md5/70aca38110f7aaaa98cd2b296e027455
What are some interesting fiber bundles with a disk or plane as the base?
Has someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C?
Paul Cohen I understand constructed such a set of axioms, which logically imply the existence of an evil set family like that. Constructive is of course preferred for extra WTF.