Intuitionistische Mengenlehre

Bewertung:   (5,0 von 5)

Intuitionistische Mengenlehre (L. Bell John)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Intuitionistic Set Theory

Inhalt des Buches:

Obwohl die intuitionistische (oder konstruktive) Mengenlehre IST eine gewisse Aufmerksamkeit von Seiten der mathematischen Logiker erfahren hat, ist meines Wissens noch kein Buch erschienen, das eine systematische Einführung in dieses Thema bietet.

Dies mag zum Teil daran liegen, dass die IST als eine Form der intuitionistischen Logik höherer Ordnung - der internen Logik eines Topos - hauptsächlich in einem topustheoretischen Kontext entwickelt wurde. Insbesondere wurden Beweise für die relative Konsistenz mathematischer Aussagen mit der IST (implizit) in topos- oder gabelungstheoretischen Begriffen formuliert und nicht im Rahmen von Heyting-Algebra-bewerteten Modellen, der natürlichen Erweiterung der bekannten Booleschen-bewerteten Modelle für die klassische Mengenlehre auf die IST.

In diesem Buch biete ich eine kurze, aber systematische Einführung in die IST, die das Thema bis hin zur Verwendung von Heyting-Algebra-bewerteten Modellen in relativen Konsistenzbeweisen entwickelt. Ich glaube, dass die IST, die in der vertrauten Sprache der Mengenlehre präsentiert wird, besonders diejenigen Logiker, Mathematiker und Philosophen ansprechen wird, die mit den Methoden der Topostheorie nicht vertraut sind.

Weitere Daten des Buches:

ISBN:9781848901407
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Leben mit den Psalmen - Living with the Psalms
Dieses Buch, das während seiner Lehrtätigkeit in der ganzen Welt entstanden ist, ist die Frucht einer lebenslangen...
Leben mit den Psalmen - Living with the Psalms
Das Axiom der Wahl - The Axiom of Choice
Dieses Buch gibt einen Überblick über die Entwicklung des Axiom of Choice seit seiner Einführung durch Zermelo zu Beginn des...
Das Axiom der Wahl - The Axiom of Choice
Logik höherer Ordnung und Typentheorie - Higher-Order Logic and Type Theory
Eine Erläuterung der Logik zweiter und höherer Ordnung und der Typentheorie. Sie...
Logik höherer Ordnung und Typentheorie - Higher-Order Logic and Type Theory
Logische Optionen: Eine Einführung in die klassische und alternative Logik - Logical Options: An...
Logische Optionen stellt die Erweiterungen und...
Logische Optionen: Eine Einführung in die klassische und alternative Logik - Logical Options: An Introduction to Classical and Alternative Logics
Intuitionistische Mengenlehre - Intuitionistic Set Theory
Obwohl die intuitionistische (oder konstruktive) Mengenlehre IST eine gewisse Aufmerksamkeit von Seiten...
Intuitionistische Mengenlehre - Intuitionistic Set Theory
Eine Einführung in die Infinistesimalanalyse - A Primer of Infinistesimal Analysis
Eines der bemerkenswertesten Ereignisse der jüngsten Zeit in der Mathematik...
Eine Einführung in die Infinistesimalanalyse - A Primer of Infinistesimal Analysis
Das Kontinuierliche, das Diskrete und das Infinitesimale in Philosophie und Mathematik - The...
In diesem Buch werden die Konzepte des...
Das Kontinuierliche, das Diskrete und das Infinitesimale in Philosophie und Mathematik - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Schwere Zeiten: Die Anfänge der Großen Depression in North Carolina, 1929-1933 - Hard Times:...
Beschreibt die wirtschaftlichen Verwerfungen in...
Schwere Zeiten: Die Anfänge der Großen Depression in North Carolina, 1929-1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933
Das Kontinuierliche, das Diskrete und das Infinitesimale in der Philosophie und der Mathematik - The...
In diesem Buch werden die Konzepte des...
Das Kontinuierliche, das Diskrete und das Infinitesimale in der Philosophie und der Mathematik - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)