Faster-than-light neutrinos? Boring... let's see something

*really* revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called

*Elements* in which he claims to prove the

**inconsistency of arithmetic**. He writes:

"I am writing up a proof that Peano arithmetic (P), and even a small fragment of primitive-recursive arithmetic (PRA), are inconsistent. This is posted as a Work in Progress at

http://www.math.princeton.edu/~nelson/books.htmlA short outline of the book is at:

http://www.math.princeton.edu/~nelson/papers/outline.pdfThe outline begins with a formalist critique of finitism, making the case that there are tacit infinitary assumptions underlying finitism. Then the outline describes how inconsistency will be proved. It concludes with remarks on how to do modern mathematics within a consistent theory."

Thanks to

+David Roberts and

+Andres Caicedo for pointing this out.

*I have no idea if Nelson's proof is correct!* He has, however, done good mathematics in the past: in his PhD thesis he was the first to rigorously construct an interacting quantum field theory.