Towards an Arithmetical Logic

Towards an Arithmetical Logic
Author :
Publisher : Birkhäuser
Total Pages : 193
Release :
ISBN-10 : 9783319220871
ISBN-13 : 331922087X
Rating : 4/5 (87X Downloads)

Book Synopsis Towards an Arithmetical Logic by : Yvon Gauthier

Download or read book Towards an Arithmetical Logic written by Yvon Gauthier and published by Birkhäuser. This book was released on 2015-09-24 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Towards an Arithmetical Logic Related Books

Internal Logic
Language: en
Pages: 276
Authors: Y. Gauthier
Categories: Mathematics
Type: BOOK - Published: 2002-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Internal Logic
Language: en
Pages: 176
Authors: Maggie Taylor
Categories:
Type: BOOK - Published: 2022 - Publisher:

DOWNLOAD EBOOK

This is a collection of digitally composited surreal images by artist Maggie Taylor with an essay by Mark Sloan. 117 color plates. The works span the years 2012
Towards an Arithmetical Logic
Language: en
Pages: 193
Authors: Yvon Gauthier
Categories: Mathematics
Type: BOOK - Published: 2015-09-24 - Publisher: Birkhäuser

DOWNLOAD EBOOK

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmeti
Categorical Logic and Type Theory
Language: en
Pages: 784
Authors: B. Jacobs
Categories: Computers
Type: BOOK - Published: 2001-05-10 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat
The Art of Logic in an Illogical World
Language: en
Pages: 296
Authors: Eugenia Cheng
Categories: Mathematics
Type: BOOK - Published: 2018-09-11 - Publisher: Basic Books

DOWNLOAD EBOOK

How both logical and emotional reasoning can help us live better in our post-truth world In a world where fake news stories change election outcomes, has ration