Publikation: Das mengentheoretische Unabhängigkeitsphänomen : eine Welt jenseits der mathematischen Beweiskraft
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar. Um das zu zeigen, baut man zwei verschiedene mengentheoretische Modelle, meist mit Hilfe der bahnbrechenden Beweistechnik Forcing. Am Beispiel des berühmtesten unabhängigen Satzes – der Kontinuumshypothese – erläutert dieses Buch die Grundstruktur und die wesentlichen Argumente eines Unabhängigkeitsbeweises. Anschließend bietet es Einblicke in Themen, die Mengentheoretiker:innen aktuell beschäftigen und diskutiert verschiedene philosophische Sichtweisen auf das mysteriöse Phänomen.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
KANT, Deborah, 2025. Das mengentheoretische Unabhängigkeitsphänomen : eine Welt jenseits der mathematischen Beweiskraft. Berlin: Springer Spektrum. ISBN 978-3-662-71096-8BibTex
@book{Kant2025menge-75821,
isbn={978-3-662-71096-8},
publisher={Springer Spektrum},
title={Das mengentheoretische Unabhängigkeitsphänomen : eine Welt jenseits der mathematischen Beweiskraft},
year={2025},
doi={10.1007/978-3-662-71097-5},
address={Berlin},
author={Kant, Deborah}
}RDF
<rdf:RDF
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:void="http://rdfs.org/ns/void#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/75821">
<bibo:issn>978-3-662-71096-8</bibo:issn>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-01-22T07:40:13Z</dc:date>
<dcterms:abstract>Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar. Um das zu zeigen, baut man zwei verschiedene mengentheoretische Modelle, meist mit Hilfe der bahnbrechenden Beweistechnik Forcing. Am Beispiel des berühmtesten unabhängigen Satzes – der Kontinuumshypothese – erläutert dieses Buch die Grundstruktur und die wesentlichen Argumente eines Unabhängigkeitsbeweises. Anschließend bietet es Einblicke in Themen, die Mengentheoretiker:innen aktuell beschäftigen und diskutiert verschiedene philosophische Sichtweisen auf das mysteriöse Phänomen.</dcterms:abstract>
<dc:creator>Kant, Deborah</dc:creator>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/75821"/>
<dc:publisher>Berlin</dc:publisher>
<dc:publisher>Springer Spektrum</dc:publisher>
<dc:language>deu</dc:language>
<dc:contributor>Kant, Deborah</dc:contributor>
<dcterms:issued>2025</dcterms:issued>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-01-22T07:40:13Z</dcterms:available>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dcterms:title>Das mengentheoretische Unabhängigkeitsphänomen : eine Welt jenseits der mathematischen Beweiskraft</dcterms:title>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
</rdf:Description>
</rdf:RDF>