László Kalmár
Biografie / Matematika
*27. 3. 1905 – †1.8.1976, maďarský logik 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:
5. 2. 2025
Autor: -red-