Internal Logic

Foundations of Mathematics from Kronecker to Hilbert

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Internal Logic by Y. Gauthier, Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Y. Gauthier ISBN: 9789401700832
Publisher: Springer Netherlands Publication: March 9, 2013
Imprint: Springer Language: English
Author: Y. Gauthier
ISBN: 9789401700832
Publisher: Springer Netherlands
Publication: March 9, 2013
Imprint: Springer
Language: English

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer.

The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer.

The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

More books from Springer Netherlands

Cover of the book Aristotle and The Philosophy of Law: Theory, Practice and Justice by Y. Gauthier
Cover of the book Quantum Systems in Chemistry and Physics by Y. Gauthier
Cover of the book Impacts of Point Polluters on Terrestrial Biota by Y. Gauthier
Cover of the book Identification and Control of Common Weeds: Volume 2 by Y. Gauthier
Cover of the book Structure and Properties of Liquid Crystals by Y. Gauthier
Cover of the book Vegetation Ecology of Socotra by Y. Gauthier
Cover of the book Imagined Causes: Hume's Conception of Objects by Y. Gauthier
Cover of the book Role of Capsaicin in Oxidative Stress and Cancer by Y. Gauthier
Cover of the book Eduard Brückner - The Sources and Consequences of Climate Change and Climate Variability in Historical Times by Y. Gauthier
Cover of the book Robert Hooke’s Contributions to Mechanics by Y. Gauthier
Cover of the book Mathematics Across Cultures by Y. Gauthier
Cover of the book Geriatrics by Y. Gauthier
Cover of the book Virginia Woolf and Neuropsychiatry by Y. Gauthier
Cover of the book City Imaging: Regeneration, Renewal and Decay by Y. Gauthier
Cover of the book The Problem of Certainty in English Thought 1630–1690 by Y. Gauthier
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy