4 ms·

And the entire works of Church and Turing…

• xen2xen1 4y ago
  Or the guy who just wanted to extend the works of Aristotle, and created binary...
  • llamaz 4y ago
    Leibniz did that from memory, although the stoics deserve the credit for propositional logic (which can be reduced to a collection of truth tables). and contrary to popular belief Boole actually extended Aristotle’s syllogisms (reduced the conventional syllogisms to computation using matrices of 1s and 0s) rather than create a today’s binary logic.
    • deleted 4y ago
      [deleted]