Skip to content

Instantly share code, notes, and snippets.

@samuelgoto

samuelgoto/fol.md

Last active February 12, 2019 19:25
Show Gist options
  • Save samuelgoto/8554a9d0ccd0366bdc1ef24b87bf2681 to your computer and use it in GitHub Desktop.
Save samuelgoto/8554a9d0ccd0366bdc1ef24b87bf2681 to your computer and use it in GitHub Desktop.
Download ZIP
@samuelgoto
Copy link
Author 

"It is impossible that the same quality should both belong and not belong to the same thing … This is the most certain of all principles … For it is by nature the source of all the other axioms." Aristotle

@samuelgoto
Copy link
Author

samuelgoto commented Feb 6, 2019 •
edited
Loading 

According to Boole, all that separates Algebra on Numbers from the ‘Calculus of Thought' is the need to confine the numerical value of symbols to those natural numbers that satisfy the equation: X2 = X.

Boole manipulates X2 = X into its equivalent, X(1-X) = 0, then shows that the only numbers satisfying this simple algebra are ‘1' or ‘0'.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment