Hacker News new | ask | show | jobs
New Master Fixed Point Theorem Unifies Godel, Turing, Kleene, Tarski, Lob (novaspivack.com)
3 points by airesearcher 59 days ago