Thanks FL for this historical note about Jean Nicod (1893--1924). Are these two articles accessible somewhere ? Do you have the pdf's ? Benoît (PS: it is "Russell" with two "L"s)
On Thursday, April 30, 2020 at 2:53:03 AM UTC+2, Norman Megill wrote: > > 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 After Scheffer's work and he makes an explicit mention of Scheffer > inside. So it is clear it is Scheffer's article that prompted Nicod to work > on his axiom (the underlying Idea is the same: reducing the number of > connectors) and I think it is Nicod's article that prompted Whitehead and > Russel to mention the XOR operator in Principia Mathematica. Nicod was at > Trinity college, he was French and he died at 30 of tuberculosis. > -- > FL > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/7899ec51-46c8-4d84-9fdb-df22af285841%40googlegroups.com.
