Quote:
Originally posted by John Henry
All the operations your computer performs are based on boolean logic, which was originally developed as a tool for formal philosophical reasoning.
|
That's a good one. I don't think of logic as being strictly grounded in philosophy, though--I think its development in math is called 'propositional calculus', and I don't know if its development predates 'boolean logic' or if the development of the two are somehow linked. If you know anything about this, I'd love to hear the answer.
The following link was not as informative as I was hoping, but still a good read:
http://radicalacademy.com/philapplied1.htm