László Kalmár



Biografie
*27. 3. 1905 – †1.8.1976, maďarský lógik a matematik; profesor univerzity v Segedínu, akademik Maďarské AV (1961). Pracoval v oblasti matematiké logiky a v teorii funkcí, hlavně rekursívních.V roce 1948 dokázal, že Churchův teorém o nerozhodnutelnosti predikátového kalkulu je možné chápat jako zvláštní případ Gódelova teorému o neúplnosti formální aritmetiky. Gnozeologicky byl však stoupencem názoru o existenci nikoli absolutně nerozhodnutelných problémů, ale pouze problémů nerozhodnutelných prostřednictvím obecně rekursívních funkcí.

Vytvořeno: 14. 3. 2000
Aktualizováno: 19. 10. 2005
Autor: -red-