dc.contributor.advisor | Honzík, Radek | |
dc.creator | Liepoldová, Tereza | |
dc.date.accessioned | 2017-05-07T12:47:59Z | |
dc.date.available | 2017-05-07T12:47:59Z | |
dc.date.issued | 2012 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/44358 | |
dc.description.abstract | 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 | cs_CZ |
dc.description.abstract | 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 | en_US |
dc.language | Čeština | cs_CZ |
dc.language.iso | cs_CZ | |
dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
dc.subject | Skolemův paradox | cs_CZ |
dc.subject | Löwenheim-Skolemova věta | cs_CZ |
dc.subject | Ernst Schröder | cs_CZ |
dc.subject | Leopold Löwenheim | cs_CZ |
dc.subject | Thoralf Skolem | cs_CZ |
dc.subject | prvořádová logika | cs_CZ |
dc.subject | teorie množin | cs_CZ |
dc.subject | Skolem paradox | en_US |
dc.subject | Löwenheim-Skolem theorem | en_US |
dc.subject | Ernst Schröder | en_US |
dc.subject | Ernst Schröder | en_US |
dc.subject | Leopold Löwenheim | en_US |
dc.subject | Thoralf Skolem | en_US |
dc.subject | first-order logic | en_US |
dc.subject | Set Theory | en_US |
dc.title | Skolemův paradox v teorii množin | cs_CZ |
dc.type | bakalářská práce | cs_CZ |
dcterms.created | 2012 | |
dcterms.dateAccepted | 2012-09-20 | |
dc.description.department | Department of Logic | en_US |
dc.description.department | Katedra logiky | cs_CZ |
dc.description.faculty | Faculty of Arts | en_US |
dc.description.faculty | Filozofická fakulta | cs_CZ |
dc.identifier.repId | 110420 | |
dc.title.translated | Skolem paradox in set theory | en_US |
dc.contributor.referee | Hykšová, Magdalena | |
dc.identifier.aleph | 001505062 | |
thesis.degree.name | Bc. | |
thesis.degree.level | bakalářské | cs_CZ |
thesis.degree.discipline | Logic | en_US |
thesis.degree.discipline | Logika | cs_CZ |
thesis.degree.program | Logic | en_US |
thesis.degree.program | Logika | cs_CZ |
uk.thesis.type | bakalářská práce | cs_CZ |
uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Arts | en_US |
uk.faculty-abbr.cs | FF | cs_CZ |
uk.degree-discipline.cs | Logika | cs_CZ |
uk.degree-discipline.en | Logic | en_US |
uk.degree-program.cs | Logika | cs_CZ |
uk.degree-program.en | Logic | en_US |
thesis.grade.cs | Výborně | cs_CZ |
thesis.grade.en | Excellent | en_US |
uk.abstract.cs | 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 | cs_CZ |
uk.abstract.en | 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 | en_US |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
dc.identifier.lisID | 990015050620106986 | |