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 |
| Sumario: | 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 |
|---|