Timeline for Are there any undecidability results that are not known to have a diagonal argument proof?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 7, 2023 at 17:11 | history | edited | Oliver Korten | CC BY-SA 4.0 |
added 5 characters in body
|
| Sep 7, 2023 at 4:54 | history | edited | Daniele Tampieri | CC BY-SA 4.0 |
Minor formatting
|
| S Sep 7, 2023 at 4:29 | review | First answers | |||
| Sep 7, 2023 at 4:54 | |||||
| S Sep 7, 2023 at 4:29 | history | answered | Oliver Korten | CC BY-SA 4.0 |