Honoring Raymond Smullyan

Liste des GroupesRevenir à s logic 
Sujet : Honoring Raymond Smullyan
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 08. Jan 2025, 01:10:48
Autres entêtes
Message-ID : <vlkfq7$1vh4j$1@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=omz6SbUpFQ8
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?
Bye

Date Sujet#  Auteur
8 Jan 25 * Honoring Raymond Smullyan35Mild Shock
8 Jan 25 +* Re: Honoring Raymond Smullyan27Julio Di Egidio
8 Jan 25 i`* Re: Honoring Raymond Smullyan26Mild Shock
8 Jan 25 i +* For a 100th Time Fuck Stackexchange (Was: Honoring Raymond Smullyan)2Mild Shock
8 Jan 25 i i`- Outdated Policy Nonsense by Stackexchange Farts (Re: For a 100th Time Fuck Stackexchange)1Mild Shock
8 Jan 25 i `* Re: Honoring Raymond Smullyan23Julio Di Egidio
8 Jan 25 i  `* Re: Honoring Raymond Smullyan22Julio Di Egidio
8 Jan 25 i   +- Re: Honoring Raymond Smullyan1Mild Shock
8 Jan 25 i   +* Re: Honoring Raymond Smullyan5Julio Di Egidio
8 Jan 25 i   i`* Re: Honoring Raymond Smullyan4Mild Shock
8 Jan 25 i   i +- Re: Honoring Raymond Smullyan1Mild Shock
9 Jan 25 i   i `* Re: Honoring Raymond Smullyan2Julio Di Egidio
9 Jan 25 i   i  `- Re: Honoring Raymond Smullyan1Mild Shock
9 Jan 25 i   `* A miraculous match? (Was: Honoring Raymond Smullyan)15Julio Di Egidio
9 Jan 25 i    `* Re: A miraculous match? (Was: Honoring Raymond Smullyan)14Julio Di Egidio
9 Jan 25 i     `* How to make cyclic terms (Was: A miraculous match?)13Mild Shock
9 Jan 25 i      +* Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms)3Mild Shock
9 Jan 25 i      i`* Re: Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms)2Mild Shock
9 Jan 25 i      i `- Re: Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms)1Mild Shock
9 Jan 25 i      `* Re: How to make cyclic terms (Was: A miraculous match?)9Julio Di Egidio
9 Jan 25 i       `* Re: How to make cyclic terms (Was: A miraculous match?)8Mild Shock
9 Jan 25 i        `* Re: How to make cyclic terms (Was: A miraculous match?)7Mild Shock
9 Jan 25 i         +* Re: How to make cyclic terms (Was: A miraculous match?)2Mild Shock
9 Jan 25 i         i`- Re: How to make cyclic terms (Was: A miraculous match?)1Mild Shock
9 Jan 25 i         `* Re: How to make cyclic terms (Was: A miraculous match?)4Julio Di Egidio
9 Jan 25 i          +- Re: How to make cyclic terms (Was: A miraculous match?)1Mild Shock
9 Jan 25 i          `* Re: How to make cyclic terms (Was: A miraculous match?)2Mild Shock
9 Jan 25 i           `- Re: How to make cyclic terms (Was: A miraculous match?)1Mild Shock
9 Jan 25 +* RETRO Project Sebastian Borgeaud et al. - 7 Feb 2022 (Was: Honoring Raymond Smullyan)5Mild Shock
10 Jan 25 i`* Prologers are hurt the most by LLMs (Was: RETRO Project Sebastian Borgeaud et al. - 7 Feb 2022 )4Mild Shock
10 Jan 25 i `* Vectors are the new JSON (Re: Prologers are hurt the most by LLMs)3Mild Shock
10 Jan 25 i  `* XAI is over and out (Was: Vectors are the new JSON)2Mild Shock
10 Jan 25 i   `- Academia is retarded (Was: XAI is over and out)1Mild Shock
9 Jan 25 `* Simple Types cannot ban Curry Paradox? (Was: Honoring Raymond Smullyan)2Mild Shock
9 Jan 25  `- Re: Simple Types cannot ban Curry Paradox? (Was: Honoring Raymond Smullyan)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal