George Boolos

George Boolos
Biographie
Naissance
Décès
(à 55 ans)
Cambridge
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Distinction
Archives conservées par
Bibliothèques de l'Institut de technologie du Massachusetts (en)[1]

George Stephen Boolos né le et mort le [2], est un logicien, philosophe et mathématicien américain. Il a enseigné au Massachusetts Institute of Technology.Il était également un grand philosophe et a écrit l'énigme la plus difficile du monde

Bibliographie

  • (en) George Boolos et Richard Jeffrey , Computability and Logic, 1974. Quatrième édition, Cambridge University Press, 2002. (ISBN 0-521-00758-5)

Notes et références

  1. ↑ « https://archivesspace.mit.edu/repositories/2/resources/1000 »
  2. ↑ MIT faculty resolution on Boolos' death

Liens externes

Philosophe des mathématiques (107)
Logicien américain (66)
Personnalité en logique mathématique (61)
Étudiant de l'université de Princeton (854)
Dernière mise à jour du contenu le .
Droit d'auteur : le texte de l'article est disponible sous la licence CC BY-SA 3.0.
Les détails concernant les licences et crédits des images sont disponibles en cliquant sur l'image.
Le site Wikimonde est un agrégateur d'articles encyclopédiques, il n'est pas à l'origine du contenu des articles, ni des images.
Le contenu de cet article est une copie de l'article d'origine (//fr.wikipedia.org/wiki/George_Boolos) publié sur Wikipédia (wiki collaboratif publié sous licence libre).
Le contenu des articles n'est pas garanti.
Le texte des articles n'est pas modifié par Wikimonde. Des modifications mineures de mise en page et des liens internes (pour faciliter la navigation) peuvent être effectués automatiquement.
Des crédits concernant les images peuvent être ajoutés automatiquement selon les informations fournis par le site d'origine.
Les images sont chargées depuis des sites externes, certaines peuvent ne pas s'afficher.
Auteurs de cet article « George Boolos » :
Cbyd, Authueil, Julien1978, HerculeBot, LinedBot, Jarfe, Zetud, Jmax, DSisyphBot, Rehtse, Jaive, Gauvain, Lf(Lx(f)(x)x)Lx(f)(x)x, Hyméros, Tondarimaq, 2 utilisateurs non enregistrés.