turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Historique > Historique > Naissance de « Saul Kripke » philosophe et logicien américain

Naissance de « Saul Kripke » philosophe et logicien américain

13 novembre 1940

Voir en ligne : http://www.universalis.fr/encyclope...

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 enseigne la logique et la philosophie à l’université Rockefeller de 1968 à 1976 et à Princeton de 1976 à 1998, et donne des conférences à l’université d’Oxford en 1973. En 2001, il reçoit le prix Rolf Schock en logique et philosophie, décerné par l’Académie royale des sciences de Suède. En 2003, il est nommé à l’université de la ville de New York.


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