Timeline for Is there any correspondence between Gödel and Kreisel that supports Kreisel's observation that Gödel changed his mind about his 1938 set theory note?
Current License: CC BY-SA 4.0
26 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 13 at 20:48 | history | edited | M. Solomon | CC BY-SA 4.0 |
added 1 character in body
|
| Jun 12 at 19:19 | history | edited | M. Solomon | CC BY-SA 4.0 |
deleted 45 characters in body
|
| Jun 11 at 13:47 | history | edited | M. Solomon | CC BY-SA 4.0 |
point out at end of question that Godel in Wang 1974 can be viewed as correcting Davis on Godel 1938 being evidence for a nonplatonist early Godel
|
| Jun 10 at 14:19 | history | edited | M. Solomon | CC BY-SA 4.0 |
added 172 characters in body
|
| Jun 6 at 18:04 | history | edited | M. Solomon | CC BY-SA 4.0 |
added 184 characters in body
|
| Jun 6 at 7:42 | history | reopened |
M. Solomon Alex M. Daniele Tampieri Mikhail Katz Sam Sanders |
||
| Jun 4 at 16:47 | review | Reopen votes | |||
| Jun 6 at 7:47 | |||||
| Jun 4 at 13:30 | comment | added | M. Solomon | There was quite a bit of discussion after Godel died about whether his Cambridge 1933 talk, 1938 set theory note, and other statements provide views of Godel that he later changed. But the Kreisel/ Mostowski comments were made during Godel’s lifetime and he apparently responded to them in the section of Wang 1974 on perception of concepts (I don’t think anyone has pointed that out yet), although partially and indirectly. If anyone has such letters I would greatly appreciate receiving them (especially if they have been translated to English) on email since this question has been closed | |
| Jun 4 at 7:33 | history | closed |
LSpice Brian Hopkins Timothy Chow Andy Putman Dirk |
Not suitable for this site | |
| Jun 2 at 10:56 | comment | added | M. Solomon | Thanks for the indentation. It looks correct. | |
| Jun 1 at 19:53 | comment | added | Kenneth Derus | Parsons tells you how to get your hands on the letters. Other relevant Kreisel letters are in Weingartner-Leeb. | |
| Jun 1 at 18:21 | comment | added | Benjamin Dickman | If I had to guess who to ask: Gregory H. Moore, whose history around forcing connected to an MO question I asked some years ago. | |
| Jun 1 at 17:54 | comment | added | David Roberts♦ | Can you check I delineated the quotes correctly? It wasn't wholly clear where at least one of them ended. Please edit to fix if it is wrong. Also, I agree this question is incredibly discursive, experts who would know don't need all the ins and outs and lengthy quotes. | |
| Jun 1 at 17:51 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
quote formatting
|
| Jun 1 at 13:15 | history | edited | M. Solomon | CC BY-SA 4.0 |
added 130 characters in body
|
| Jun 1 at 10:39 | comment | added | Kenneth Derus | See for example Charles Parsons: Kreisel and Gödel in Weingartner and Leeb: Kreisel’s Interests (College Publications, 2020). | |
| May 31 at 12:50 | history | edited | M. Solomon | CC BY-SA 4.0 |
deleted 10 characters in body; edited tags
|
| May 31 at 11:59 | history | edited | gmvh |
Added top-level tag
|
|
| May 31 at 11:45 | comment | added | M. Solomon | I just want to get my hands on such correspondence but none with kreisel appeared in Godel’s collected works. Maybe in Firestone or in Kreisel’s literary estate. I think this is an important question for anyone interested in Godel’s intellectual history and epistemology | |
| May 31 at 11:20 | comment | added | Brian Hopkins | This is more appropriate for the History of Science and Mathematics site. | |
| May 31 at 11:20 | history | edited | M. Solomon | CC BY-SA 4.0 |
deleted 10 characters in body
|
| May 31 at 11:07 | history | edited | M. Solomon | CC BY-SA 4.0 |
edited tags
|
| May 31 at 8:08 | review | Close votes | |||
| Jun 4 at 7:33 | |||||
| May 31 at 1:25 | comment | added | M. Solomon | I apologize for all the lengthy quotes but I think we have to look at Godel’s own words. I posted all the quotes to show why I think finding such letters could be very important. | |
| May 31 at 1:12 | comment | added | Sam Hopkins | This reads more like a blog post than a MathOverflow question... | |
| May 31 at 0:59 | history | asked | M. Solomon | CC BY-SA 4.0 |