Stephen Cole Kleene

Biografie

[Klín], *5.1.1909 – †25.1.1994, americký logik a matematik; profesor univerzity v Madisonu. Práce v oblasti matematiky spjaty s rozpracováním teorie obecně rekursívních funkcí, kde dokázal řadu základních teorémů. Upřesnil též pojetí algoritmu. Jeho práce je jedním z pokusů intuicionistického založení matematiky. Hlavní dílo: Introduction to Metamathematics (Úvod do metamatematiky).

Vytvořeno: 14. 3. 2000
Aktualizováno: 21. 9. 2006
Autor: -red-

Odkazující hesla: klasifikace predikátů.