Mathematical Logic

#
>

Mathematical Logic

→
#
>

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

→
#
>

Notes

→
#
>

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.

→
#
>

Curriculum

→
#
>

Pick next reading from Teach Yourself Logic

→
#
>

…

→
#
>

some sort of study of Homotopy Type Theory

→