Teori Awal
1930-an–1950-an · Turing & Lahirnya Komputasi
Sebelum komputer elektronik ada, para matematikawan sudah menjelajahi satu pertanyaan mendalam: dapatkah mesin “berpikir”? Pertanyaan itu melahirkan landasan teoretis yang meletakkan dasar matematis dan logis bagi kelahiran kecerdasan buatan di kemudian hari. Para perintis era ini — Turing, Church, Gödel — mengerjakan bukan sekadar penjelajahan matematis, melainkan juga penyelidikan filosofis atas hakikat pikiran manusia.
Penjelajahan teoretis era ini dapat dibagi menjadi tiga jalur utama: perkembangan teori komputasi (digerakkan Turing dan Church), batas logika formal (karya Gödel), dan lahirnya teori informasi (sumbangan Shannon). Ketiga arah itu saling menjalin dan membentuk batu penjuru teoretis kecerdasan buatan.
Tonggak Penting
Teorema Ketaklengkapan Gödel
Kurt Gödel menerbitkan teorema ketaklengkapannya, yang membuktikan bahwa setiap sistem formal yang cukup kuat memuat proposisi yang tak dapat dibuktikan maupun dibantah di dalam sistem itu sendiri. Penemuan ini tidak hanya mengguncang dunia matematika, tetapi juga berimplikasi mendalam bagi teori komputasi dan kecerdasan buatan.
Kurt Gödel (1906–1978)
Tesis Church-Turing
Alonzo Church dan Alan Turing secara terpisah mengajukan Tesis Church-Turing yang termasyhur. Tesis ini menyatakan bahwa setiap fungsi yang secara efektif terhitung adalah terhitung-Turing. Dengan demikian gagasan intuitif tentang “keterhitungan” diformalkan, dan tesis itu menjadi landasan ilmu komputer.
Alonzo Church & Alan Turing
Mesin Turing
Alan Turing memperkenalkan konsep mesin Turing dalam makalahnya yang menjadi tonggak, “On Computable Numbers, with an Application to the Entscheidungsproblem”. Model komputasi abstrak ini dapat mensimulasikan setiap proses yang terhitung secara matematis.
Alan Turing (1912–1954)
Kalkulus Lambda
Alonzo Church mengajukan Kalkulus Lambda, sistem formal untuk pendefinisian dan penerapan fungsi. Kalkulus Lambda dipandang sebagai landasan teoretis pemrograman fungsional. Kalkulus lambda asli tahun 1936 tidak bertipe; Church menambahkan tipe sederhana pada 1940 (“A Formulation of the Simple Theory of Types”), menciptakan salah satu sistem bertipe eksplisit yang paling awal.
Alonzo Church (1903–1995)
Model Neuron
Warren McCulloch dan Walter Pitts menerbitkan “A Logical Calculus of the Ideas Immanent in Nervous Activity”, memperkenalkan model neuron tiruan yang pertama (neuron McCulloch-Pitts). Model ini menyederhanakan neuron menjadi sakelar ambang biner, meletakkan dasar bagi penelitian jaringan saraf di kemudian hari.
Warren McCulloch & Walter Pitts
Sibernetika
Norbert Wiener menerbitkan “Cybernetics: Or Control and Communication in the Animal and the Machine”, mendirikan disiplin baru bernama sibernetika. Telaah tentang bagaimana sistem mengatur dirinya sendiri melalui mekanisme umpan balik berdampak mendalam pada AI dan robotika.
Norbert Wiener (1894–1964)
Teori Informasi Shannon
Claude Shannon menerbitkan “A Mathematical Theory of Communication”, meletakkan dasar teori informasi. Konsep seperti entropi, pengodean, dan kuantitas informasi menjadi perkakas inti untuk memahami data dan mengolah informasi.
Claude Shannon (1916–2001)
Uji Turing
Dalam “Computing Machinery and Intelligence”, Turing mengganti pertanyaan yang kabur “Dapatkah mesin berpikir?” dengan permainan peniruan, yang semula merupakan permainan tiga peran (seorang pria, seorang wanita, dan seorang penanya) dan di dalamnya Turing mengusulkan penggantian salah satu pemain dengan mesin. Ini adalah kriteria perilaku, bukan bukti bahwa mesin memiliki kesadaran.
Alan Turing
Proposal Dartmouth 1955
Pada 1955, John McCarthy, Marvin Minsky, Nathaniel Rochester, dan Claude Shannon memakai istilah “kecerdasan buatan” dalam proposal Dartmouth Summer Research Project dan menggariskan program penelitian untuk musim panas 1956.
John McCarthy dkk.
Tokoh Penting
Alan Turing
Bapak Ilmu Komputer
Turing bukan hanya pendiri ilmu komputer, melainkan juga perintis pemikiran kecerdasan buatan. Model mesin Turing-nya meletakkan dasar teori komputasi, dan Uji Turing menyediakan tolok ukur bagi mesin cerdas. Pada Perang Dunia II, karyanya membantu memecahkan sandi Enigma Jerman. Pada 1954, Turing meninggal setelah dianiaya karena homoseksualitasnya. Pada 2013, Ratu Elizabeth II memberinya pengampunan kerajaan secara anumerta.
Alonzo Church
Bapak Kalkulus Lambda
Church adalah guru besar di Universitas Princeton. Kalkulus Lambda-nya merupakan landasan teoretis pemrograman fungsional. Muridnya adalah Turing, dan bersama-sama mereka mengajukan Tesis Church-Turing, yang hingga kini tetap menjadi inti teori komputasi.
Kurt Gödel
Ahli Logika
Teorema Ketaklengkapan Gödel dipandang sebagai salah satu penemuan matematis terpenting pada abad ke-20. Teorema itu menunjukkan bahwa bahkan sistem seksama seperti matematika pun memiliki keterbatasan yang melekat — sebuah wawasan filosofis yang berdampak mendalam pada perkembangan AI.
Claude Shannon
Bapak Teori Informasi
Shannon bukan hanya pendiri teori informasi, melainkan juga penjelajah awal kecerdasan buatan. Ia membuat tikus mekanis (Theseus) yang mampu memecahkan labirin — sebuah peragaan mesin pembelajar yang awal. Tesis magisternya tahun 1937, “A Symbolic Analysis of Relay and Switching Circuits”, dipandang sebagai fondasi teori penyakelaran digital.
Norbert Wiener
Bapak Sibernetika
Wiener adalah matematikawan di MIT yang mendirikan sibernetika, sebuah bidang lintas disiplin. Konsep “umpan balik” gagasannya memengaruhi penelitian AI masa awal. Wiener juga orang pertama yang memperingatkan bahaya yang mungkin dibawa AI.
Kutipan Klasik
Saya mengusulkan untuk menimbang pertanyaan, “Dapatkah mesin berpikir?”
Setiap sistem formal yang cukup kuat adalah tak lengkap.
Bahaya mesin tidak terletak pada mesin itu sendiri, melainkan pada ketergantungan manusia kepadanya.