!math@lemmy.sdf.org
Interesting news and discussion centered around Mathematics
!math
@lemmy.sdf.orghttps://drive.google.com/file/d/1IYWpEFWCAVzCVIzetPon3FPZLGciSEz8/view?usp=drive_link
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
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?
https://en.wikipedia.org/wiki/Suslin%27s_problem#Formulation
https://mathb.in/75787
https://annas-archive.org/md5/70aca38110f7aaaa98cd2b296e027455
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.