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

Simple item page
dc.creatorAnand, Bhupinder Singh
dc.date2009-02-06
dc.date2009-02-10
dc.date.accessioned2026-07-07T12:39:17Z
dc.date.available2026-07-07T12:39:17Z
dc.descriptionI 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.
dc.description61 pages. Latex. Minor editing and formatting. References removed. An update of this paper is available at http://alixcomsi.com/24_The_boss_factor_Update.pdf
dc.identifierhttps://arxiv.org/abs/0902.1064
dc.identifierhttp://arxiv.org/abs/0902.1064
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/219053
dc.subjectGeneral Mathematics
dc.subject03B10
dc.titleThe 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
dc.typetext

Files

Collections

arXiv