Hacker News new | ask | show | jobs
by jhbadger 3576 days ago
This isn't a "new notation" -- Pierce lived in the 19th century and his notation predates the current. Also, the fact that "nor" is functionally complete was actually discovered by Pierce in 1880. Pierce is more famous for his non-mathematical philosophy of "pragmatism", but he actually contributed quite a bit to logic.
2 comments

Pardon the nerdigression, this feels much like Emacs VS Windows ergonomics.
Wow, I had no idea. Thanks.