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

I think this will be relevant for Mathematical Logic. Also Quantum Physics.

Why is Abstract Algebra important? I think it is related to logic, philosophy, category theory, and Mathematical Logic.

What are we? Mathematical Logic