The Winning Incompleteness & Unsolvable Halting Limerick

By request from several readers, here’s a reprint (from mini-AIR) of the winning entry for theĀ Incompleteness & Unsolvable Halting Limerick Competition, The competition asked for a limerick to honor the study “What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem?” Torkel Franzen, Lecture Notes in Computer Science, vol. 3988, 2006, p. […]