Kalmár László
Kalmár László , 27. 3. 1905 - 1. 8. 1976, maď. logik a matematik; prof. univ. v Segedínu, akad. Maď. AV (196l). Pracoval v oblasti mat. log. a v teorii funkcí, hl. rekursívních. 1948 dokázal, že Churchův teorém o nerozhodnutelnosti predikátového kalkulu je možné chápat jako zvl. 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í.
