Timeline for How is Gödel's incompleteness theorem interpreted in intuitionistic logic?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 19, 2022 at 2:44 | history | edited | Nikos M. | CC BY-SA 4.0 |
deleted 24 characters in body
|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Sep 2, 2015 at 22:33 | history | answered | Nikos M. | CC BY-SA 3.0 |