News for hackers. Stuff that matters.

A comment on Weakening Cycles So That Turing Can Halt.

Re:Weakening Cycles So That Turing Can Halt by Sophistifunk on Thursday May 14, 2020 @09:13PM (#23187750)
The liar "paradox" is only one if you're operating with the assumption all statements are falsifiable and valid, which I've never been shown to be a good ground truth.
[ Parent | on HN ]
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 ]