Sujet : Honoring Raymond Smullyan
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.mathDate : 08. Jan 2025, 01:14:02
Autres entêtes
Message-ID : <vlkg09$1vh4j$2@solani.org>
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
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=omz6SbUpFQ8A 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?
Bye
Honoring Raymond Smullyan
Outdated Policy Nonsense by Stackexchange Farts (Was: For a 100th Time Fuck Stackexchange)