Cargando…
The legacy of Kurt Schütte
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods (m...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2020
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-030-49424-7 http://cds.cern.ch/record/2729461 |