Hacker News new | ask | show | jobs
A Turing Machine that halts iff ZFC is inconsistent (turingmachinesimulator.com)
2 points by jwgarber 2239 days ago