#

Discussion

#

This is the power behind generalized theories like category theory

#

and homotopy type theory maybe

#

godel numbering is a great example of a discovered isomorphic “language” that kurt godel used to discover godel’s incompleteness theorems.

#

Similar to a unified theory.

#

In fact, what’s the difference between a theory and a well formed language?

notes github linkedin calendly deniz@aydemir.us