John McCarthy
John McCarthy (né le 4 Septembre, 1927 à Boston , Massachusetts , † 23 Octobre, 2011 à Palo Alto , Californie ) est un Américain logicien, informaticien et auteur. Il est l'inventeur du langage de programmation LISP . Pour ses contributions significatives dans le domaine de l' intelligence artificielle , McCarthy a reçu le prix Turing en 1971 et un prix Kyoto en 1988 . En 1991, il a reçu la Médaille nationale de la science .
La vie
McCarthy a obtenu son baccalauréat ès sciences en mathématiques du California Institute of Technology en 1948 . Il obtient son doctorat trois ans plus tard en 1951 à l'Université de Princeton sous Solomon Lefschetz ( Opérateurs de projection et équations aux dérivées partielles ). Après des séjours à l'Université de Stanford , au Dartmouth College et au Massachusetts Institute of Technology , il a été professeur à Stanford à partir de 1962, où il a pris sa retraite en 2000. Il a été actif en tant que professeur émérite à l'Université de Stanford jusqu'à sa mort et a souvent commenté les événements mondiaux dans les forums Internet d'un point de vue mathématique et scientifique.
Le premier doctorant de McCarthy était Raj Reddy , qui a également remporté le prix Turing. McCarthy était également le directeur du doctorat de Barbara Liskov, lauréate du prix Turing .
De 1957 à 1959, il a été promu Sloan Fellow dans le domaine des sciences physiques. Il était membre de l' American Academy of Arts and Sciences (1974), de l' American Association for the Advancement of Science , de l' American Mathematical Society et de l' Association for Computing Machinery . En 1987, il a été admis à la National Academy of Engineering et en 1989 à la National Academy of Sciences . Il a été président de l' American Association for Artificial Intelligence de 1983 à 1984 et a siégé au comité de rédaction du Artificial Intelligence Journal à partir de 1975 .
Il a écrit des nouvelles dans lesquelles le développement de l'IA joue un rôle.
McCarthy était athée. Citation:
«Répondant aux harcèlements de Richard Dawkins qui harcèlent ses compagnons athées pour qu'ils« sortent », je mentionne que je suis vraiment athée. Pour se considérer comme athée, il n'est pas nécessaire de prétendre avoir la preuve qu'aucun dieux n'existe. Il suffit de penser que la preuve sur la question de Dieu est à peu près dans le même état que la preuve sur la question du loup-garou.
Acte
La première conférence sur l'intelligence artificielle, la Conférence de Dartmouth , a eu lieu à l'été 1956. En 1955, McCarthy a inventé le terme intelligence artificielle dans la demande de financement de la Fondation Rockefeller pour cette conférence . McCarthy est l'inventeur du langage de programmation LISP , dont il a présenté la conception en 1960 dans la revue Communications de l'ACM . LISP a été l'une des premières implémentations d'un calcul logique sur un ordinateur.
On lui attribue également l'invention de l' algorithme alpha-bêta , qui a apporté une contribution décisive à la force de jeu des programmes d'échecs, et le premier algorithme mark-and-sweep pour la collecte automatique des ordures.
Autres
Le prix John McCarthy de l' IJCAI est décerné à des scientifiques en milieu de carrière en intelligence artificielle.
Littérature
- Vladimir Lifschitz: John McCarthy (1927-2011). Dans: Nature , Volume 480, 2011, p. 40.
liens web
- Littérature de et sur John McCarthy dans le catalogue de la Bibliothèque nationale allemande
- Site Web de McCarthy à l'Université de Stanford
- ((Requiescat) in (pace)): À la mort de John McCarthy . heise.de, 25 octobre 2011
- John McCarthy. Le père du cloud informatique est mort . Spiegel Online netzwelt
- Personnalités en informatique - John McCarthy . Informatik Aktuell (magazine)
- John McCarthy . Musée d'histoire de l'informatique
documents justificatifs
- ↑ tweet de Stanford Engineering
- ↑ a b c ((Requiescat) in (pace)): À la mort de John McCarthy . heise.de, 25 octobre 2011; Récupéré le 25 octobre 2011.
- ↑ jmc / Personal Stanford University
- ^ McCarthy et al: Une proposition pour le projet de recherche d'été de Dartmouth sur l'intelligence artificielle . ( Souvenir du 30 septembre 2008 dans les archives Internet ) Août 1955, p. 1 (demande de financement)
| données personnelles | |
|---|---|
| NOM DE FAMILLE | McCarthy, John |
| BRÈVE DESCRIPTION | Informaticien américain, inventeur du langage de programmation LISP |
| DATE DE NAISSANCE | 4 septembre 1927 |
| LIEU DE NAISSANCE | Boston , Massachusetts |
| DATE DE DÉCÈS | 23 octobre 2011 |
| Lieu du décès | Palo Alto , Californie |