A Turing Machine that halts iff ZFC is inconsistent #1 Post by jwgarber » Mon, May 04, 2020, 4:58 PM UTC A Turing Machine that halts iff ZFC is inconsistentturingmachinesimulator.com