Skolemův paradox v teorii množin
Skolem paradox in set theory
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/44358Identifikátory
SIS: 110420
Kolekce
- Kvalifikační práce [23212]
Autor
Vedoucí práce
Oponent práce
Hykšová, Magdalena
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
20. 9. 2012
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
Skolemův paradox, Löwenheim-Skolemova věta, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem, prvořádová logika, teorie množinKlíčová slova (anglicky)
Skolem paradox, Löwenheim-Skolem theorem, Ernst Schröder, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem, first-order logic, Set TheoryPráce se snaží zmapovat historický vývoj Löwenheim-Skolemovy věty od Ernsta Schrödera po Thoralfa Skolema s užitím původní matematické notace. Popisuje důsledek v podobě Skolemova paradoxu a jeho vliv na teorii množin a s tím spojenou problematiku řádovosti logiky. 1
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its influence on set theory and associated issues concerning orders of logic. 1