4 ms·

Logic is my favourite branch of maths. It still boggles my brain to think that the fearsome complexity of computing today ultimately boils down to True, False

Logic is my favourite branch of maths. It still boggles my brain to think that the fearsome complexity of computing today ultimately boils down to True, False and a handful of logical connectives (conjunction, disjunction, negation).

jonnycomputer 4y ago
Point taken (and agreed), but it doesn't really. A boolean logic isn't going to get you sequential circuits, for example. You need recursion for that.
- cscurmudgeon 4y ago
  To complete, you need first-order logic. https://www.cs.nmsu.edu/historical-projects/Projects/FoLundecidability.pdf https://www.cs.nmsu.edu/historical-projects/Projects/FoLunde...
- carapace 4y ago
  You can do recursion in Boolean logic. It leads to imaginary Boolean values. See "Laws of Form". https://en.wikipedia.org/wiki/Laws_of_Form https://en.wikipedia.org/wiki/Laws_of_Form