Skolemův paradox v teorii množin
Skolem paradox in set theory
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/44358Identifiers
Study Information System: 110420
Collections
- Kvalifikační práce [22841]
Author
Advisor
Referee
Hykšová, Magdalena
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
20. 9. 2012
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Excellent
Keywords (Czech)
Skolemův paradox, Löwenheim-Skolemova věta, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem, prvořádová logika, teorie množinKeywords (English)
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