Timeline for Halting problem in C++
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 12, 2023 at 2:45 | vote | accept | Zirui Wang | ||
| Feb 19, 2023 at 16:56 | comment | added | Raphael | @ZiruiWang There are reasons textbooks stick to stripped-down formal models of computation; you found one. 😉 Real-world computation requires different trade-offs in language/model design. | |
| Jul 12, 2019 at 11:15 | comment | added | Zirui Wang | Yes, the translation is not as trivial as advertised in textbooks. | |
| Jul 12, 2019 at 10:36 | history | answered | David Richerby | CC BY-SA 4.0 |