John McCarthy

John McCarthy (2006)

John McCarthy (doğum 4 Eylül 1927 yılında Boston , Massachusetts , † 23 Ekim 2011'de yılında Palo Alto , California ) bir oldu Amerikalı mantıkçı, bilgisayar bilimcisi ve yazar. LISP programlama dilinin mucididir . McCarthy , yapay zeka alanına yaptığı önemli katkılardan dolayı 1971'de Turing Ödülü'nü ve 1988'de Kyoto Ödülü'nü aldı . 1991 yılında Ulusal Bilim Madalyası ile ödüllendirildi .

Hayat

McCarthy onun aldığı Bilim derece Lisans içinde matematik gelen Kaliforniya Teknoloji Enstitüsü 1948 yılında . O hiç 1951'de üç yıl sonra doktora aldı Princeton Üniversitesi altında Solomon Lefschetz ( Projeksiyon operatörleri ve kısmi diferansiyel denklemler ). Stanford Üniversitesi , Dartmouth Koleji ve Massachusetts Teknoloji Enstitüsü'nde kaldıktan sonra , 2000 yılında emekli olduğu Stanford'da 1962'den itibaren profesörlük yaptı. Ölümüne kadar Stanford Üniversitesi'nde Profesör Emeritus olarak aktifti ve sık sık internet forumlarında dünyadaki olayları matematiksel-bilimsel bir bakış açısıyla yorumladı.

McCarthy'nin ilk doktora öğrencisi , daha sonra Turing Ödülü'nü de kazanan Raj Reddy idi. McCarthy ayrıca Turing Ödülü sahibi Barbara Liskov'un doktora danışmanıydı .

1957'den 1959'a kadar Fiziksel Bilimler alanında Sloan Bursiyerine terfi etti . O bir üyesiydi Sanat ve Bilim Akademisi Amerikan (1974), Bilim Geliştirme Amerikan Derneği , Amerikan Matematik Derneği, ve for Computing Machinery Derneği . 1987'de Ulusal Mühendislik Akademisi'ne ve 1989'da Ulusal Bilimler Akademisi'ne kabul edildi . 1983-1984 yılları arasında Amerikan Yapay Zeka Derneği'nin başkanıydı ve 1975'ten itibaren Yapay Zeka Dergisi'nin yayın kurulunda görev yaptı .

AI gelişiminin rol oynadığı kısa hikayeler yazdı.

McCarthy bir ateistti. Alıntı:

Richard Dawkins’in ateist arkadaşlarının 'ortaya çıkması' için rahatsız etmesine yanıt olarak , gerçekten bir ateist olduğumu söylüyorum. Kendini ateist saymak için tanrının var olmadığına dair bir kanıtın olduğunu iddia etmek gerekmez. Tanrı sorusundaki kanıtın kurt adam sorusundaki kanıtla yaklaşık aynı durumda olduğunu düşünmek yeterlidir. "

davranmak

Yapay zeka üzerine ilk konferans olan Dartmouth Konferansı , 1956 yazında gerçekleşti. 1955'te McCarthy, bu konferans için Rockefeller Vakfı'ndan finansman başvurusunda yapay zeka terimini ortaya attı . McCarthy, tasarımını 1960 yılında Communications of the ACM dergisinde sunduğu LISP programlama dilinin mucididir . LISP, bir bilgisayarda mantık hesabının ilk uygulamalarından biriydi .

Ayrıca, satranç programlarının oyun gücüne belirleyici bir katkı sağlayan alfa-beta algoritmasını ve otomatik çöp toplama için ilk işaretle ve süpür algoritmasını icat etmekle de tanınır .

Diğerleri

IJCAI en John McCarthy Ödülü yapay zeka konusunda orta kariyer bilim adamlarına verilir.

Edebiyat

  • Vladimir Lifschitz: John McCarthy (1927-2011). İçinde: Nature , Cilt 480, 2011, s.40.

İnternet linkleri

Commons : John McCarthy  - Resimler, videolar ve ses dosyaları koleksiyonu

destekleyici dokümanlar

  1. ↑ Stanford Engineering'den tweet
  2. ↑ a b c ((Requiescat) içinde (pace)): John McCarthy'nin ölümü üzerine . heise.de, 25 Ekim 2011; Erişim tarihi: Ekim 25, 2011.
  3. ↑ jmc / kişisel Stanford Üniversitesi
  4. ^ McCarthy ve diğerleri: Yapay Zeka Üzerine Dartmouth Yaz Araştırma Projesi için Bir Teklif . ( Memento içinde 30 Eylül 2008 , Internet Archive ) 1955 Ağustos, s. 1 (fon uygulaması)
kişisel veri
SOYADI McCarthy, John
KISA AÇIKLAMA Amerikalı bilgisayar bilimcisi, LISP programlama dilinin mucidi
DOĞUM TARİHİ 4 Eylül 1927
DOĞUM YERİ Boston , Massachusetts
ÖLÜM TARİHİ 23 Ekim 2011
Ölüm yeri Palo Alto , Kaliforniya