I have an updated Gource visualization of set.mm progress, and
I plan to make it publicly visible tomorrow afternoon. You can see it here:
https://www.youtube.com/watch?v=JnXTuq6sos4=youtu.be
If there are last-minute issues, please let me know soon before I publish it!
--- David A. Wheeler
--
FL asked me to post this.
Forwarded Message
Subject: Nicod, Scheffer Whitehead and Russel
Date: Wed, 29 Apr 2020 10:58:07 +0200 (CEST)
From: fl
To: Megill Norman
Hi Norm,
can you post this:
A complement about Nicod. His paper about his axiom is dated 1916, three
years
