Alan Turing (1912 – 1954) adalah seorang ahli matematika, logika, dan kriptografer Inggris yang dianggap oleh banyak orang sebagai bapak ilmu komputer. Kontribusinya untuk memecahkan kode Enigma Nazi Jerman selama Perang Dunia II dianggap penting bagi upaya perang Sekutu. Alan Turing merumuskan banyak ide yang sekarang menjadi dasar ilmu komputer dan teori komputabilitas, seperti ide mesin Turing atau tesis Church-Turing.
Mesin Turing adalah konstruksi matematika sederhana yang dapat dibayangkan sebagai pita rekaman dengan panjang tak terbatas yang digabungkan ke unit mekanis dengan kemampuan baca/tulis. Unit hanya dapat melakukan tiga tindakan; baca sedikit rekaman itu dan kembalikan hasilnya; tulis sedikit di kaset; atau menghapus bit yang sudah ada sebelumnya. Tesis Church-Turing Turing, yang diformulasikan dengan Alonzo Church, menyatakan bahwa mesin Turing seperti itu secara teoritis dapat menghitung algoritma apa pun dengan waktu dan ruang penyimpanan yang cukup. Ini juga menyatakan bahwa setiap model komputasi praktis harus menjadi jenis mesin Turing. Lebih jauh lagi, ini berarti bahwa otak manusia dapat didefinisikan sebagai mesin Turing, karena ia memproses informasi dengan satu-satunya cara agar informasi dapat diproses; dengan membaca, menulis, dan memanipulasi bit memori.
Tesis Church-Turing juga mengklaim bahwa algoritma apa pun dapat dijalankan pada apa pun yang memenuhi syarat sebagai mesin Turing. Turing membantu merumuskan definisi asli dari suatu algoritma, yang kira-kira sebagai berikut: 1) suatu algoritma akan terdiri dari satu set terbatas instruksi yang tepat untuk dieksekusi; 2) dapat dihitung dalam jumlah langkah yang terbatas (ketidakmampuan suatu program untuk menentukan apakah program tersebut dapat dieksekusi atau tidak dalam jumlah langkah yang terbatas disebut “masalah penghentian”); 3) dapat dihitung pada prinsipnya hanya dengan pena, kertas, dan waktu tak terbatas; 4) tidak memerlukan informasi latar belakang untuk dieksekusi, yaitu mandiri.
Alan Turing dididik di Cambridge dan Princeton selama 30-an. Pada tahun 1936, Turing menerbitkan makalah yang sangat berpengaruh, On Computable Numbers, dengan aplikasi ke Entscheidungsproblem, menjawab pertanyaan terbuka yang diajukan oleh Kurt Goedel pada tahun 1931, yang menunjukkan bahwa tidak ada cara algoritmik untuk menentukan apakah pernyataan orde pertama yang diberikan dalam logika simbolik berlaku universal. Pada tahun 1938, Alan Turing memperoleh gelar PhD dari Princeton di bawah Gereja Alonzo.
Alan Turing menghabiskan tahun-tahun pasca perangnya bekerja pada beberapa komputer digital pertama yang dapat diprogram ulang, menghasilkan salah satu desain pertama pada tahun 1946. Dia juga membahas masalah kecerdasan buatan, merumuskan Tes Turing, sebuah tes untuk menentukan apakah sebuah mesin atau tidak. layak disebut sadar dan cerdas. Dalam Tes Turing, seorang manusia mengetik kata-kata ke dalam keyboard untuk berkomunikasi dengan dua orang yang tersembunyi, yang satu adalah manusia yang sebenarnya, yang lainnya adalah AI. Jika manusia tidak dapat membedakan mana komunikan yang manusia dan mana yang AI, maka AI tersebut dikatakan lulus Turing Test. Beberapa futuris, seperti pemenang National Medal of Technology Ray Kurzweil, telah menyarankan bahwa kita akan memiliki komputer yang lulus Tes Turing sebelum 2030.
Alan Turing meninggal pada tahun 1954, karena apel yang mengandung sianida. Kematiannya dikatakan sebagai bunuh diri, akibat dituntut karena homoseksualitas dan dipaksa minum hormon oleh pemerintah.