Halting Problem Poem

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Halting Problem Poem
For those unsatisfied with my proof that the Halting problem is undecidable (or equivalently that any function deciding it cannot be computed), here is a much more beautiful one in the form of a poem (courtesy of Dennis Müller).

http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html

4 „Gefällt mir“