Název: Skolemův paradox v teorii množin
Překlad názvu: Skolem paradox in set theory
Autoři: Liepoldová, Tereza ; Honzík, Radek (vedoucí práce) ; Hykšová, Magdalena (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2012
Jazyk: cze
Abstrakt: [cze] [eng]
Prá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
Klíčová slova: Ernst Schröder; Leopold Löwenheim; Löwenheim-Skolemova věta; prvořádová logika; Skolemův paradox; teorie množin; Thoralf Skolem; Ernst Schröder; first-order logic; Leopold Löwenheim; Löwenheim-Skolem theorem; Set Theory; Skolem paradox; Thoralf Skolem

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/44358

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-308651


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce