Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes])

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.theory, comp.ai.philosophy, comp.lang.prolog
Subject	Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes])
Date	2025-11-18 23:15 +0100
Message-ID	<10fir5a$83mj$2@solani.org> (permalink)
References	(2 earlier) <10fb8v4$3s47k$2@dont-email.me> <20251115184626.294@kylheku.com> <10ffg2c$undi$1@dont-email.me> <10fipfh$82j6$4@solani.org> <10fiqd0$1rv37$1@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

So you say I was your logic teacher? I doubt
so. Who was your logic teacher from the cradle
to the appearance of the internet, when

you still had to carry heavy paper books, while
visiting the lake front in summer, looking for
a shadowy tree, and the enjoying some logic?

What books did you read ? What people did you know ?

Bye

olcott schrieb:
> On 11/18/2025 3:46 PM, Mild Shock wrote:
> <big snip>
> 
> *I remember you in the Prolog Group*
> *I remember you in the Prolog Group*
> *I remember you in the Prolog Group*
> 
> The Liar Paradox formalized in the Prolog Programming language
> 
> This sentence is not true.
> It is not true about what?
> It is not true about being not true.
> It is not true about being not true about what?
> It is not true about being not true about being not true.
> Oh I see you are stuck in a loop!
> 
> 
> This is formalized in the Prolog programming language
> ?- LP = not(true(LP)).
> LP = not(true(LP)).
> ?- unify_with_occurs_check(LP, not(true(LP))).
> false.
> 
> Failing an occurs check seems to mean that the
> resolution of an expression remains stuck in
> an infinite loop. Just as the formalized Prolog
> determines that there is a cycle in the directed
> graph of the evaluation sequence of LP the simple
> English proves that the Liar Paradox never gets
> to the point. It has merely been semantically
> unsound all these years.
>

Thread

Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) olcott <polcott333@gmail.com> - 2025-11-18 16:02 -0600
  Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes]) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:15 +0100
    Re: Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes]) olcott <polcott333@gmail.com> - 2025-11-18 16:54 -0600
      What did you do before 2001 ? (Was: Enjoying some logic under a shadowy tree?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 09:50 +0100
        What are top ten books in set theory? (Re: What did you do before 2001 ?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 10:16 +0100
          Slim Fermats Last Theorem (FLT) only for Lean4? (Was: What are top ten books in set theory?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 11:14 +0100
  Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 15:15 -0800

csiph-web