Gambaran Lengkap 'Masalah P vs NP' dan Kelas Kompleksitas Komputasi: Penjelasan Masalah Hadiah Milenium dan Signifikansi Pemrograman
Kalkulus Lambda (Lambda Calculus) dan Asal-usul Pemrograman Fungsional: Dari Teori Alonzo Church ke Lisp dan Haskell
Game of Life Conway: Cellular Automaton Tempat Kompleksitas Seperti Kehidupan Muncul dari Aturan Sederhana
Teorema Ketidaklengkapan Gödel: Bukti Matematis dari 'Kebenaran yang Sama Sekali Tidak Dapat Dibuktikan'