John McCarthy – Wikipedia
John McCarthy (* 4. Septembre 1927 à Boston, Massachusetts; † 23. octobre 2011 à Palo Alto, Kalifornien [d’abord] [2] ) était un logicien américain, un informaticien et un auteur. Il est l’inventeur du langage de programmation LISP. McCarthy a reçu le prix Turing en 1971 pour ses contributions importantes dans le domaine de l’intelligence artificielle et un prix Kyoto en 1988. En 1991, il a reçu la médaille nationale des sciences. [2]
McCarthy a reçu le licence en sciences en mathématiques du California Institute of Technology. Il a acquis le doctorat trois ans plus tard en 1951 à l’Université de Princeton à Solomon Lefschetz ( Opérateurs de projection et équations différentielles partielles ). Après des séjours à l’Université de Stanford, au Dartmouth College et au Massachusett’s Institute of Technology, il a été professeur à Stanford à partir de 1962, où il émérite 2000. Il était actif jusqu’à sa mort en tant que professeur de professeur de l’Université de Stanford 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 a été Raj Reddy, qui a également remporté le prix Turing. McCarthy était également doctorat de la lauréate du prix de Turing, Barbara Liskov.
De 1957 à 1959, il a été financé comme Sloan Fellow dans le domaine des sciences physiques. Il appartenait à l’American Academy of Arts and Sciences (1974), à l’American Association for the Advancement of Science, à l’American Mathematical Society et à l’Association for Computing Machinery. En 1987, il a été inclus dans la National Academy of Engineering et en 1989 à la National Academy of Sciences. De 1983 à 1984, il a été président de l’American Association for Artificial Intelligence et il est le comité de rédaction du magazine depuis 1975 Journal de l’intelligence artificielle un.
Il a écrit des histoires courtes dans lesquelles le développement de l’IA joue un rôle. [2]
McCarthy était athée. Citation:
«Répondant à Richard Dawkins harcelant ses camarades athées à« sortir », je mentionne que je suis en effet athée. Pour se compter comme un athée, il n’a pas besoin de prétendre avoir une preuve que aucun dieux n’existe. Il faut simplement penser que les preuves sur la question de Dieu se trouvent à peu près au même état que les preuves sur la question du loup-garou. »
«En réponse à la demande constamment urgente de Richard Dawkin à ses mitachistes de sortir, je mentionne que je suis en fait athée. Afin de vous décrire comme athée, vous n’avez pas à prétendre avoir la preuve qu’il n’y a pas de dieux. Il vous suffit de considérer que la preuve de la question de Dieu est à peu près la même position que la preuve de la question de Werwolf. »
La première conférence sur l’intelligence artificielle qui Conférence de Dartmouth , a eu lieu à l’été 1956. Dans la demande de financement à la Fondation Rockefeller pour cette conférence [3] McCarthy a façonné le terme en 1955 Intelligence artificielle . [4] Il est l’inventeur du langage de programmation LISP, dont il le design en 1960 dans la revue Communications de l’ACM présenté. LISP a été l’une des premières implémentations d’un calcul logique sur un ordinateur.
De plus, l’invention de l’algorithme alpha, qui a apporté une contribution décisive à la compétence des programmes d’échecs, ainsi qu’à la première Marquer et sweeper -Algorithme attribué au nettoyage automatique du stockage.
Le prix John McCarthy de l’IJCAI est décerné pour des scientifiques en intelligence artificielle au milieu de leur carrière.
- Vladimir Lifschitz: John McCarthy (1927-2011). Dans: Nature , Band 480, 2011, S. 40.
- ↑ Tweet von Stanford Engineering
- ↑ un b c ((Requiescat) dans (rythme)): à la mort de John McCarthy . Heise.de, 25 octobre 2011; Récupéré le 25 octobre 2011.
- ↑ McCarthy u. un.: Une proposition pour le projet de recherche d’été de Dartmouth sur l’intelligence artificielle . ( Mémento à partir du 30 septembre 2008 Archives Internet ) Août 1955, p. 1 (demande de financement)
- ↑ Intelligence artificielle – sur le serveur de Spectre de la science
Recent Comments