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. […]

Camping schedule for October: The Halting Problem

Ig Nobel Prize-winner Harold Camping repeats his prediction that the world will end on October 21, 2011. Mr. Camping is an expert in what mathematicians call The Halting Problem. He gives you this audio greeting [click to hear it]. His website says: Thus we can be sure that the whole world, with the exception of those […]

Scarle’s XBoxian firsts

Dr. Simon Scarle of Warwick University tells us some merits of his study “Implications of the Turing completeness of reaction-diffusion models, informed by GPGPU simulations on an XBox 360: Cardiac arrhythmias, re-entry and the Halting problem”: In this paper I used an XBox 360’s GPU to simulate cardiac tissue and carry out research on the […]