Timeline for A question regarding an unprovability proof
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 1, 2023 at 15:17 | comment | added | Martin Dowd | This would yield an LAJ proof. With more work you can get an LA proof. | |
| May 31, 2023 at 6:53 | comment | added | John Bentin | It seems that I have misunderstood your third paragraph: If we have a proof that $0=1$, then a proof of any statement follows immediately. | |
| May 28, 2023 at 16:49 | comment | added | Martin Dowd | By polynomial time arithmetic I mean the open system defined by Cook in 1975 and called "PV" by him. | |
| May 28, 2023 at 3:46 | comment | added | Wojowu | What exactly is "polynomial time arithmetic"? | |
| May 28, 2023 at 1:24 | history | edited | Gerry Myerson | CC BY-SA 4.0 |
typos
|
| May 27, 2023 at 1:39 | history | asked | Martin Dowd | CC BY-SA 4.0 |