Theorien der reellen Zahlen und Interpretierbarkeit

Die Metamathematik der reellen Zahlen kann durch verschiedene formale Theorien der reellen Zahlen entwickelt werden. Ausgehend von der Theorie der reell abgeschlossenen Körper werden Erweiterungen beweistheoretisch untersucht und mit anderen typischen mathematischen Theorien mittels der Relation der Interpretierbarkeit verglichen. Die Ergebnisse bestimmen die logischen Ressourcen jener Theorien und begründen ein eigenes Reduktionsprogramm.

Info autore

Daniel Alscher, Berlin.

Dettagli sul prodotto

• Autori: Daniel Alscher
• Editore: De Gruyter
• Lingue: Tedesco
• Formato: Copertina rigida
• Pubblicazione: 31.01.2016
• EAN: 9783110458565
• ISBN: 978-3-11-045856-5
• Pagine: 266
• Dimensioni: 161 mm x 19 mm x 234 mm
• Peso: 534 g
• Serie: logos; Logos; ISSN
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Tematiche generali, enciclopedie; Scienze umane, arte, musica > Filosofia > XX° e XXI° secolo