Ugrás a tartalomhoz

John McCarthy

A Wikiszótárból, a nyitott szótárból
(McCarthy szócikkből átirányítva)


Főnév

John McCarthy (tsz. John McCarthies)

  1. (informatika) John McCarthy (1927. szeptember 4. – 2011. október 24.) amerikai informatikus és matematikus, akit a mesterséges intelligencia atyjának is neveznek. Ő volt az, aki 1955-ben megalkotta a „artificial intelligence” (AI) kifejezést, és évtizedeken át formálta a terület elméleti és gyakorlati alapjait. Emellett ő tervezte a LISP nyelvet, amely a mai napig használatos az AI területén.



👶 Korai élet és tanulmányok

  • Született: Boston, Massachusetts, 1927
  • Szülei szovjet bevándorlók voltak, szociálisan érzékeny közegben nőtt fel.
  • Már gyermekként kiemelkedett matematikából – autodidakta módon tanult egyetemi anyagokat.
  • Kaliforniai Műszaki Egyetem (Caltech) – matematika BSc, majd Princeton Egyetem – PhD fokozat.



🧠 Mesterséges intelligencia úttörője

🤖 AI kifejezés megalkotása

  • 1955-ben McCarthy, Marvin Minsky, Nathaniel Rochester és Claude Shannon közösen írták az első AI-kutatási pályázatot.
  • A Dartmouth Workshop (1956) volt az első mesterséges intelligencia témájú tudományos műhely, amely hivatalosan elindította az AI-t mint kutatási területet.
  • Itt használták először az „Artificial Intelligence” (mesterséges intelligencia) kifejezést.



🧾 Fontos hozzájárulásai

🌀 1. LISP programozási nyelv (1958)

  • A második legrégebbi magas szintű nyelv (a Fortran után).
  • Funkcionális paradigmára épül: rekurzió, listakezelés, szemantikai egyszerűség.
  • Alkalmas szimbolikus kifejezések, AI-algoritmusok, logikai következtetések implementálására.
  • A mai napig használják, pl. Common Lisp, Scheme, Clojure formájában.

🧠 2. Time-sharing (időosztásos) rendszerek

  • McCarthy kulcsszerepet játszott a time-sharing koncepció kidolgozásában, amely lehetővé tette, hogy több felhasználó egyidejűleg használjon egy számítógépet – ez volt az alapja a későbbi többfelhasználós operációs rendszereknek.

📐 3. Matematikai logika, automatikus bizonyítás

  • A szimbolikus AI és formális logika gépi használata területén végzett munkát (pl. predikátumlogika, következtetés).

🌐 4. Circumscription (1980)

  • Ez a technika az ismeretlen tényezők kizárásával modellezte a világ tudását – egy logikai AI megközelítés a nemteljességi bizonytalanság kezelésére.



🧑‍🏫 Egyetemi tevékenység

  • Dolgozott a MIT-n, Stanfordon, és a Dartmouth College-on.
  • A Stanford Artificial Intelligence Laboratory (SAIL) megalapítója és irányítója volt.
  • Több generációnyi AI-kutatót mentorált.



💬 Idézetek

„Az AI problémája az, hogy amint valamit sikerül megoldani, többé nem tekintik AI-nak.”

„Az emberek nem értenek egyet abban, hogy mit jelent az intelligencia – de ezt már gépekre akarják alkalmazni.”

„A gépek egyszer gondolkodni fognak – azok is, amelyekre nem is számítunk.”


🧾 Összefoglaló táblázat

Téma Részletek
Született 1927, Boston
Elhunyt 2011, Stanford
Legfőbb ismertség AI név megalkotása, LISP nyelv, AI-alapelvek
Legfontosabb műhely Dartmouth Workshop (1956)
Egyetemek MIT, Princeton, Stanford
Egyéb hozzájárulás Time-sharing rendszerek, formális logika, Circumscription
Díjak Turing Award (1971), Kyoto Prize, National Medal of Science



🧠 Öröksége

John McCarthy nem csak elindította az AI-t mint tudományt, hanem megalapozta annak filozófiai, logikai és nyelvi kereteit. Ma minden mesterséges intelligencia rendszer – legyen az neurális háló, önvezető autó vagy csevegőrobot – közvetve az ő szellemi örökségéből táplálkozik.