Penchev, Vasil (2022) Gödel mathematics versus Hilbert mathematics. I The Gödel incompleteness (1931) statement: axiom or theorem? [Preprint]

Text
GÖDEL MATHEMATICS VERSUS HILBERT MATHEMATICS.pdf Download (590kB)  Preview 
Abstract
The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: weather it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic. The main argument consists in the contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. Thus, the pair of arithmetic and set are similar to Euclidean and nonEuclidean geometries distinguishably only by the Fifth postulate: correspondingly, by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. The axiom of choice transforms any set in a wellordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. The Gödel incompleteness statement relies on the contradiction of the axioma of induction and infinity.
Export/Citation:  EndNote  BibTeX  Dublin Core  ASCII/Text Citation (Chicago)  HTML Citation  OpenURL 
Social Networking: 
Item Type:  Preprint  

Creators: 


Keywords:  Boolean algebra, completeness, dual axiomatics, Euclidean and nonEuclidean geometries, Gödel, the Fifth postulate, finitism, foundations of mathematics, Hilbert arithmetic, Hilbert program, Husserl, incompleteness, logicism, Peano arithmetic, phenomenology, Principia mathematica, propositional logic, Riemann’s “space curvature”, Russell, set theory  
Subjects:  Specific Sciences > Mathematics > Logic General Issues > History of Philosophy of Science General Issues > History of Science Case Studies 

Depositing User:  Prof. Vasil Penchev  
Date Deposited:  19 Oct 2022 17:13  
Last Modified:  19 Oct 2022 17:13  
Item ID:  21280  
Official URL:  https://www.cambridge.org/engage/coe/articledetai...  
DOI or Unique Handle:  https://doi.org/10.33774/coe2022wlr02  
Subjects:  Specific Sciences > Mathematics > Logic General Issues > History of Philosophy of Science General Issues > History of Science Case Studies 

Date:  17 October 2022  
URI:  http://philsciarchive.pitt.edu/id/eprint/21280 
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
View Item 