Biografi John McCarthy, Kisah Bapak Kecerdasan Buatan dan Penemu Bahasa Lisp

John McCarthy adalah ilmuwan komputer dan matematikawan terkemuka asal Amerika Serikat yang dinobatkan sebagai Bapak Kecerdasan Buatan (Father of Artificial Intelligence). Ia mencetuskan istilah Artificial Intelligence pada 1955, memprakarsai Konferensi Dartmouth 1956, menciptakan bahasa pemrograman revolusioner Lisp pada 1958, serta meletakkan fondasi teknologi time-sharing dan cloud computing. Atas jasanya merintis disiplin sains kecerdasan komputasi, McCarthy dianugerahi penghargaan tertinggi Turing Award pada 1971.

Sepanjang lebih dari lima dekade berkarya di Massachusetts Institute of Technology (MIT), Dartmouth College, Princeton University, dan Stanford University, John McCarthy konsisten memandang komputer bukan sekadar kalkulator angka raksasa, melainkan medium pemrosesan simbolik yang mampu meniru cara berpikir logis manusia. Dari tangannya lahir inovasi mendasar komputasi modern yang kita nikmati hari ini: pengelolaan memori otomatis (garbage collection), sistem interaksi waktu-nyata multi-pengguna (time-sharing), hingga visi visioner bahwa komputasi akan dijual layaknya utilitas air dan listrik.

Biodata & Profil Singkat

Parameter	Keterangan
Nama Lengkap	John McCarthy
Tempat, Tanggal Lahir	Boston, Massachusetts, Amerika Serikat, 4 September 1927
Meninggal Dunia	Stanford, California, 24 Oktober 2011 (usia 84 tahun)
Kebangsaan	Amerika Serikat
Pendidikan	California Institute of Technology (B.S. Matematika, 1948) Princeton University (Ph.D. Matematika, 1951)
Bidang Keahlian	Ilmu Komputer, Matematika, Logika Simbolik, Kecerdasan Buatan
Dikenal Atas	Pencetus istilah Artificial Intelligence, Konferensi Dartmouth 1956, Penemu Bahasa Lisp, Konsep Time-Sharing, Advice Taker, Circumscription
Afiliasi Lembaga	Princeton University, Dartmouth College, MIT, Stanford University (SAIL)
Penghargaan Bergengsi	ACM A.M. Turing Award (1971), Kyoto Prize (1988), National Medal of Science (1990), Benjamin Franklin Medal (2003)

Masa Kecil, Bakat Matematika Otodidak, dan Jalur Akademik Princeton

John McCarthy lahir di Boston, Massachusetts, pada 4 September 1927. Ayahnya, John Patrick McCarthy, adalah imigran asal Irlandia yang aktif sebagai aktivis buruh dan organisator serikat pekerja, sementara ibunya, Ida Glatt McCarthy, merupakan wartawati dan pejuang hak perempuan keturunan Yahudi Lithuania. Akibat krisis ekonomi hebat (Great Depression) yang melanda Amerika Serikat pada dekade 1930-an, keluarga McCarthy berpindah-pindah kota melintasi benua Amerika hingga akhirnya menetap di Los Angeles, California.

Di Los Angeles, bakat intelektual McCarthy berkembang pesat melampaui teman-teman sebayanya. Saat menempuh pendidikan di Belmont High School, ia menunjukkan ketertarikan mendalam pada sains alam dan matematika murni. Merasa kurikulum sekolah menengah terlalu sederhana, McCarthy membeli buku-buku teks kalkulus tingkat lanjut yang digunakan oleh mahasiswa sarjana di California Institute of Technology (Caltech). Ia mempelajari seluruh materi diferensial, integral, dan deret tak hingga secara mandiri dari kamarnya.

Ketika diterima sebagai mahasiswa Caltech pada 1944, penguasaan matematikanya begitu mencengangkan para profesor hingga ia diizinkan melewati dua tahun pertama mata kuliah kalkulus dan langsung mengambil program tingkat atas. Setelah sempat terpotong tugas dinas militer di Angkatan Darat Amerika Serikat pada akhir Perang Dunia II, McCarthy meraih gelar Bachelor of Science (B.S.) bidang Matematika dari Caltech pada 1948.

Langkahnya berlanjut ke Princeton University, salah satu pusat riset matematika paling bergengsi di dunia. Di bawah bimbingan matematikawan legendaris Solomon Lefschetz, McCarthy menyelesaikan disertasi doktoralnya yang berjudul Projection Operators and Partial Differential Equations pada 1951. Atmosfer intelektual Princeton mempertemukan McCarthy dengan tokoh-tokoh luar biasa seperti John von Neumann, Claude Shannon, dan Marvin Minsky. Pertemuan dengan para pemikir ini memantik obsesi seumur hidup McCarthy: meneliti kemungkinan mekanistis untuk membangun mesin yang mampu bernalar secara mandiri.

Melahirkan Istilah "Artificial Intelligence" dan Konferensi Bersejarah Dartmouth 1956

Setelah menuntaskan gelar doktor di Princeton, McCarthy mengajar di Dartmouth College, New Hampshire, pada pertengahan dekade 1950-an. Pada masa itu, penelitian mengenai mesin cerdas masih terpecah-pecah dalam berbagai terminologi yang kabur, seperti automata theory, cybernetics karya Norbert Wiener, atau complex information processing. McCarthy merasa istilah-istilah tersebut terlalu menekankan pada mekanisme umpan balik biologis atau jaringan saraf analog, dan kurang berfokus pada logika simbolik serta kemampuan manipulasi konsep abstrak.

Pada musim panas 1955, McCarthy mengambil inisiatif bersejarah. Bersama tiga ilmuwan sejawat, yakni Marvin Minsky dari Harvard University, Nathaniel Rochester dari IBM, dan Claude Shannon dari Bell Telephone Laboratories, ia menyusun proposal hibah riset ke Rockefeller Foundation berjudul A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence. Di dalam proposal tertanggal 31 Agustus 1955 inilah, istilah Artificial Intelligence (Kecerdasan Buatan) tertulis untuk pertama kalinya dalam sejarah sains manusia.

McCarthy merumuskan hipotesis sentral yang menjadi piagam dasar seluruh penelitian kecerdasan buatan dunia:

"Setiap aspek pembelajaran atau fitur kecerdasan lainnya secara prinsip dapat dijelaskan dengan sangat presisi sehingga sebuah mesin dapat dibuat untuk mensimulasikannya."

Hibah disetujui, dan pada musim panas 1956, diselenggarakan Dartmouth Summer Research Project on Artificial Intelligence di Hanover, New Hampshire. Selama hampir dua bulan penuh, sepuluh ilmuwan terkemuka, termasuk Herbert Simon, Allen Newell, Arthur Samuel, dan Ray Solomonoff, berkumpul merancang cetak biru masa depan komputasi kognitif. Konferensi Dartmouth 1956 diakui secara bulat oleh komunitas ilmiah internasional sebagai momentum kelahiran resmi kecerdasan buatan sebagai cabang disiplin ilmu mandiri.

Invensi Bahasa Lisp 1958: Mahakarya Pemrosesan Simbolik

Pada 1958, McCarthy pindah ke Massachusetts Institute of Technology (MIT) sebagai asisten profesor dan bergabung dengan laboratorium komputasi. Di kampus inilah ia mendirikan MIT Artificial Intelligence Project bersama Marvin Minsky. Kebutuhan untuk memprogram kecerdasan mesin menyadarkan McCarthy bahwa bahasa pemrograman yang ada saat itu, seperti Fortran (1957), dirancang khusus untuk perhitungan numerik matriks dan persamaan fisika, bukan untuk memanipulasi struktur simbolik, pohon keputusan (decision trees), atau logika relasional.

Menjawab tantangan tersebut, pada akhir 1958 McCarthy memperkenalkan bahasa pemrograman Lisp (singkatan dari List Processing). Berpijak pada fondasi matematika kalkulus lambda karya Alonzo Church, Lisp merevolusi arsitektur pengembangan perangkat lunak dengan memperkenalkan serangkaian terobosan konseptual yang belum pernah ada sebelumnya:

1. Pemrosesan Struktur Daftar (List Processing): Satuan data dasar dalam Lisp berupa daftar berkait (linked list), memungkinkan representasi pengetahuan, grafik relasi, dan pohon kalimat diolah secara sangat fleksibel.
2. Kode Sebagai Data (Homoikonisitas): Dalam Lisp, kode program dan data memiliki format representasi yang identik (ekspresi S atau S-expressions). Sebuah program Lisp dapat membaca, memodifikasi, dan menulis kode Lisp lainnya saat program sedang berjalan, fondasi utama dari sistem pakar dan algoritma meta-pemrograman.
3. Pengelolaan Memori Otomatis (Garbage Collection): Untuk mendukung alokasi struktur data dinamis tanpa membuat pemrogram kewalahan mengelola memori manual berisiko tinggi, McCarthy merancang mekanisme garbage collection pertama di dunia. Konsep pembersihan memori otomatis ini puluhan tahun kemudian diadopsi ke dalam bahasa modern seperti Java, Python, Go, dan JavaScript.
4. Fungsi Rekursif Tingkat Pertama: Lisp memperlakukan fungsi sebagai warga kelas satu (first-class citizens), membuka jalan bagi paradigma pemrograman fungsional murni.

Lisp segera menjadi bahasa lingua franca bagi riset kecerdasan buatan global selama lebih dari tiga dekade. Komputer khusus berarsitektur Lisp (Lisp Machines) bahkan diproduksi secara komersial pada era 1980-an, dan varian modernnya seperti Common Lisp, Scheme, dan Clojure tetap digunakan secara luas dalam sistem komputasi berkeandalan tinggi saat ini.

Revolusi Time-Sharing dan Ramalan Visioner Cloud Computing (1959-1961)

Selain melahirkan disiplin AI dan bahasa Lisp, kontribusi monumental McCarthy yang mengubah wajah industri teknologi informasi dunia adalah gagasannya mengenai Time-Sharing (pembagian waktu komputasi).

Pada akhir dekade 1950-an, komputer berukuran sebesar lemari raksasa dengan biaya jutaan dolar, seperti IBM 704 atau IBM 7090. Pola kerja saat itu menggunakan sistem pemrosesan tumpukan (batch processing): para ilmuwan harus meninju instruksi program ke dalam tumpukan kartu plong (punched cards), menyerahkannya ke operator komputer, lalu menunggu berjam-jam bahkan berhari-hari hanya untuk menemukan satu kesalahan sintaksis kecil (syntax error). McCarthy memandang metode ini sebagai pemborosan waktu intelektual manusia yang luar biasa.

Pada 1 Januari 1959, McCarthy menulis memo internal penting kepada pimpinan MIT yang mengusulkan konsep radikal: membagi daya pemrosesan prosesor pusat (CPU) ke dalam potongan-potongan waktu berkecepatan milidetik (time slices). Dengan cara ini, puluhan pemrogram dapat terhubung secara bersamaan melalui terminal teleprinter terpisah ke satu komputer utama. Karena komputer bekerja ribuan kali lebih cepat daripada kecepatan mengetik manusia, setiap pengguna merasa seolah-olah memiliki seluruh komputer tersebut secara eksklusif untuk dirinya sendiri.

Gagasan visioner ini diwujudkan oleh tim peneliti MIT melalui Compatible Time-Sharing System (CTSS) pada 1961 dan proyek riset berskala besar Project MAC yang didanai oleh DARPA. Sistem ini merupakan cikal bakal sistem operasi interaktif modern, termasuk Multics, Unix, BSD, macOS, dan Linux.

Tidak berhenti sampai di situ, dalam pidato peringatan 100 tahun berdirinya MIT pada Mei 1961, McCarthy melontarkan ramalan futuristik yang mencengangkan audiens pada zamannya:

"Komputasi suatu hari nanti mungkin diorganisasikan sebagai utilitas publik, sama seperti sistem telepon publik. Sistem utilitas komputer dapat menjadi dasar bagi industri baru yang sangat penting."

Prediksi McCarthy pada 1961 tersebut membutuhkan waktu hampir empat dekade untuk terwujud sepenuhnya. Konsep komputasi utilitas yang digagasnya adalah fondasi arsitektural dari apa yang kini dikenal dunia sebagai komputasi awan (Cloud Computing), di mana penyedia seperti Amazon Web Services, Google Cloud, dan Microsoft Azure menyewakan kapasitas komputasi, penyimpanan, dan infrastruktur kecerdasan buatan sebagai utilitas publik yang dibayar sesuai pemakaian.

Mendirikan Stanford AI Lab (SAIL) dan Menjelajahi Logika Non-Monotonik

Pada 1962, John McCarthy menerima tawaran profesor di Stanford University di Palo Alto, California, dan mendirikan Stanford Artificial Intelligence Laboratory (SAIL). Selama hampir empat dekade memimpin dan mengajar di Stanford, McCarthy mengubah SAIL menjadi salah satu kawah candradimuka paling inovatif di Lembah Silikon (Silicon Valley).

Di bawah kepemimpinannya di SAIL, berbagai proyek mutakhir diujicobakan:

• Robotika dan Visi Komputer: Tim SAIL merancang lengan mekanik bertenaga komputer (Stanford Arm) yang dipandu kamera digital awal untuk merakit suku cadang secara otonom.
• Catur Komputer: McCarthy memelopori algoritma pencarian pohon alpha-beta pruning. Pada 1966, ia mengorganisasi pertandingan catur komputer internasional pertama antara program buatan Stanford melawan program buatan Institut Fisika Teoretis dan Eksperimental di Moskwa, Uni Soviet.
• Perangkat Keras dan Jaringan: SAIL menjadi salah satu simpul awal jaringan ARPANET pada 1969 dan mengembangkan sistem pengolah kata interaktif layar penuh pertama, serta teknologi sintesis musik digital.

Secara teoretis, McCarthy teguh meyakini bahwa pendekatan yang paling kokoh untuk membangun kecerdasan buatan adalah melalui formalisme logika matematis. Pada 1958, ia menulis makalah visioner Programs with Common Sense, yang menguraikan konsep sistem cerdas bernama Advice Taker. Program ini dirancang untuk merepresentasikan fakta-fakta dunia dalam bentuk kalimat-kalimat logika predikat orde pertama dan menarik kesimpulan rasional untuk memecahkan masalah sehari-hari.

Pada 1969, berkolaborasi dengan Patrick J. Hayes, McCarthy menerbitkan makalah monumental Some Philosophical Problems from the Standpoint of Artificial Intelligence. Makalah ini memperkenalkan formalisme Situation Calculus untuk memodelkan bagaimana suatu keadaan (situation) berubah akibat eksekusi tindakan (action), serta merumuskan tantangan fundamental dalam representasi pengetahuan yang dikenal sebagai Frame Problem.

Untuk mengatasi kelemahan logika deduktif klasik saat berhadapan dengan informasi dunia nyata yang tidak lengkap, McCarthy pada 1980 memformulasikan metode Circumscription. Circumscription adalah salah satu pilar utama penalaran non-monotonik (non-monotonic reasoning), yang memungkinkan mesin membuat asumsi akal sehat (default assumptions) namun tetap fleksibel mencabut asumsi tersebut begitu data atau bukti baru ditemukan di kemudian hari.

Debat Filosofis, Turing Award 1971, dan Kritik terhadap Pandangan Reduksionis

Sepanjang kariernya, John McCarthy tidak hanya berkutat dengan matematika dan pemrograman, melainkan aktif terlibat dalam debat filosofis mengenai hakikat kesadaran dan kecerdasan. Ia secara tegas menentang pandangan filsuf yang meragukan kemungkinan mesin memiliki pikiran sejati. Ketika filsuf John Searle melontarkan eksperimen pikiran Chinese Room pada 1980 untuk mengklaim bahwa program komputer hanya memanipulasi sintaks tanpa memahami semantik, McCarthy membantah keras dengan argumen bahwa pemahaman (understanding) adalah fungsi dari kemampuan memprediksi dan memodelkan konsekuensi logis secara konsisten.

Pada saat yang sama, McCarthy juga melontarkan kritik tajam terhadap klaim-klaim berlebihan yang kerap melanda komunitas AI. Ia mengingatkan bahwa kecerdasan buatan yang sejati tidak akan pernah tercapai hanya dengan mengandalkan trik optimasi statistik atau penambahan daya komputasi mentah semata. Bagi McCarthy, mesin harus dibekali kemampuan epistemologis: memahami hakikat pengetahuan, batasan apa yang ia ketahui, serta kemampuan menggeneralisasi prinsip nalar melintasi domain yang berbeda secara mandiri.

Atas kontribusi kepeloporannya yang tak tertandingi dalam meletakkan batu pertama sains kecerdasan komputasi, Association for Computing Machinery (ACM) menganugerahkan penghargaan paling bergengsi dalam dunia ilmu komputer, A.M. Turing Award, kepada John McCarthy pada 1971.

Dalam merefleksikan bagaimana masyarakat memandang pencapaian kecerdasan buatan, McCarthy pernah menyampaikan sebuah kutipan tajam yang sangat relevan hingga hari ini:

"Begitu sistem itu bekerja, tidak ada lagi yang menyebutnya kecerdasan buatan; orang-orang hanya menyebutnya sebagai program komputer biasa."

Pernyataan ini mencerminkan fenomena sosiologis yang kerap dialami disiplin AI: begitu suatu teknologi cerdas berhasil disempurnakan, mulai dari algoritma pencarian rute GPS, catur komputer, hingga sistem pengenal suara, publik cenderung menganggapnya sebagai rekayasa perangkat lunak biasa, lalu memindahkan batas definisi "kecerdasan" ke hal-hal yang belum terpecahkan.

Selain Turing Award, McCarthy menerima berbagai tanda kehormatan tertinggi dunia, antara lain Kyoto Prize dalam bidang Teknologi Mutakhir dari Inamori Foundation di Jepang pada 1988, National Medal of Science yang disematkan langsung oleh Presiden George H.W. Bush pada 1990, serta Benjamin Franklin Medal dalam bidang Ilmu Komputer dan Kognitif dari The Franklin Institute pada 2003.

Warisan Abadi John McCarthy di Era Ledakan Kecerdasan Buatan Modern

John McCarthy pensiun dari jabatannya sebagai Profesor Ilmu Komputer di Stanford University pada 1 Januari 2001 setelah hampir empat puluh tahun mengabdi. Ia wafat dengan tenang di kediamannya di Stanford, California, pada 24 Oktober 2011 pada usia 84 tahun, hanya berselang beberapa pekan setelah kepergian pendiri Apple, Steve Jobs, dan ilmuwan perintis Dennis Ritchie.

Kepergian McCarthy meninggalkan warisan intelektual abadi yang kini menopang peradaban digital abad ke-21:

• Ekosistem Bahasa Pemrograman Modern: Prinsip garbage collection, ekspresi lambda (closures), dan pemrograman fungsional yang ia rintis lewat Lisp kini menjadi standar baku yang diadopsi di hampir seluruh bahasa pemrograman modern dari Python, TypeScript, Rust, Swift, hingga Kotlin.
• Infrastruktur Komputasi Global: Gagasan time-sharing dan komputasi utilitas yang ia gagas pada 1959-1961 kini menjelma menjadi industri komputasi awan bernilai ratusan miliar dolar per tahun, menjadi tulang punggung pengoperasian internet global.
• Arah Masa Depan AI Simbolik dan Neuro-Simbolik: Di tengah pesatnya perkembangan model pembelajaran mendalam (deep learning) dan model bahasa besar (large language models) pada era 2024-2026, komunitas riset internasional semakin menyadari keterbatasan model statistik murni yang rentan halusinasi (hallucination). Pandangan visioner McCarthy mengenai pentingnya logika formal, pemahaman kausalitas, dan penalaran akal sehat kini bangkit kembali sebagai pendekatan hibrida paling menjanjikan: Neuro-Symbolic AI.

Sebagai Bapak Kecerdasan Buatan, John McCarthy tidak hanya membayangkan mesin yang dapat menghitung, melainkan membuka gerbang peradaban di mana mesin dapat diajak berdialog, bernalar, dan memperluas cakrawala pengetahuan umat manusia.

Referensi

1. McCarthy, J. (1958). Programs with common sense. Mechanisation of Thought Processes, 1, 77-84.
2. McCarthy, J. (1960). Recursive functions of symbolic expressions and their computation by machine, Part I. Communications of the ACM, 3(4), 184-195.
3. McCarthy, J., Minsky, M. L., Rochester, N., & Shannon, C. E. (1955). A proposal for the Dartmouth summer research project on artificial intelligence. Dartmouth College.
4. McCarthy, J., & Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 463-502.
5. McCarthy, J. (1980). Circumscription: a form of non-monotonic reasoning. Artificial Intelligence, 13(1-2), 27-39.
6. Nilsson, N. J. (2012). John McCarthy: 1927-2011. AI Magazine, 33(2), 85-90.
7. Markoff, J. (2011, October 25). John McCarthy, 84, dies; Computer scientist coined 'artificial intelligence'. The New York Times.