Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Harrison's Postulate: For every action, there is an equal and opposite criticism.


computers / comp.text.tex / Thu 29 June: TeX Hour: Symbolic languages: 6:30 to 7:30pm BST

SubjectAuthor
o Thu 29 June: TeX Hour: Symbolic languages: 6:30 to 7:30pm BSTJonathan Fine

1
Thu 29 June: TeX Hour: Symbolic languages: 6:30 to 7:30pm BST

<076b49aa-dad5-4ded-be01-8cb0714ff4e3n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/computers/article-flat.php?id=6748&group=comp.text.tex#6748

  copy link   Newsgroups: comp.text.tex
X-Received: by 2002:ac8:7e88:0:b0:3f3:8773:6c4a with SMTP id w8-20020ac87e88000000b003f387736c4amr9402774qtj.6.1687986833265;
Wed, 28 Jun 2023 14:13:53 -0700 (PDT)
X-Received: by 2002:a05:6808:1583:b0:3a2:214d:3da9 with SMTP id
t3-20020a056808158300b003a2214d3da9mr3382536oiw.10.1687986832890; Wed, 28 Jun
2023 14:13:52 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.text.tex
Date: Wed, 28 Jun 2023 14:13:52 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=80.189.209.186; posting-account=1n5iOQoAAAAdoKmXR0eD8Li08uSD4aUd
NNTP-Posting-Host: 80.189.209.186
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <076b49aa-dad5-4ded-be01-8cb0714ff4e3n@googlegroups.com>
Subject: Thu 29 June: TeX Hour: Symbolic languages: 6:30 to 7:30pm BST
From: jfine2358@gmail.com (Jonathan Fine)
Injection-Date: Wed, 28 Jun 2023 21:13:53 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2757
 by: Jonathan Fine - Wed, 28 Jun 2023 21:13 UTC

Hi

In some sense, all languages are symbolic. The word ‘cat’ is not a cat. The finger pointing at the moon is not the moon. Spoken language has many non-symbolic elements, such as tone of voice. Counting and arithmetic and numbers is largely symbolic.

By and large, the languages that instruct and inform computers are symbolic.. The same goes for when computers talk back to us. This TeX Hour arises from the various modes of thinking and expression involved in some fairly simple-minded (but perhaps quite deep) mathematical research I’m doing..

TeX Hour: Thursday 29 June, 6:30 to 7:30pm BST
URL: https://texhour.github.io/2023/06/29/symbolic-languages/
Zoom URL: https://us02web.zoom.us/j/78551255396?pwd=cHdJN0pTTXRlRCtSd1lCTHpuWmNIUT09

Every living human language has a community of users. French is the language spoken by the people of France. However, the Swiss speak German, French, Italian and Romansh.

Mathematics is one, or rather several, more or less formal languages. This ranges from mathematics as Euclid and predecessors (such as Babylon 2000 BC) understood it to, via LaTeX and computer algebra, to formal languages for computer verified mathematical proofs. Related and overlapping with this are languages for algorithms and computer programs.

When we think of language as a human activity, we get another way of looking at and understanding problems of accessibility, and the challenges and opportunities arising wne digital media enters a culture that has a long history of relying on print, all the way back to Gutenberg's printing press (1440).

with best regards

Jonathan

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor