Saya mulai bertanya, "adakah pertanyaan yang tidak bisa dijawab oleh komputer dengan meyakinkan?" dan memimpin diskusi ke arah pertanyaan filosofis seperti "jika pohon tumbang di hutan apakah itu bersuara?" atau "apakah ada kehidupan setelah kematian?" Kami dengan cepat mendapatkan konsensus bahwa bahasa manusia dapat mengekspresikan pertanyaan ya / tidak yang melibatkan paradoks atau konsep yang tidak dapat diungkapkan secara matematis, dan, ya, ada pertanyaan yang tidak dapat dihitung.
Lalu saya bertanya secara retoris apakah ada pertanyaan yang tidak dapat dihitung tentang konsep yang bisa direpresentasikan dalam komputer, misalnya integer dan grafik. Saya mengatakan bahwa ya, salah satu contohnya adalah masalah penghentian yang terkenal, yaitu tentang memeriksa deskripsi suatu program dan mengatakan apakah ia memiliki loop yang tidak terbatas. Secara intuitif, ternyata loop tak terbatas seperti lubang hitam, dan program apa pun yang mengamati loop tak terbatas bisa terjebak dalam loop tak terbatas itu sendiri. Jadi setiap prosedur yang menjawab masalah itu dapat berjalan selamanya, jadi dengan definisi "algoritma" tidak ada algoritma yang bisa menjawab masalah yang terputus.
Lalu saya menyelam kembali ke bukti pada mesin Turing.