Cargando…
Reverse mathematics : proofs from the inside out /
"This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are nee...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton :
Princeton University Press,
[2018]
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Historical introduction
- Classical arithmetization
- Classical analysis
- Computability
- Arithmetization of computation
- Arithmetical comprehension
- Recursive comprehension
- A bigger picture.