turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Historique > Historique > Naissance de « László Kalmár », mathématicien et logicien hongrois

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

27 mars 1905

Voir en ligne : http://serge.mehl.free.fr/chrono/Ka...
JPEG - 8.4 ko

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é.


info portfolio

titre documents joints


Suivre la vie du site RSS 2.0 | Plan du site | Espace privé | SPIP | squelette | Contact site : marc.monticelli [at] unice [point] fr