FL: Nicod, Sheffer Whitehead and Russell

52 views
Skip to first unread message

Norman Megill

unread,
Apr 29, 2020, 8:53:03 PM4/29/20
to Metamath
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

Benoit

unread,
May 1, 2020, 8:17:38 AM5/1/20
to Metamath
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)

Norman Megill

unread,
May 1, 2020, 9:00:09 AM5/1/20
to Metamath
-------- Forwarded Message --------
Subject: An error
Date: Fri, 1 May 2020 13:50:32 +0200 (CEST)
From: fl
To: Megill Norman


 Hi Norm,
I made a mistake in m'y latest post. It's the NAND connector obviously not XOR. Can you fix it ?

--
FL

Norman Megill

unread,
May 1, 2020, 9:33:32 AM5/1/20
to Metamath
-------- 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
Reply all
Reply to author
Forward
0 new messages