Timeline for Is it provably true/false that for a program, there exists a proof whether it halts or not?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 8, 2022 at 19:43 | history | mod moved comments to chat | |||
| S Jun 8, 2022 at 19:43 | comment | added | D.W.♦ | Comments are not for extended discussion; this conversation has been moved to chat. | |
| Jun 6, 2022 at 19:31 | comment | added | Reinstate Monica | This answer directly addresses the question. The OP thought uniformity (one program generates proofs for all programs) and non-uniformity (there exists a proof for each program, not necessarily generated by one program) were different. This answer explains why they are actually the same. Negative comments expect this answer to delve into extreme pedantry, which is unnecessary and beside the point. | |
| Jun 6, 2022 at 2:10 | vote | accept | DatoClement | ||
| Jun 5, 2022 at 14:46 | history | edited | user21820 | CC BY-SA 4.0 |
added 565 characters in body
|
| Jun 5, 2022 at 14:33 | history | answered | user21820 | CC BY-SA 4.0 |