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 Advances in Quantum Methods and Applications in Chemistry, Physics, and Biology by Yvon Gauthier
Cover of the book AeroStruct: Enable and Learn How to Integrate Flexibility in Design by Yvon Gauthier
Cover of the book Computational and Experimental Fluid Mechanics with Applications to Physics, Engineering and the Environment by Yvon Gauthier
Cover of the book Structured Object-Oriented Formal Language and Method by Yvon Gauthier
Cover of the book Models of Calcium Signalling by Yvon Gauthier
Cover of the book The Economics of Oil by Yvon Gauthier
Cover of the book Metaphorical Signs in Computed Tomography of Chest and Abdomen by Yvon Gauthier
Cover of the book Studies on Experimental Toxicology and Pharmacology by Yvon Gauthier
Cover of the book Advanced Technologies in Practical Applications for National Security by Yvon Gauthier
Cover of the book Global Entrepreneurship and Development Index 2016 by Yvon Gauthier
Cover of the book Handbook on Project Management and Scheduling Vol.1 by Yvon Gauthier
Cover of the book Schengen Visa Implementation and Transnational Policymaking by Yvon Gauthier
Cover of the book A Course in Classical Physics 1—Mechanics by Yvon Gauthier
Cover of the book Proceedings of the Third International Afro-European Conference for Industrial Advancement — AECIA 2016 by Yvon Gauthier
Cover of the book Verified Software: Theories, Tools and Experiments 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