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