Původ některých rekurzívně-teoretických pojmů

Abstract

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ödel, 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