Original title: Původ některých rekurzívně-teoretických pojmů
Translated title: Origin of some recursion-theory concepts
Authors: Radikovská, Eliška ; Švejdar, Vítězslav (advisor) ; Hykšová, Magdalena (referee)
Document type: Bachelor's theses
Year: 2024
Language: cze
Abstract: [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
Keywords: primitive recursion|productive and creative sets|recursively enumerable set|recursive function; primitivní rekurze|produktivní a kreativní množiny|rekurzivně spočetná množina|rekurzivní funkce

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/194506

Permalink: http://www.nusl.cz/ntk/nusl-655761


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses