GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Embed Notice

HTML Code

Corresponding Notice

  1. Embed this notice
    DougMerritt (log😅 = 💧log😄) (dougmerritt@mathstodon.xyz)'s status on Saturday, 18-Jan-2025 18:34:27 JSTDougMerritt (log😅 = 💧log😄)DougMerritt (log😅 = 💧log😄)
    in reply to
    • Digital Mark λ 📚 🕹 💾 🥃
    • screwlisp
    • webhat

    @screwtape @webhat
    Vaughn Pratt was himself a Lisp programmer, and implemented CGOL as a Maclisp reader.

    He was at Stanford and MIT, and Berkeley pre-Unix, so there's no reason to think he was aware of the 'dc' RPN arithmetic tool, and the paper you reference is earlier than HP's RPN handheld calculators, which had a very loyal following.

    But was there a specific question?

    P.S. "Polish notation" is the most common name (after 'postfix') for operators following operands, just as Reverse Polish Notation (RPN) is the most common name (after 'prefix') for operators preceding operands.

    'The description "Polish" refers to the nationality of logician Jan Łukasiewicz' but people in the early 20th century had a tough time with Polish names so they used a nickname.

    He was famous for multiple things, though, for instance continuous (real-) valued logic, which in a hypothetical infinitely precise analog computer would allow hypercomputation -- computation beyond what is possible for Turing machines.

    https://en.wikipedia.org/wiki/Polish_notation
    https://en.wikipedia.org/wiki/Jan_%C5%81ukasiewicz

    @mdhughes

    In conversationabout 4 months ago from mathstodon.xyzpermalink

    Attachments


  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.