Buch, Englisch, 184 Seiten, Paperback, Format (B × H): 168 mm x 240 mm, Gewicht: 3377 g
Reihe: Studies in Universal Logic
The Arithmetical Foundations of Logic
Buch, Englisch, 184 Seiten, Paperback, Format (B × H): 168 mm x 240 mm, Gewicht: 3377 g
Reihe: Studies in Universal Logic
ISBN: 978-3-319-22086-4
Verlag: Springer International Publishing
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
- Mathematik | Informatik Mathematik Mathematik Allgemein Zahlensysteme
- Mathematik | Informatik Mathematik Geometrie Algebraische Geometrie
- Naturwissenschaften Physik Physik Allgemein Theoretische Physik, Mathematische Physik, Computerphysik
Weitere Infos & Material
Foreword.- 1.Introduction.- 2.Arithmetization of Analysis and Algebra.- 3.Arithmetization of Logic.- 4.Kronecker's Foundational Programme in Contemporary Mathematics.- 5.Arithmetical Foundations for Physical Theories.- 6.The Internal Logic of Constructive Mathematics.- 7.The Internal Consistency of Arithmetic with Infinite Descent. A Syntactical Proof.- 8 Conclusion. Arithmetism versus Logicism or Kronecker contra Frege.- References.