Mathematical Logic

#

Mathematical Logic

#

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

#

math logic map

#

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.

#

Why do we care?

#

mathematical logic is the highest level of philosophical truth

#

a unifying language enables further discovery

#

Relevant People and Projects

#

richard southwell

#

#

bartosz milewski

#

#

n-category cafe

#

#

#

Curriculum

#

introduction to formal logic

#

Pick next reading from teach yourself logic

#

…

#

some sort of study of homotopy type theory

#

math logic memorabilia

↑ 8 References

#

mathematical logic

#

Math and Philosophy

what are we?
mathematical logic

#

mathematical logic

#

mathematical logic

#

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

#

mathematical logic

#

mathematical logic

#

mathematical logic

notes github linkedin calendly deniz@aydemir.us