Cargando…
The logical foundations of mathematics
The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with th...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Pergamon Press
1981
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2009955 |
| _version_ | 1780946472600076288 |
|---|---|
| author | Hatcher, William S Bunge, Mario |
| author_facet | Hatcher, William S Bunge, Mario |
| author_sort | Hatcher, William S |
| collection | CERN |
| description | The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and |
| id | cern-2009955 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1981 |
| publisher | Pergamon Press |
| record_format | invenio |
| spelling | cern-20099552021-04-21T20:21:19Zhttp://cds.cern.ch/record/2009955engHatcher, William SBunge, MarioThe logical foundations of mathematicsMathematical Physics and MathematicsThe Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, andPergamon Pressoai:cds.cern.ch:20099551981 |
| spellingShingle | Mathematical Physics and Mathematics Hatcher, William S Bunge, Mario The logical foundations of mathematics |
| title | The logical foundations of mathematics |
| title_full | The logical foundations of mathematics |
| title_fullStr | The logical foundations of mathematics |
| title_full_unstemmed | The logical foundations of mathematics |
| title_short | The logical foundations of mathematics |
| title_sort | logical foundations of mathematics |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/2009955 |
| work_keys_str_mv | AT hatcherwilliams thelogicalfoundationsofmathematics AT bungemario thelogicalfoundationsofmathematics AT hatcherwilliams logicalfoundationsofmathematics AT bungemario logicalfoundationsofmathematics |