ProofWiki:Mathematicians/Henry Maurice Sheffer
From ProofWiki
American logician famous for proving in 1913 that Boolean algebra can be defined by using just the logical NAND operator. (This had previously been noted by Peirce in 1880 but not published till 1933.)
Contents |
Nationality
Polish, born in Ukraine. Emigrated to USA as a child.
History
- Born: 1882
- Died: 1964
Precise birth and death dates needed.
You can help Proof Wiki by completing it.
To discuss it in more detail, feel free to use the talk page.
When this has been done, {{WIP}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
