6 ms·

Has anyone tried to find a transcript of the Gibbs Lecture? Any luck? It apparently appears in Vol III of Godel's Collected Works, and nowhere else I can see

by kkylin 8y ago

Has anyone tried to find a transcript of the Gibbs Lecture? Any luck? It apparently appears in Vol III of Godel's Collected Works, and nowhere else I can see. Thanks!

gnulinux 8y ago
Two things: if you can find this text by Fefermann, this is very helpful: Are There Absolutely Unsolvable Problems? Gödel's Dichotomy https://academic.oup.com/philmat/article-abstract/14/2/134/1471456 https://academic.oup.com/philmat/article-abstract/14/2/134/1... it's super simple and clarifies a lot of things about Godel. Second, I took a philosophy of mathematics course when I was an undergrad studying computer science. And I have a copy of Godel (1951) (I think it's transcripted from his Gibbs Lecture) given to me as a class material. I tried search engines and couldn't find it anywhere, for the love of god. It's such a shame because it's a very important text imho. Since it's probably copyrighted or something, I don't know where to put it. If you're interested PM me and I can send you a pdf. Its title is "Some basic theorems on the foundation of mathematics and their implications". It's mostly about Godel explaining philosophical implications of his theorems and why he thinks they're important. If someone can find pdf, it'd be very helpful.
- deleted 8y ago
  [deleted]
- jacobparker 8y ago
  Could you send it to jacob at-sign solidangle.ca? I would greatly appreciate it. I couldn't find your contact information. It might be good to add it to your profile for other people.
  - deleted 8y ago
    [deleted]
  - gnulinux 8y ago
    Sorry, my bad, I never realized HN doesn't have PMs (or does it? Couldn't find an inbox). Sending the pdf to your email.
- kkylin 8y ago
  Thanks for the pointer to Feferman's (very interesting) article. As for Godel, my university's library turns out to have a set of the Collected Works. So, I'll just check that out. Thanks!
- mietek 8y ago
  The Gibbs lecture can indeed be found in Kurt Gödel, Collected Works, Volume III, Unpublished essays and lectures, edited by Feferman et al., 1995. http://libgen.io/search.php?req=godel+collected+works+3&open=0&res=25&view=simple&phrase=1&column=def http://libgen.io/search.php?req=godel+collected+works+3&open...
DonbunEf7 8y ago
https://ipfs.io/ipfs/QmfHv87H26WavgKxWs11Y2GuoHR62Ge32HvxhDoMDuMA5x/%28Godel,%20Kurt__Collected%20Works%29%20Kurt%20G%C3%B6del,%20S.%20Feferman%20%28Editor-in-Chief%29,%20John%20W.%20Dawson%20Jr.,%20Warren%20Goldfarb,%20Charles%20Parsons,%20R.%20Solovay-Collected%20Works_%20Volume%20III_%20Unpublished%20essays%20and%20lectures%20.djvu https://ipfs.io/ipfs/QmfHv87H26WavgKxWs11Y2GuoHR62Ge32HvxhDo...

by kkylin 8y ago

Has anyone tried to find a transcript of the Gibbs Lecture? Any luck? It apparently appears in Vol III of Godel's Collected Works, and nowhere else I can see. Thanks!

gnulinux 8y ago

Two things: if you can find this text by Fefermann, this is very helpful: Are There Absolutely Unsolvable Problems? Gödel's Dichotomy https://academic.oup.com/philmat/article-abstract/14/2/134/1471456 https://academic.oup.com/philmat/article-abstract/14/2/134/1... it's super simple and clarifies a lot of things about Godel. Second, I took a philosophy of mathematics course when I was an undergrad studying computer science. And I have a copy of Godel (1951) (I think it's transcripted from his Gibbs Lecture) given to me as a class material. I tried search engines and couldn't find it anywhere, for the love of god. It's such a shame because it's a very important text imho. Since it's probably copyrighted or something, I don't know where to put it. If you're interested PM me and I can send you a pdf. Its title is "Some basic theorems on the foundation of mathematics and their implications". It's mostly about Godel explaining philosophical implications of his theorems and why he thinks they're important. If someone can find pdf, it'd be very helpful.

deleted 8y ago
[deleted]
jacobparker 8y ago
Could you send it to jacob at-sign solidangle.ca? I would greatly appreciate it. I couldn't find your contact information. It might be good to add it to your profile for other people.
- deleted 8y ago
  [deleted]
- gnulinux 8y ago
  Sorry, my bad, I never realized HN doesn't have PMs (or does it? Couldn't find an inbox). Sending the pdf to your email.
kkylin 8y ago
Thanks for the pointer to Feferman's (very interesting) article. As for Godel, my university's library turns out to have a set of the Collected Works. So, I'll just check that out. Thanks!
mietek 8y ago
The Gibbs lecture can indeed be found in Kurt Gödel, Collected Works, Volume III, Unpublished essays and lectures, edited by Feferman et al., 1995. http://libgen.io/search.php?req=godel+collected+works+3&open=0&res=25&view=simple&phrase=1&column=def http://libgen.io/search.php?req=godel+collected+works+3&open...

DonbunEf7 8y ago

https://ipfs.io/ipfs/QmfHv87H26WavgKxWs11Y2GuoHR62Ge32HvxhDoMDuMA5x/%28Godel,%20Kurt__Collected%20Works%29%20Kurt%20G%C3%B6del,%20S.%20Feferman%20%28Editor-in-Chief%29,%20John%20W.%20Dawson%20Jr.,%20Warren%20Goldfarb,%20Charles%20Parsons,%20R.%20Solovay-Collected%20Works_%20Volume%20III_%20Unpublished%20essays%20and%20lectures%20.djvu https://ipfs.io/ipfs/QmfHv87H26WavgKxWs11Y2GuoHR62Ge32HvxhDo...