A Turing Machine that halts iff ZFC is inconsistent Posted by jwgarber on Monday May 04, 2020 @12:58PM from the turingmachinesimulator.com dept. https://turingmachinesimulator.com/shared/vgimygpuwi ( no comments | 2 points | on HN )
There are no comments yet.