Burali-Forti-paradox
In de verzamelingenleer, een deelgebied van de wiskunde, laat de Burali-Forti paradox zien dat het naïef construeren van de verzameling van alle ordinaalgetallen tot een tegenspraak leidt en daarom een antinomie aantoont in een systeem waarin deze constructie is toegestaan. De paradox is genoemd naar Cesare Burali-Forti, de Italiaanse wiskundige die deze paradox in 1897 ontdekte.
In termen van von Neumann-ordinaalgetallen
bewerkenDe tegenspraak ontstaat doordat de verzameling van alle ordinaalgetallen Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "http://localhost:6011/nl.wikipedia.org/v1/":): {\displaystyle \Omega} alle eigenschappen van een ordinaalgetal draagt en daarom zelf ook als een ordinaalgetal zou moeten worden beschouwd. In dat geval kan er echter een opvolger Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "http://localhost:6011/nl.wikipedia.org/v1/":): {\displaystyle \Omega + 1} geconstrueerd worden, die strikt genomen groter is dan Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "http://localhost:6011/nl.wikipedia.org/v1/":): {\displaystyle \Omega} . Dit kan echter niet, omdat dit ordinaalgetal een element moet zijn van Fout bij het parsen (SVG (MathML kan worden gebruikt via een browserplugin): Ongeldig antwoord ("Math extension cannot connect to Restbase.") van server "http://localhost:6011/nl.wikipedia.org/v1/":): {\displaystyle \Omega} , aangezien alle ordinaalgetallen bevat. Zo komt men tot de gekoppelde ongelijkheid, die een tegenspraak inhoudt.
Referenties
bewerken- (it) Cesare Burali-Forti. Una questione sui numeri transfiniti (Een vraag over transfiniete getallen). In "Rendiconti del Circolo matematico di Palermo." Volume 11, 1897, blz. 154–164.
Externe link
bewerken- Stanford Encyclopedia of Philosophy: "Paradoxen en eigentijdse logica" -- door Andrea Cantini.