Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Constructivism in Mathematics, Vol 1: Volume 121
Diese beiden Bände behandeln die wichtigsten Ansätze des Konstruktivismus in der Mathematik.
Sie bieten eine gründliche, aktuelle Einführung in die Metamathematik der konstruktiven Mathematik unter besonderer Berücksichtigung des Intuitionismus, des Markovschen Konstruktivismus und der Martin-Lofschen Typentheorie mit ihrer operationalen Semantik. Die Grundzüge der konstruktiven Mathematik werden anhand von Beispielen aus der Analysis, Algebra und Topologie ausführlich dargestellt, wobei die metamathematischen Aspekte gebührend berücksichtigt werden.
Band 1 ist eine in sich geschlossene Einführung in die Praxis und die Grundlagen des Konstruktivismus und setzt keine über die mathematische Logik hinausgehenden Spezialkenntnisse voraus. Band 2 enthält hauptsächlich fortgeschrittene Themen beweistheoretischer und semantischer Natur.
| ISBN: | 9780444702661 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 1988 |
| Seitenzahl: | 355 |
Derzeit verfügbar, auf Lager.
