Název: Původ některých rekurzívně-teoretických pojmů
Překlad názvu: Origin of some recursion-theory concepts
Autoři: Radikovská, Eliška ; Švejdar, Vítězslav (vedoucí práce) ; Hykšová, Magdalena (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2024
Jazyk: cze
Abstrakt: [cze] [eng]
Tato práce má za cíl shrnout vývoj některých pojmů z teorie rekurzivních funkcí, jako je například primitivní rekurze, částečně rekurzivní funkce nebo rekurzivně spočetná množina. Zaměřuje se na klíčové příspěvky Kurta Gödela, Stephena Cole Kleenea a dalších autorů. Zvláštní pozornost je věnována Emilu Postovi, který bývá v tomto kontextu často opomíjen. Sleduje také, jak se tato teorie vyvíjela v kontextu vzniku dalších výpočetních modelů, převážně strojů, které v roce 1936 popsal Alan Turing. Práce vychází převážně z primárních zdrojů, zohledňuje však i komentáře editorů z později publikovaných sborníků a další sekundární zdroje, včetně komentářů samotných autorů z pozdější doby. 1 This thesis aims to summarize the development of certain concepts from the theory of recursive functions, such as primitive recursion, partial recursive functions, and recursively enumerable sets. It focuses on the key contributions of Kurt G¨odel, Stephen Cole Kleene, and other authors, with particular attention given to Emil Post, who is often overlooked in this context. The paper also examines how this theory developed in the context of the emergence of other computational models, primarily the machines described by Alan Turing in 1936. The paper mainly draws on primary sources but also considers editor comments from later-published collections and additional secondary sources, including comments from the authors themselves from later periods. 1
Klíčová slova: primitivní rekurze|produktivní a kreativní množiny|rekurzivně spočetná množina|rekurzivní funkce; primitive recursion|productive and creative sets|recursively enumerable set|recursive function

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/194506

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