14

Can you provide any failed attempts to prove that ZF or ZFC to be inconsistent?

References to articles in the literature if there are any will be much appreciated.

Thanks!

Alan
  • 1,524
  • 16
    I assume you want attempts by competent mathematicians (not cranks). Competent set theorists who doubt the consistency of ZFC are rare, and ones who have seriously sought a contradiction are even rarer. The only example that comes to mind is Jack Silver, who didn't publish failed attempts, but did publish a lot of good set theory arising from those attempts. See https://mathoverflow.net/questions/260944 for a little information about that. – Andreas Blass Jul 19 '19 at 19:16
  • 5
    Every attempt to prove any mathematical fact is implicitly an attempt to prove inconsistency of ZF(C). – YCor Jul 20 '19 at 08:41
  • 1
    One could, at a stretch, classify Gödel's consistency proof for AC and CH with ZF as double checking there isn't an inconsistency arising from those two axioms relative to the rest of ZF. – David Roberts Jul 20 '19 at 09:47

1 Answers1

22

I think the most noticeable one was Nelson's attempt to prove the inconsistency of primitive recursive arithmetic. Terence Tao found a mistake in the proof, but Nelson's attempt was posthumously uploaded to arxiv (https://arxiv.org/pdf/1509.09209.pdf), together with an introduction by Sarah Jones Nelson and an afterword by Sam Buss and Terence Tao himself.

Nelson was amongst the very few serious mathematicians who supported the view that arithmetic was indeed inconsistent, based on his ultrafinitist philosophy.

N. Virgo
  • 1,316
godelian
  • 5,682
  • 2
    This might also be relevant https://mathoverflow.net/questions/36693/nelsons-program-to-show-inconsistency-of-zf – Qfwfq Jul 19 '19 at 19:20