Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number? Modern mathematical logic of the twentieth century provides astonishing answers to these questions. This book takes you on a journey through th...
Guardado en:
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Lenguaje: | inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2025.
|
| Edición: | 1st ed. 2025. |
| Colección: | Mathematics Study Resources,
19 |
| Materias: | |
| Acceso en línea: | https://doi.org/10.1007/978-3-662-70999-3 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1 Historic Notes
- 2 Formal Systems
- 3 Foundations of Mathematics
- 4 Peoof Thory
- 5 Computability Theory
- 6 Algorithmic Information Theory
- Model Theory.