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 andrewflnr on Friday May 15, 2020 @12:00AM (#23188764)
That's pretty much the same idea underlying intuitionistic logic, IIUC
[ Parent | on HN ]

There are no comments on this comment yet.