11.2.09

1463.- Otro

Ya el título invita a ver el paper: The significance of Nathanson's 'boss' factor in legitimising Aristotle's particularisation: Why we need to revise current interpretations of Cantor's, Goedel's, Turing's and Tarski's formal reasoning

El abstract casi que es más corto:
I show--contrary to common beliefs tolerated by the 'bosses'--that any interpretation of ZF that admits Aristotle's particularisation is not sound; that the standard interpretation of PA is not sound; that PA is consistent but omega-inconsistent; that a sound finitary interpretation of PA is definable in terms of Turing-computability; and that PA cannot be consistently extended to ZF.


* * *


Lamentablemente, el autor ha demostrado de manera sencilla que P =/= NP, y que Godel y Cantor están equivocados.

No way.