News for hackers. Stuff that matters.

A comment on A pilot project in universal algebra to explore new ways to collaborate. Parent comment

Re:A pilot project in universal algebra to explore new ways ... by srcreigh on Friday September 27, 2024 @02:52AM (#41667113)
That machine doesn’t encode ZF. It encodes a problem that is independent of ZF. And it’s not impossible to prove that the machine runs forever, you just can’t use ZF to prove that.
[ Parent | on HN ]

There are no comments on this comment yet.