Differences
This shows you the differences between two versions of the page.
| Next revisionBoth sides next revision | |||
| scooping_the_loop_snooper [2008-01-19 04:56] – created 121.45.161.114 | scooping_the_loop_snooper [2008-01-19 05:03] – 121.45.161.114 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====Scooping the Loop Snooper==== | ====Scooping the Loop Snooper==== | ||
| - | < | + | |
| an elementary proof of the undecidability of the halting problem | an elementary proof of the undecidability of the halting problem | ||
| + | < | ||
| No program can say what another will do. | No program can say what another will do. | ||
| Now, I won't just assert that, I'll prove it to you: | Now, I won't just assert that, I'll prove it to you: | ||
| Line 68: | Line 69: | ||
| Santa Cruz, CA 95064 | Santa Cruz, CA 95064 | ||
| - | </blockquote> | + | </file> |
| From Mathematics magazine VOL73. No. 4, Oct 2000 319-320 | From Mathematics magazine VOL73. No. 4, Oct 2000 319-320 | ||
nik