Джон МакКарти

МакКарти в 2006 году

Джон Маккарти (родился 4 сентября 1927) — выдающийся американский информатик, автор термина «искусственный интеллект» (1955), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат Премии Тьюринга (1971).

БиографияПравить

Джон Маккарти родился 4 сентября 1927 года в Бостоне, штат Массачусеттс. В 1948 году получил степень бакалавра математики в Калифорнийском технологическом институте и степень доктора философии по математике в Принстоне в 1951 г. После кратковременных должностей в Принстонском и Стэнфордском университетах, Дартмутском колледже и Массачусетском технологическом институте, он стал профессором в Стэнфорде в 1962 г., где он и оставался до своего ухода на пенсию в конце 2000-го. Ныне МакКарти —заслуженный профессор.

Мак-Карти отстаивал использование математической логики для искусственного интеллекта. В 1958 г. он предложил систему «принятия советов», которая позже вдохновила работы по ответам на запросы и логическому программированию.

В том же году он изобрел язык программирования Лисп[1] и опубликовал его описание в журнале Communications of the ACM в 1960 г.[2]

В 1961 г., Джон Маккарти публично предложил, что компьютерная технология разделения времени может привести к будущему, в котором компьютерная мощь и даже определенные приложения могут продаваться с использованием бинес-модели сферы [коммунальных] услуг (подобно воде или электричеству).

Эта идея компьютерных или информационных услуг была очень популярна в конце 1960 гг., но вышла из моды к середине 1970 гг., так как стало ясно, что аппаратные, программные и коммуникационные технологии того времени были просто еще не готовы к этому. Тем не менее, начиная с 2000, эта идея вновь объявилась, всплыв на поверхность в новых формах. Смотрите application service provider — поставщик услуг приложений[3].

Он также лауреат Медали Бенджамина Франклина в области информатики и когнитологии за 2003 г.[4]

ПримечанияПравить

  1. John McCarthy et al. LISP 1.5 Programmers Manual. MIT Press, 1962.
  2. John McCarthy. Recursive Functions of Symbolic Expressions and Their Computation by Machine. Communications of the ACM, April 1960.
  3. http://cs.stanford.edu/People/faculty Список преподавательского состава факультета информатики Стэнфордского университета на сайте Стэнфорда.
  4. http://www.fi.edu/winners/2003/mccarthy_john.faw?winner_id=4368 Сайт института Франклика, страница с описанием награды (медалиФранклина) за 2003 г.