A unifying language enables further discovery

#

A unifying langauge enables further discovery

#

This is one of the key arguments for finding and embracing isomorphism.

#

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?

↑ 4 References

#

When a new clarity of thought is achieved, it opens up potential new progress. This is similar to creating a unified theory of thought, and also to creating a unifying language a unifying language enables further discovery.

#

a unifying language enables further discovery

#

a unifying language enables further discovery

#

a unifying language enables further discovery

notes github linkedin calendly deniz@aydemir.us