John McCarthy

John McCarthy (ur. 1927 w Bostonie, zm. 2011 w Stanford) – amerykański informatyk, logik oraz pionier dziedziny sztucznej inteligencji. Był twórcą języka programowania Lisp, wprowadził pojęcie dzielenia czasu w komputerach oraz otrzymał Nagrodę Turinga w 1971 roku.

Życie i edukacja

John McCarthy urodził się w rodzinie o korzeniach irlandzkich. Po ukończeniu Boston College w 1949 roku uzyskał stopień magistra w dziedzinie matematyki na Caltech. Następnie podjął studia doktoranckie na Uniwersytecie Princeton, gdzie w 1958 roku obronił rozprawę pod kierunkiem Alana Turinga.

Kariera

Po uzyskaniu stopnia doktora McCarthy pracował w MIT, a w 1960 roku przeniósł się na Stanford University, gdzie spędził większość kariery akademickiej.

• W 1956 roku zorganizował słynną konferencję w Dartmouth College, na której po raz pierwszy użyto terminu sztuczna inteligencja.
• W 1958 roku opracował język Lisp, który stał się podstawą wielu systemów AI.
• W 1961 roku wprowadził koncepcję dzielenia czasu, umożliwiając równoczesne wykonywanie wielu programów na jednym komputerze.
• W 1971 roku otrzymał Nagrodę Turinga za wkład w rozwój sztucznej inteligencji.

Osiągnięcia i wkład naukowy

John McCarthy jest autorem licznych prac z zakresu:

• logiki formalnej i automatycznego dowodzenia twierdzeń,
• systemów ekspertowych, w tym MYCIN,
• teorii języków programowania i programowania funkcyjnego,
• nauk o obliczeniach rozproszonych.

Dziedzictwo

Prace McCarthy'ego ukształtowały współczesne rozumienie sztucznej inteligencji. Jego język Lisp pozostaje wpływowy w badaniach AI, a pojęcie dzielenia czasu jest fundamentalne dla współczesnych systemów operacyjnych. Wielu jego uczniów i współpracowników, m.in. Rodney Brooks i Marvin Minsky, kontynuowało rozwój sztucznej inteligencji, będąc bezpośrednio inspirowanymi jego wizją.

Bibliografia

• McCarthy, J. (1958). Lisp: A Language for Symbolic Computation. MIT Press.
• McCarthy, J. (1960). Programs with Common Sense. In Proceedings of the International Conference on Artificial Intelligence.
• McCarthy, J. (1973). Artificial Intelligence, Logic and Formal Methods. Stanford University Press.

Patronaty i wyróżnienia

W uznaniu zasług McCarthy'ego, przyznano mu liczne nagrody, w tym:

• Nagrodę Turinga (1971),
• Honorowy doktorat Uniwersytetu Paryskiego (1976),
• Medal AAAI Fellow (1990).

John McCarthy zmarł w Stanford w 2011 roku, pozostawiając po sobie trwały wpływ na rozwój informatyki i sztucznej inteligencji.