Comment

Comment by saulrh

Sensationalist title. A better one would be "Unreviewed proof claims that Peano arithmetic is inconsistent". This is self-published, hasn't been looked at by anybody else, and contradicts a very well-accepted and thoroughly examined argument for consistency from way back in 1936.

1: http://en.wikipedia.org/wiki/Gentzen%27s_consistency_proof

[edit: as the commenters point out, I'm no mathematician, and I'm working off Wikipedia. Go with what they say.]

parent saulrh 15 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton