Timeline for Homotopy type theory and Gödel's incompleteness theorems
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2021 at 6:44 | comment | added | Andrej Bauer | There are a number of logic textbooks that explain Gödel numbering. Are you asking for a particular title? | |
| Jun 15, 2021 at 2:26 | comment | added | simple jack | @AndrejBauer Is there a paper with technical details, such as the method of assigning Gödel numbers? | |
| Apr 17, 2014 at 0:05 | vote | accept | hawkeye | ||
| Apr 16, 2014 at 7:22 | comment | added | Andrej Bauer | My point was that people do not expect a perfect transportation machine to exist, and neither do they worry that there isn't one, but somehow they worry about the fact that no (reasonable) foundation of mathematics is complete. | |
| Apr 16, 2014 at 7:17 | comment | added | David Richerby | I don' think the car analogy quite works as the question isn't so much "Is the car useless?" but "Can the car serve as the foundation transportation?" But, in any case, the fundamental point stands that any system that is going to be a foundation of mathematics is necessarily incomplete. | |
| Apr 16, 2014 at 6:25 | history | answered | Andrej Bauer | CC BY-SA 3.0 |