Джон Маккарті: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
ZéroBot (обговорення | внесок) м r2.7.1) (робот додав: eu:John McCarthy |
LeonBot (обговорення | внесок) м clean up, replaced: Лавреат → Лауреат за допомогою AWB |
||
Рядок 12:
| керівник = [[Solomon Lefschetz]]
}}
'''Джон Маккарті''' ({{lang-en|John McCarthy}}) (народився 4 серпня, 1927, помер 24 жовтня 2011 [[Бостон]]і, [[Массачусетс]]) — [[Сполучені Штати Америки|американський]] [[інформатика|інформатик]] та дослідник мислення, який вважається винахідником терміну "[[Штучний інтелект]]", який він вжив у своїх пропозиціях 1955 року до конференції в Дартмуті 1956, винахідник [[мова програмування|мови]] [[LISP]].
== Раннє життя та освіта ==
Джон Маккарті народився в Бостоні 4 серпня 1927, в сім'ї двох емігрантів, ірландця Джона Патріка та литовської єврейки Іди Глатт Маккарті. Сім'я була вимушена часто мігрувати протягом [[Велика депресія|великої депресії]], аж поки батько Маккарті не знайшов роботу в Лос-Анджелесі.
Маккарті виявив ранню схильність до математики. В юності він вивчив математику за підручниками, що використовувались [[Каліфорнійський технологічний інститут|Каліфорнійським технологічним інститутом]] (Caltech), який знаходився по сусідству. В результаті, коли його прийняли до Caltech наступного року, він зміг пропустити перші два роки курсів математики.<ref name="HayesMorgenstern">
| last = Hayes
| first = Patrick J.
Рядок 56:
== Основні публікації ==
* McCarthy, J. 1959. [http://www-formal.stanford.edu/jmc/mcc59.html Programs with Common Sense]. ''In Proceedings of the Teddington Conference on the Mechanization of Thought Processes'', 756-91. London: Her Majesty's Stationery Office.
* McCarthy, J. 1960. [http://www-formal.stanford.edu/jmc/recursive.html Recursive functions of symbolic expressions and their computation by machine]. ''Communications of the ACM'' 3(4):184-195.
* McCarthy, J. 1963a A basis for a mathematical theory of computation. ''In Computer Programming and formal systems''. North-Holland.
Рядок 65:
* McCarthy, J. 1986. Applications of circumscription to common sense reasoning. ''Artificial Intelligence'' 28(1):89-116.
* McCarthy, J. 1990. Generality in artificial intelligence. In Lifschitz, V., ed., ''Formalizing Common Sense''. Ablex. 226-236.
* McCarthy, J. 1993. Notes on formalizing context. In ''IJCAI'', 555-562.
* McCarthy, J., and Buvac, S. 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., ''Computing Natural Language''. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
* McCarthy, J. 1998. Elaboration tolerance. In ''Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning'', Commonsense-1998.
* Costello, T., and McCarthy, J. 1999. Useful counterfactuals. ''[[Electronic Transactions on Artificial Intelligence]]'' 3(A):51-76
* McCarthy, J. 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., ''Proceedings of KR-2002'', 615-628.
Рядок 93:
*[http://www.cbi.umn.edu/oh/display.phtml?id=96 Oral history interview with Fernando J. Corbató] at [[Charles Babbage Institute]], University of Minnesota, Minneapolis. Corbató discusses computer science research, especially time-sharing, at the Massachusetts Institute of Technology (MIT), including John McCarthy and research on time-sharing.
-->
{{stub}}▼
{{Лауреати премії Тюрінга}}
Рядок 125:
[[Категорія:Персоналії:Бостон]]
[[Категорія:Науковці Стенфордського університету]]
▲{{stub}}
[[ar:جون مكارثي (عالم)]]
| |||