Timeline for Is one definition of the word paradox, "something that can be used to prove the halting problem undecidable?"
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 9, 2010 at 23:26 | history | edited | Andrej Bauer | CC BY-SA 2.5 |
added 107 characters in body
|
| Nov 9, 2010 at 23:20 | comment | added | user1338 | In fairness, you're more or less correct...I was hoping someone could either verify or refute my claim. I'll take a look at the source you mentioned, thank you. | |
| Nov 9, 2010 at 23:18 | history | answered | Andrej Bauer | CC BY-SA 2.5 |