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.
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](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.11.4)
Theorien der reellen Zahlen und Interpretierbarkeit
274![Theorien der reellen Zahlen und Interpretierbarkeit](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.11.4)
Theorien der reellen Zahlen und Interpretierbarkeit
274
177.99
In Stock
Product Details
ISBN-13: | 9783110458565 |
---|---|
Publisher: | De Gruyter |
Publication date: | 01/15/2016 |
Series: | Logos , #25 |
Pages: | 274 |
Product dimensions: | 6.10(w) x 9.06(h) x (d) |
Language: | German |
Age Range: | 18 Years |
About the Author
From the B&N Reads Blog