Cerioli, Márcia R. (Author)
Nobrega, Hugo (Author)
Silveira, Guilherme (Author)
Viana, Petrucio (Author)
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
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/)
Be the first to comment!