Re: Lisp history: IF, etc.

Liste des GroupesRevenir à cl lisp 
Sujet : Re: Lisp history: IF, etc.
De : ram (at) *nospam* zedat.fu-berlin.de (Stefan Ram)
Groupes : comp.lang.lisp
Date : 17. Apr 2024, 13:24:04
Autres entêtes
Organisation : Stefan Ram
Message-ID : <Extensionality-20240417132304@ram.dialup.fu-berlin.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
Jeff Barnett <jbb@notatt.com> wrote or quoted:
Sir Walter Raleigh was the author of "The Lie"
Did the Queen know that Raleigh wrote "The Lie"?
might produce
Did the Queen know TRUE?

  This here thing might have some connection to what folks call
  "Extensionality": "To find the value of an expression,
  the only thing one needs to know about a subexpression is its
  (the subexpression's) value."

  Now, we can say with a high degree of certainty that natural
  language ain't got no truck with this "Extensionality" business,
  at least not the way ol' man McCarthy was demonstratin' it.

  The very idea that logical statements are a good fit for
  modellin' natural language utterances, and that these bad
  boys have some kind of "truth value" as their "meaning"?
  Hoo-wee, that's a real doozy, let me tell you!

Date Sujet#  Auteur
17 Apr 24 o Re: Lisp history: IF, etc.1Stefan Ram

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal