Mathematics – General Mathematics
Scientific paper
2009-02-06
Mathematics
General Mathematics
61 pages. Latex. Minor editing and formatting. References removed. An update of this paper is available at http://alixcomsi.
Scientific paper
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.
No associations
LandOfFree
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 does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with 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, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and 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 will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-251669