Skolem's Paradox

CHF 43.20
Auf Lager
SKU
KP71R9KF6R0
Stock 1 Verfügbar
Geliefert zwischen Di., 25.11.2025 und Mi., 26.11.2025

Details

High Quality Content by WIKIPEDIA articles! In mathematical logic and philosophy, Skolem's paradox is a seeming contradiction that arises from the downward Löwenheim-Skolem theorem. Thoralf Skolem (1922) was the first to discuss the seemingly contradictory aspects of the theorem, and to discover the relativity of set-theoretic notions now known as non-absoluteness. Although it is not an actual antinomy like Russell's paradox, the result is typically called a paradox, and was described as a "paradoxical state of affairs" by Skolem (1922: p. 295). Skolem's paradox is that every countable axiomatisation of set theory in first-order logic, if it is consistent, has a model that is countable. This appears contradictory because it is possible to prove, from those same axioms, a sentence which intuitively says that there exist sets that are not countable. Thus the seeming contradiction is that a model which is itself countable, and which contains only countable sets, satisfies the first order sentence that intuitively states "there are uncountable sets".

Weitere Informationen

  • Allgemeine Informationen
    • GTIN 09786131168048
    • Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
    • EAN 9786131168048
    • Format Fachbuch
    • Titel Skolem's Paradox
    • Herausgeber Betascript Publishing
    • Anzahl Seiten 88
    • Genre Mathematik

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470