News for hackers. Stuff that matters.

A comment on Weakening Cycles So That Turing Can Halt. Parent comment

Re:Weakening Cycles So That Turing Can Halt by jpt4 on Friday May 15, 2020 @08:47PM (#23199333)
You may also be interested in Willard's Self-Verifying Theories: https://en.wikipedia.org/wiki/Self-verifying_theories
[ Parent | on HN ]

There are no comments on this comment yet.