Boken «To Halt Or Not To Halt? That Is The Question» omhandler det som antas å være det mest berømte (eller beryktede) problemet innen datavitenskap: Halting-problemet. Dette spørsmålet reiser en enkel, men dyptgående problemstilling: Kan en algoritme avgjøre i løpet av en begrenset tid om et vilkårlig dataprogram til slutt stopper? Ved første øyekast kan dette virke som et trivielt spørsmål – det er jo bare å kjøre programmet og vente til det stopper. Men hva om programmet ikke stopper innen rimelig tid, enten det er en uke, et år eller til og med et tiår? Kan man da konkludere med at det aldri vil stoppe? Svaret er negativt, og dette åpner opp for videre refleksjon. Er du interessert? Hvis ikke, vurder følgende spørsmål: Kan matematikk kun utføres av datamaskiner? Kan programvaretesting automatiseres helt? Kan man skrive et antivirusprogram som aldri trenger oppdateringer? Er det mulig å gjøre internett perfekt sikkert? Din intuisjon er riktig: svaret på hvert av disse spørsmålene er negativt. Halting-problemet skjuler seg også i mange andre fagfelt, fra logikk (er matematikk fri for motsetninger?) til fysikk (er kvantetilfeldighet perfekt?) og filosofi (har mennesker fri vilje, eller er våre tanker et resultat av hjerneprosesser?).
