-------- Forwarded Message -------- Subject: Answer to Benoît Date: Fri, 1 May 2020 15:00:40 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, To answer to Benoît, Scheffer's article is on JSTOR and Nicod's article is on Wikisources. And thank him for the right spelling of *Russell*. -- FL On Friday, May 1, 2020 at 8:17:38 AM UTC-4, Benoit wrote: > > 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/d29206b2-b46d-4f75-9021-57435ab887af%40googlegroups.com.
