6 research outputs found
Note sur lâordre de IF : Hintikka a-t-il vĂ©ritablement dĂ©couvert la vĂ©ritable logique Ă©lĂ©mentaire ?
La logique IF est-elle la vĂ©ritable logique Ă©lĂ©mentaire, comme le prĂ©tend Hintikka ? Mais, dâabord, est-elle vĂ©ritablement Ă©lĂ©mentaire, câest-Ă -dire du premier ordre ? Il est tentant de rĂ©pondre non, en arguant du pouvoir extraordinaire de cette logique par rapport Ă la logique du premier ordre ordinaire. Mais, pour impressionnante que puisse ĂȘtre lâobjection, elle nâatteint pas son but. Il faut une rĂ©futation directe, fondĂ©e sur lâanalyse de la notion dâordre.Is IF logic the true elementary logic, as Hintikka claims? Moreover is it truly elementary, viz. first-order, in the first place? One is tempted to answer no, because of the extraordinary power of this logic in comparison with ordinary first-order logic. However impressive this objection may be, it misses its aim. A direct refutation is needed, grounded on an analysis of the notion of order
A Pluralist Foundation of the Mathematics of the First Half of the Twentieth Century
MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed
Hilbert Mathematics Versus Gödel Mathematics. IV. The New Approach of Hilbert Mathematics Easily Resolving the Most Difficult Problems of Gödel Mathematics
The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional âdimensionâ allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the âdistance between finiteness and infinityâ, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special âflatâ case of Hilbert mathematics. The following four essential problems are considered for the idea to be elucidated: Fermatâs last theorem proved by Andrew Wiles; PoincarĂ©âs conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved âmachine-likelyâ by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermatâs last theorem is shown as a Gödel insoluble statement by means of Yabloâs paradox. Thus, Wilesâs proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in âFermat arithmeticâ introduced by âepochĂ© to infinityâ (following the pattern of Husserlâs original âepochĂ© to realityâ) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a âWittgenstein ladderâ. PoincarĂ©âs conjecture can be reinterpreted physically by Minkowski space and thus reduced to the ânonstandard homeomorphismâ of a bit of information mathematically. Perelmanâs proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of PoincarĂ©âs conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions
Recommended from our members
Brentanian continua and their boundaries
This dissertation focuses on how a specific conceptual thread of the history of mathematics unfolded throughout the centuries from its original account in Ancient Greece to its demise in the Modern era due to new mathematical developments and, finally, to its revival in the work of Brentano. In particular, we shall discuss how the notion of continuity and the connected notion of continua and boundaries developed through the ages until Brentano's revival of the original Aristotelian account against the by then established mathematical orthodoxy. Thus, this monograph hopes to fill in a gap in the present state of Brentanian scholarship as well as to present a thorough account of this specific historical thread