Cargando…
The collected papers of Gerhard Gentzen /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Alemán |
| Publicado: |
Amsterdam :
North-Holland,
1969.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 55. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- On the existence of independent axiom systems for infinite sentence systems
- On the relation between intuitionist and classical arithmetic
- Investigations into logical deduction
- Consistency of elementary number theory
- Consistency of the simple theory of types
- Concept of infinity in mathematics
- Present state of research into the foundations of mathematics
- New version of the consistency proof for elementary number theory
- Provability and nonprovability of restricted transfinite induction in elementary number theory
- Fusion of several complete inductions.