Pojem interpretace axiomatických teorií
Název práce v češtině: | Pojem interpretace axiomatických teorií |
---|---|
Název v anglickém jazyce: | The notion of interpretation between axiomatic theories |
Klíčová slova: | interpretace|axiomatická teorie|interpretovatelnost|definovatelná množina |
Klíčová slova anglicky: | interpretation|axiomatic theory|interpretability|definable set |
Akademický rok vypsání: | 2020/2021 |
Typ práce: | bakalářská práce |
Jazyk práce: | čeština |
Ústav: | Katedra logiky (21-KLOG) |
Vedoucí / školitel: | doc. RNDr. Vítězslav Švejdar, CSc. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 09.12.2020 |
Datum zadání: | 09.12.2020 |
Schválení administrátorem: | zatím neschvalováno |
Datum potvrzení stud. oddělením: | 09.05.2023 |
Datum a čas obhajoby: | 16.06.2023 09:00 |
Datum odevzdání elektronické podoby: | 09.05.2023 |
Datum proběhlé obhajoby: | 16.06.2023 |
Odevzdaná/finalizovaná: | odevzdaná studentem a finalizovaná |
Oponenti: | RNDr. Zuzana Haniková, Ph.D. |
Zásady pro vypracování |
Pojem interpretace (jedné axiomatické teorie v druhé) byl definován v knize [TMR53]. Uplatňuje se například při prokazování relativní bezespornosti dodatečných axiomů nějaké teorie. To se ve 20. století týkalo zejména teorie množin. Pojem interpretace hraje roli i v obecné formulaci První Gödelovy věty (každá bezesporná axiomatická teorie, v níž je interpretovatelná Robinsonova aritmetika Q, je neúplná a nerozhodnutelná). Existují různé varianty tohoto pojmu, např. parametrické interpretace, vícedimenzionální interpretace, lokální a globální interpretace. Interpretovatelnost může též sloužit jako nástroj pro porovnávání síly axiomatických teorií. Od přibližně 70. let minulého století je pojem interpretovatelnosti samostatným předmětem výzkumu. Zamyslete se, jak tento pojem lze účelně definovat, porovnejte různá v literatuře se vyskytující řešení, jak překonat technické obtíže v definici. Vypracujte příklady interpretací týkající se známých teorií. Uvažujte o tom, pro které teorie různé varianty tohoto pojmu splývají a pro které ne. Uvažujte o metodách, jak lze prokázat neinterpretovatelnost. Vezměte v úvahu novější literaturu, například či zejména články A. Vissera (preprinty lze stáhnout z https://lgps.sites.uu.nl/). |
Seznam odborné literatury |
[Šve02] V. Švejdar. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. [TMR53] A. Tarski, A. Mostowski a R. M. Robinson. Undecidable Theories. North-Holland, 1953. [Vis09] A. Visser. Cardinal arithmetic in the style of baron von Münchhausen. The Review of Symbolic Logic, 2:570–589, 2009. [Vis14] A. Visser. Why the theory R is special. V N. Tennant, editor, Foundational Adventures: Essays in Honour of Harvey M. Friedman, číslo 22 řady Tributes. College Publications, London, 2014. |