Timeline for Counter-Example for Computability
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 1, 2020 at 23:32 | comment | added | Bob Brown | @DanielR.Collins Not Dale/Lewis, eh? I'll have to poke around. I'm sure it was in a CS0 book, but I gave many of my books away when I retired. | |
| Dec 1, 2020 at 22:49 | comment | added | Daniel R. Collins | For what it's worth, looking at my 1E Dale/Lewis, I don't see that as part of their definition. Consider: following Rosen I emphasize that an algorithm: (a) halts in finite time, and (b) gives correct solutions. The fact that the problem is theoretically solvable seems immediately implied, and therefore not needed explicitly. The existence of problems not-theoretically-solvable seems like a separate, higher-order issue that can be left for later. Indeed, Dale/Lewis leave the idea of "unsolvable" problems for the very last section of the book, just like I do now. Maybe I got it there. | |
| Dec 1, 2020 at 16:00 | comment | added | Bob Brown | @DanielR.Collins I'm pretty sure the first place I saw it was Computer Science Illuminated by Dale and Lewis. You may be right about leaving it out for the tweenagers. | |
| Dec 1, 2020 at 3:49 | comment | added | Daniel R. Collins | Can I ask for a source of the definition you're using? E.g., the text from which I teach discrete math (Rosen), at a community college, doesn't include such a clause in its definition of "algorithm". I'd suggest you'd be fine to just set that aside for a middle-school class, or leave it until later. In my case I even leave the Halting Problem aside until the last day of class (at which point the course halts). | |
| Nov 29, 2020 at 22:34 | answer | added | Jon Guiton | timeline score: 2 | |
| Apr 6, 2020 at 2:08 | answer | added | kaya3 | timeline score: 4 | |
| Mar 31, 2020 at 17:33 | answer | added | Buffy | timeline score: 2 | |
| Mar 31, 2020 at 16:12 | answer | added | Michel Billaud | timeline score: 6 | |
| Mar 31, 2020 at 11:01 | answer | added | Buffy | timeline score: 1 | |
| Mar 31, 2020 at 10:21 | vote | accept | Bob Brown | ||
| Mar 31, 2020 at 3:40 | answer | added | Ben I.♦ | timeline score: 2 | |
| Mar 30, 2020 at 20:40 | history | asked | Bob Brown | CC BY-SA 4.0 |