turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitter  facebook rss youtube
Accueil > Ephéméride
Ephéméride
Nous sommes le mardi 13 novembre 2018

13 novembre 1940

Saul Aaron Kripke commence à travailler sur la sémantique de la logique modale dès le lycée (à Omaha, Nebraska). Il écrit à cette époque un article révolutionnaire, « A Completeness Theorem for Modal Logic », qui sera publié dans le Journal of Symbolic Logic en 1959, alors qu’il entre juste à Harvard. Diplômé en mathématiques en 1962, Kripke enseigne à Harvard jusqu’en 1968. Il élargit alors ses recherches à la logique intuitionniste, la théorie des ensembles et la théorie de la récursion transfinie. Kripke (...)

13 novembre 1878

Il a étudié les fondations de la géométrie avec Hilbert à Göttingen en 1899, et obtenu une preuve du théorème de Jordan pour les polygones. En 1900, il a soutenu sa thèse sur le rôle du théorème de la somme des angles de Legendre dans la géométrie axiomatique. En 1900, il a aussi résolu le troisième problème de Hilbert. Il était en poste de 1900 à 1911 à l’université de Münster.
Ses intérêts se tournent ensuite vers la topologie et la théorie combinatoire des groupes. En 1907, il écrit avec Poul Heegaard le (...)


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