|
|
|
|
|
|
by LegionMammal978
357 days ago
|
|
|
If you believe that ZF is consistent, then you believe that the machine cannot halt (assuming you trust its construction). But you cannot write a proof in ZF that the machine cannot halt. Such a proof must include a new axiom "ZF is consistent", or some stronger axiom. |
|
|