Subject: Re: [HM] Truth tables
From: Julio Gonzalez Cabillon (jgc@adinet.com.uy)
Date: Thu Apr 20 2000 - 20:28:52 EDT
John Conway wrote:
|
| ... Hugh McColl (or MacColl?) devised a wonderful notation
| for logical functions which is an abbreviated form of truth
| table, I think before 1900.
|
John, what a coincidence! - I was also thinking of Hugh MacColl.
Incidentally, before ca. 1886 Hugh's name was spelled as McColl
(Mc instead of Mac), and as such appeared in his papers.
A curious thing to add is that MacColl introduced five semantic
values for propositions:
true false certain impossible variable
Felices Pascuas,
Julio Gonzalez Cabillon
This archive was generated by hypermail 2b28 : Thu Apr 20 2000 - 20:34:17 EDT