La logique mathématique en Hongrie a évolué de manière significative grâce à la carrière de László Kalmár, qui a exercé à l'Université de Szeged de 1928 à 1975. Né en 1905 dans le village d'Edde, Kalmár a surmonté des épreuves personnelles en tant que jeune étudiant à Budapest pour devenir une figure centrale de l'informatique théorique et des fondements des mathématiques.
Fondements académiques et recherche
Kalmár a terminé ses études de premier cycle à l'Université Eötvös Loránd entre 1922 et 1927. Sa trajectoire intellectuelle s'est précisée lors d'une visite en 1929 à l'Université de Göttingen, où il a découvert la logique mathématique. À son retour en Hongrie, il a rejoint le corps professoral de l'Université de Szeged, qui émergeait alors comme un centre de recherche vital. Il a accédé au rang de professeur titulaire en 1947, devenant le premier titulaire de la chaire de Fondements des mathématiques et de l'informatique.
Contributions à la logique et à l'informatique
Les travaux de recherche de Kalmár ont couvert des domaines logiques complexes, notamment la décidabilité de formules spécifiques au sein du calcul des prédicats du premier ordre. En 1936, il a démontré que ce calcul pouvait être défini en utilisant un seul prédicat binaire sous des conditions récursives spécifiques. En outre, il a développé l'arithmétique récursive élémentaire, un système distinct des approches standards. Au-delà de la théorie pure, il a activement promu l'application pratique de l'informatique, rédigeant des articles sur les langages de programmation, la correction d'erreurs et les usages non numériques des ordinateurs. Il est resté l'un des rares logiciens à remettre en question l'universalité de la thèse de Church concernant les fonctions algorithmiques.
Leadership institutionnel
Kalmár a cherché à institutionnaliser la recherche technologique dans son pays natal. À l'Université de Szeged, il a établi le Laboratoire de cybernétique et créé un groupe de recherche dédié axé sur la logique mathématique et la théorie des automates. Ses services administratifs et académiques ont été salués par plusieurs distinctions nationales, dont le prix Kossuth en 1950 et le prix d'État de la République populaire de Hongrie en 1975. Il a également été élu à l'Académie hongroise des sciences en 1949.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits marquants
- Naissance : 1905, Edde - Décès : 1976, Mátraháza - Éducation : Université Eötvös Loránd, Université de Göttingen - Employeur principal : Université de Szeged - Adhésion : Académie hongroise des sciences - Prix Kossuth : 1950 - Prix du pionnier de l'informatique : 1996
Questions posées par les lecteurs
### Quels étaient les principaux domaines de recherche de László Kalmár ?
Il s'est concentré sur la logique mathématique, plus précisément la décidabilité du calcul des prédicats, l'arithmétique récursive élémentaire et les fondements théoriques de l'informatique.
### Où a-t-il mené sa carrière académique ?
Il a passé la quasi-totalité de sa vie professionnelle à l'Université de Szeged, qu'il a rejointe en 1928 et où il est resté jusqu'en 1975.
