New Master Fixed Point Theorem Unifies Godel, Turing, Kleene, Tarski, Lob (novaspivack.com) 3 points by airesearcher 5mo ago ↗ HN
1 comment
[ 4.7 ms ] story [ 15.1 ms ] thread