-------- 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 On Wednesday, April 29, 2020 at 8:53:03 PM UTC-4, 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/4e37d9cf-b3f6-4fd4-a317-b91904c97e88%40googlegroups.com.
