Timeline for The true reason for the incompleteness of formal systems
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 4 at 22:49 | history | edited | Daniel Asimov | CC BY-SA 4.0 |
reason to —> reason for
|
| Jun 1 at 16:59 | history | edited | LSpice | CC BY-SA 4.0 |
Capitalise title, while this is on the front page
|
| Jun 1 at 12:19 | answer | added | Nathan Chappell | timeline score: 1 | |
| Jul 9, 2015 at 17:08 | answer | added | Andreas Blass | timeline score: 28 | |
| Jul 9, 2015 at 17:02 | comment | added | David Roberts♦ | There's some work by Lambek, and Lambek and Scott exploring the relation between Gödel's theorems and the free topos (see references at ncatlab.org/nlab/show/free+topos#references) that might be enlightening. | |
| Jul 9, 2015 at 16:48 | review | Close votes | |||
| Jul 10, 2015 at 14:26 | |||||
| Jul 9, 2015 at 16:08 | history | edited | asdfusername | CC BY-SA 3.0 |
added 116 characters in body
|
| Jul 9, 2015 at 15:53 | history | edited | asdfusername | CC BY-SA 3.0 |
edited body
|
| Jul 9, 2015 at 15:53 | comment | added | asdfusername | Thanks for adding the translation. The translation is suitable ;-D | |
| Jul 9, 2015 at 15:47 | history | edited | Steven Landsburg | CC BY-SA 3.0 |
added 610 characters in body
|
| Jul 9, 2015 at 14:12 | review | First posts | |||
| Jul 9, 2015 at 14:22 | |||||
| Jul 9, 2015 at 14:12 | history | asked | asdfusername | CC BY-SA 3.0 |