Previous (Chronologically) Next Biographies Index Previous ( Alphabetically) Next Welcome page
He worked on mathematical logic solving certain cases of the decision problem for the first order predicate calculus, simplified results of Bernays, worked on ideas of Post, Gödel and Church. He was ackowledged as the leader of Hungarian mathematical logic.
Kalmár was also involved in theoretical computer science and promoted the development of computer science and the use of computers in Hungary. His special fields of interest in computer science included programming languages, automatic error correction, non-numerical applications of computers and the connection between computer science and mathematical logic.
References:
Previous (Chronologically) Next Biographies Index Previous ( Alphabetically) Next Welcome page History Topics Index Famous curves index Chronologies Birthplace Map Mathematicians of the day Anniversaries for the year Search Form Simple Search Form Search Suggestions