Description

December 9th 2010 | Paperback | PDF, EPUB, FB2, DjVu, audiobook, mp3, ZIP | 251 pages | ISBN: 9789048160525 | 9.25 Mb

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.

Related Archive Books

- 14.08.2014Organometallics In Process Chemistry
- 02.06.2015The Empire of the Ants
- 09.11.2013Business Discourse
- 22.04.2012Amendments to the Constitution of North Carolina Proposed
- 28.05.2012Sunshine On The Mayfield: Growing Up In A Welsh Valley

Related Books

- Easy How-To Techniques for Simply Stylish 18 Dolls
- 27.02.2012I WAS A TEEN-AGE SECRET WEAPON, and Twelve Other SciFi Classics From the 30s to the 60s
- 26.06.2015The Dialogics of Critique: M.M. Bakhtin and the Theory of Ideology
- 02.03.2012Finding Frances
- 18.04.2015Kundenindividuelle Massenproduktion: Die Wettbewerbsstrategie der Zukunft
- 09.05.2015Protest and Rebellion in Tudor England, 1489-1601
- 03.02.2013Corto Maltese u Sibiru
- 09.09.2013Karavans #1
- 15.06.2014Dangerous Reunion (Ocracoke Island, #1)
- 07.10.2014Wilde Lake

Comments

More Categories

- Computing & IT
- Humanities
- Nuclear Engineering
- Sport
- Food & Drink
- Geography
- IT
- Information Science
- Chemistry
- Visualization
- Object-Oriented Software Design
- Literature
- Bibliographies & Indexes
- Interdisciplinary
- Architecture
- Foreign Languages

Recommendations

- Een coquette vrouw
- Oregon Wildlife: A Folding Pocket Guide to Familiar Species
- Athanasius Kircherâ€™s Theatre of the World: The Life and Work of the Last Man to Search for Universal
- Signos de Fuego.
- Pluralism and Law: Proceedings of the 20th Ivr World Congress Amsterdam, 2001 Vol. 1: Justice
- 149 Paintings You Really Need to See in Europe (So You Can Ignore the Others)
- Bearded Dragon
- Trees to Know in Oregon
- No Smoke Without a Fire