T turingmachinesimulator.com A Turing Machine that halts iff ZFC is inconsistent 2 points jwgarber 6 years ago 0 comments
