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.
Mathematical logic is the highest level of philosophical truth
A unifying language enables further discovery
Richard Southwell
Peter Smith
Bartosz Milewski
David Corfield
n-Category Cafe
nLab
David Spivak
Introduction to Formal Logic
Pick next reading from Teach Yourself Logic
…
some sort of study of Homotopy Type Theory
Math Logic Memorabilia
Mathematical Logic