Naissance de "László Kalmár", mathématicien et logicien hongrois

Son nom nous est resté pour évoquer des travaux fondamentaux en logique mathématique : nouveaux concepts de calculabilité effective et de décidabilité, en collaboration avec sa compatriote Rózsa Péter. Dans ce domaine de recherches fondamental, rattaché à de la philosophie des sciences, qui débuta suite aux premières contradictions nées, au début du 20è siècle de la théorie des ensembles de Cantor et qui sema le doute pendant plus de 30 ans, Kalmár s’ingénia à généraliser et démontrer le théorème d’incomplétude de Gödel.

Il intervint également pour promouvoir l’introduction des langages informatiques et l’usage des calculateurs électroniques pour lesquels les algorithmes rencontrés s’immiscent et s’avèrent liés aux difficiles problèmes du bien-fondé des théories mathématiques : consistance et indécidabilité.