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.
1123273489
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.
177.99
In Stock
5
1
Theorien der reellen Zahlen und Interpretierbarkeit
274Theorien der reellen Zahlen und Interpretierbarkeit
274Related collections and offers
177.99
In Stock
Product Details
ISBN-13: | 9783110458619 |
---|---|
Publisher: | De Gruyter |
Publication date: | 01/15/2016 |
Series: | Logos , #25 |
Sold by: | Barnes & Noble |
Format: | eBook |
Pages: | 274 |
File size: | 30 MB |
Note: | This product may take a few minutes to download. |
Age Range: | 18 Years |
Language: | German |
About the Author
From the B&N Reads Blog