Name: internal logic
Price: 3418.00 TWD
Availability: InStock
Author: gauthier
ISBN: 9781402006890

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer

Author

gauthier

Language

English

Pages

248

ISBN

1402006896

ISBN13

9781402006890

Synopsis "internal logic"

internal logic is the logic of content. the content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). kroneckers general arithmetic of forms (polynomials) together with fermats 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 kroneckers 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.