Re: Honoring Raymond Smullyan

Liste des GroupesRevenir à s logic 
Sujet : Re: Honoring Raymond Smullyan
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 08. Jan 2025, 19:25:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vlmfuf$2dkpc$4@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 08/01/2025 19:21, Mild Shock wrote:
Julio wrote:
  > Why do you care so much about simply-typed?
 What makes you think I care about simply-typed?
It was part of the MSE question you moron:

Can't you stay on topic?
Define topic.
-Julio

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