A Turing Machine that halts iff ZFC is inconsistentturingmachinesimulator.com2 points·jwgarber··0 commentsOpen articleSaveView on HN