IsisCB Explore

Article ID: CBB173126247

On the (In)Dependence of the Peano Axioms for Natural Numbers (2022)

Cerioli, Márcia R. (Author)
Nobrega, Hugo (Author)
Silveira, Guilherme (Author)
Viana, Petrucio (Author)

History and Philosophy of Logic
Volume: 43
Issue: 1
Pages: 51-69

DOI: 10.1080/01445340.2021.1971005

URI: https://doi.org/10.1080/01445340.2021.1971005

Outside Links

WorldCat

Google Scholar

JSTOR

Academia.edu

Mathematics Logic Number theory; number concept 20th century, early 19th century Peano, Giuseppe

We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical structures that satisfy, or do not satisfy, these axioms. We then present an alternative logical proof, which makes no essential references to the relationship between mathematical structures. There is a completely independent set of axioms for the sequence of natural numbers, but it is based on primitives different from those originally adopted by Peano. Therefore, we present a new completely independent set of axioms based on the same set of primitives as the one originally adopted by Peano.

...More

Citation URI

https://data.isiscb.org/isis/citation/CBB173126247/

Citations Indexes

Similar Citations

Thesis David E. Dunning; (2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937 (/isis/citation/CBB517005733/)

Article Luciano, Erika; (2006)
At the Origins of Functional Analysis: G. Peano and M. Gramegna on Ordinary Differential Equations (/isis/citation/CBB000770911/)

Article Saul A. Kripke; (2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History (/isis/citation/CBB257161891/)

Book Peano, Giuseppe; Couturat, Louis; Luciano, Erika; Roero, Clara Silvia; (2005)
Carteggio: 1896--1914 (/isis/citation/CBB000954373/)

Article Mark Textor; (2021)
Saying Something about a Concept: Frege on Statements of Number (/isis/citation/CBB227044624/)

Book Gray, Jeremy; Parshall, Karen Hunger; (2007)
Episodes in the History of Modern Algebra (1800--1950) (/isis/citation/CBB000774194/)

Article Christine Proust; (2022)
The sexagesimal place-value notation and abstract numbers in mathematical cuneiform texts (/isis/citation/CBB388966363/)

Book Grattan-Guinness, I.; (2000)
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel (/isis/citation/CBB000111675/)

Book Ricketts, Tom; Potter, Michael D.; (2010)
The Cambridge Companion to Frege (/isis/citation/CBB001211647/)

Article Despeaux, Sloan Evans; (2014)
Questions/ réponses dans les périodiques britanniques des XVIIIe et XIXe siècles: un genre éditorial à la croisée de deux pratiques mathématiques (/isis/citation/CBB001451430/)

Book Künne, Wolfgang; (2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV (/isis/citation/CBB001210615/)

Article Dea, Shannon; (2006)
“Merely a veil over the living thought”: Mathematics and Logic in Peirce's Forgotten Spinoza Review (/isis/citation/CBB001023424/)

Article David E. Dunning; (2021)
The Logician in the Archive: John Venn’s Diagrams and Victorian Historical Thinking (/isis/citation/CBB413337671/)

Book Grattan-Guiness, I.; (2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel (/isis/citation/CBB000102346/)

Book Jan Von Plato; (2017)
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (/isis/citation/CBB573478690/)

Article Schlimm, Dirk; (2011)
On the Creative Role of Axiomatics. The Discovery of Lattices by Schröder, Dedekind, Birkhoff, and Others (/isis/citation/CBB001211472/)

Book Elena Anne Corie Marchisotto; Francisco Rodriguez-Consuegra; James T. Smith; (2021)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics (/isis/citation/CBB763111584/)

Book Gauthier, Yvon; (2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert (/isis/citation/CBB000301820/)

Thesis Anya Yermakova; (2021)
An Embodied History of Math and Logic in Russian-Speaking Eurasia (/isis/citation/CBB650945384/)

Article Luciano, Erika; (2018)
I contributi di Giovanni Vacca alla storia della logica matematica fra erudizione e critica storiografica (/isis/citation/CBB973030261/)

Comments

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}