Timeline for Notable examples of syntactic proofs whose existence is guaranteed by completeness, but having been found later than a semantic proof?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 1, 2017 at 8:27 | vote | accept | Peter Heinig | ||
| Jul 19, 2017 at 20:46 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Jul 19, 2017 at 13:58 | answer | added | Henry Towsner | timeline score: 9 | |
| Jul 19, 2017 at 13:45 | answer | added | user44143 | timeline score: 4 | |
| Jul 19, 2017 at 13:12 | comment | added | Emil Jeřábek | Closely related question: mathoverflow.net/questions/67271/… | |
| Jul 19, 2017 at 9:52 | answer | added | godelian | timeline score: 5 | |
| Jul 19, 2017 at 5:21 | history | asked | Peter Heinig | CC BY-SA 3.0 |