Sujet : Re: Honoring Raymond Smullyan
De : leah.line (at) *nospam* gmail.com (Tom Bola)
Groupes : sci.mathDate : 08. Jan 2025, 03:16:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <r7md26ferwv7.mm1ked0log2e.dlg@40tude.net>
References : 1
User-Agent : 40tude_Dialog/2.0.15.1
Am 08.01.2025 01:14:02 Mild Shock schrieb:
Hi,
Now you can listen to Bird songs for a minute:
2016 Dana Scott gave a talk honoring Raymond Smullyan
https://www.youtube.com/watch?v=omz6SbUpFQ8
That is really a very great analysis!
A little quiz:
Q: And also on the Curry-Howard Isomorphism. Is
there a nice way to put it in bird-forest form like To
Mock a Mocking Bird. This book made everything so
simple and intuitive for me.
A: Hardly, because xx has no simple type.
Right?
I guess so...
A great many thanks for posting all that!
Honoring Raymond Smullyan
Outdated Policy Nonsense by Stackexchange Farts (Was: For a 100th Time Fuck Stackexchange)