Towards an Arithmetical Logic

The Arithmetical Foundations of Logic

Nonfiction, Science & Nature, Mathematics, Logic, History
Cover of the book Towards an Arithmetical Logic by Yvon Gauthier, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Yvon Gauthier ISBN: 9783319220871
Publisher: Springer International Publishing Publication: September 24, 2015
Imprint: Birkhäuser Language: English
Author: Yvon Gauthier
ISBN: 9783319220871
Publisher: Springer International Publishing
Publication: September 24, 2015
Imprint: Birkhäuser
Language: English

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of logic and mathematics.

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

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of logic and mathematics.

More books from Springer International Publishing

Cover of the book Nanobiotechnology in Bioformulations by Yvon Gauthier
Cover of the book The Geography of Tourism of Central and Eastern European Countries by Yvon Gauthier
Cover of the book Recursion: Complexity in Cognition by Yvon Gauthier
Cover of the book German Philanthropy in Transatlantic Perspective by Yvon Gauthier
Cover of the book Scale Space and Variational Methods in Computer Vision by Yvon Gauthier
Cover of the book Stem Cell Processing by Yvon Gauthier
Cover of the book Sensors for Everyday Life by Yvon Gauthier
Cover of the book Latent Variable Analysis and Signal Separation by Yvon Gauthier
Cover of the book Globalization of Financial Institutions by Yvon Gauthier
Cover of the book Neuroimmune Pharmacology by Yvon Gauthier
Cover of the book Secure IT Systems by Yvon Gauthier
Cover of the book Contemporary Research in Adult and Lifelong Learning of Mathematics by Yvon Gauthier
Cover of the book International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy Technologies EMMFT 2018 by Yvon Gauthier
Cover of the book Software Engineering and Formal Methods by Yvon Gauthier
Cover of the book An Introduction to Machine Learning by Yvon 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