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
Publication date: 2022
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.
...MoreSimilar Citations
Article
Luciano, Erika;
(2006)
At the Origins of Functional Analysis: G. Peano and M. Gramegna on Ordinary Differential Equations
Chapter
Giuseppe Boscarino;
(2024)
Peano, logico, matematico e linguista, maestro di scienza e di filosofia
Thesis
David E. Dunning;
(2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937
Book
Paola Cantù;
Georg Schiemer;
(2023)
Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle
Chapter
Enrico Pasini;
(2024)
Dimenticando Peano. Gli incerti inizi degli studi leibniziani nel Novecento italiano
Article
Saul A. Kripke;
(2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
Book
Peano, Giuseppe;
Couturat, Louis;
Luciano, Erika;
Roero, Clara Silvia;
(2005)
Carteggio: 1896--1914
Article
Mark Textor;
(2021)
Saying Something about a Concept: Frege on Statements of Number
Book
Kurt Godel;
Solomon Feferman;
John W. Dawson;
Warren Goldfarb;
Charles Parsons;
Wilfried Sieg;
(2013)
Kurt Gödel: Collected Works: Volume IV
Book
Anderson, M.;
Katz, V.;
Wilson, R.;
(2009)
Who Gave You the Epsilon? And Other Tales of Mathematical History
Article
Christine Proust;
(2022)
The sexagesimal place-value notation and abstract numbers in mathematical cuneiform texts
Book
Gray, Jeremy;
Parshall, Karen Hunger;
(2007)
Episodes in the History of Modern Algebra (1800--1950)
Article
Gandon, Sébastien;
Perrin, Yvette;
(2009)
Le problème de la définition de l'aire d'une surface gauche: Peano et Lebesgue
Article
Gandon, Sébastien;
(2006)
La réception des Vorlesungen über neuere Geometrie de Pasch par Peano
Article
Luciano, Erika;
(2007)
Il trattato Genocchi-Peano (1884) alla luce di documenti inediti
Article
Luciano, Erika;
(2018)
I contributi di Giovanni Vacca alla storia della logica matematica fra erudizione e critica storiografica
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
Book
Jan Von Plato;
(2017)
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
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
Book
Elena Anne Corie Marchisotto;
Francisco Rodriguez-Consuegra;
James T. Smith;
(2021)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
Be the first to comment!