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

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

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

Биография

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

Мак-Карти отстаивал использование математической логики для искусственного интеллекта. В 1958 г. он предложил систему «принятия советов», которая позже вдохновила работы по ответам на запросы и логическому программированию. В том же году он изобрел язык программирования Лисп^[2] и опубликовал его описание в журнале Communications of the ACM в 1960 г.^[3]

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

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

Примечания

1. ↑ Hayes, Patrick J.; Leora Morgenstern (2007). "On John McCarthy's 80th Birthday, in Honor of his Contributions". AI Magazine 28 (4).
2. ↑ John McCarthy et al. LISP 1.5 Programmers Manual. MIT Press, 1962.
3. ↑ John McCarthy. Recursive Functions of Symbolic Expressions and Their Computation by Machine. Communications of the ACM, April 1960.
4. ↑ http://cs.stanford.edu/People/faculty Список преподавательского состава факультета информатики Стэнфордского университета на сайте Стэнфорда
5. ↑ http://www.fi.edu/winners/2003/mccarthy_john.faw?winner_id=4368 Сайт института Франклика, страница с описанием награды (медалиФранклина) за 2003 г.

Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл / Саймон (1975) • Рабин / Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон / Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт / Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис / Стернс (1993) • Фейгенбаум / Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль / Нигаард (2001) • Ривест / Шамир / Адлеман (2002) • Кэй (2003) • Серф / Кан (2004) • Наур (2005) • Аллен (2006) • Кларк / Эмерсон / Сифакис (2007) • Лисков (2008)