Prinsip komputer modern pertama kali diuraikan oleh matematikawan dan ilmuwan komputer perintis Alan Turing, yang mengemukakan gagasan itu dalam makalah seminal 1936, On Computable Numbers. Turing reformated Kurt Gödel's 1931 menghasilkan batas-batas bukti dan komputasi, menggantikan bahasa formal universal Gödel dengan perangkat hipotetis formal dan sederhana yang kemudian dikenal sebagai mesin Turing. Ia membuktikan bahwa beberapa mesin seperti itu akan mampu melakukan setiap perhitungan matematika dibayangkan jika itu mewakili sebagai algoritma. Dia pergi untuk membuktikan bahwa tidak ada solusi untuk Entscheidungsproblem dengan pertama kali menunjukkan bahwa masalah menghentikan untuk mesin Turing tidak dapat ditentukan: secara umum, tidak mungkin untuk memutuskan secara algoritma apakah mesin Turing yang diberikan akan pernah berhenti.
Siapa yang merevisi hasil yang dihasilkan Turing pada batas - batas bukti dan komputasi pada tahun 1931?
Kurt Gödel