3 ms·
Is there, somewhere, a list of theorems that were considered proved and true for a while, but after attempts at formalization the proof was invalidated and the
by fouronnes3 1y ago
Is there, somewhere, a list of theorems that were considered proved and true for a while, but after attempts at formalization the proof was invalidated and the theorem is now unknown or disproved?
- wslh 1y agohttps://en.wikipedia.org/wiki/List_of_incomplete_proofs?wprov=sfti1 https://en.wikipedia.org/wiki/List_of_incomplete_proofs?wpro...
- robinzfc 1y agoThere was a question [1] on mathoverflow about this with a couple of interesting answers and comments. [1] https://mathoverflow.net/questions/291158/proofs-shown-to-be-wrong-after-formalization-with-proof-assistant/ https://mathoverflow.net/questions/291158/proofs-shown-to-be...