Timeline for Undecidable statements in type theory
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2022 at 1:45 | comment | added | Daniel Murcia | Changed "unprovable" into "undecidable" for clarification | |
| Nov 20, 2022 at 1:45 | history | edited | Daniel Murcia | CC BY-SA 4.0 |
added 2 characters in body; edited title
|
| Nov 20, 2022 at 0:10 | comment | added | Joel David Hamkins | The question seems to conflate unprovable with independent. A statement is unprovable in a theory, if it is not provable in that theory. The statement is independent of a theory, if neither the statement nor its negation is provable. | |
| Nov 19, 2022 at 22:53 | history | edited | YCor |
edited tags
|
|
| Nov 19, 2022 at 21:44 | vote | accept | Daniel Murcia | ||
| Nov 19, 2022 at 20:32 | answer | added | L. Garde | timeline score: 3 | |
| S Nov 19, 2022 at 19:21 | review | First questions | |||
| Nov 19, 2022 at 21:51 | |||||
| S Nov 19, 2022 at 19:21 | history | asked | Daniel Murcia | CC BY-SA 4.0 |