Mathematical Logic

Mathematical Logic

The meta-mathematics that might be considered the foundations of math and logic. First heard the term from Peter Smith.


Logic, type theory, category theory, functional programming, and Bayesian thinking may all be connectable in a grand Unified theory.

Inspired by Richard Southwell and Bartosz Milewski youtube lectures on category theory.

Abstract Algebra seems to be relevant.