A unifying language enables further discovery

A unifying langauge enables further discovery

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


This is the power behind generalized theories like category theory

Godel Numbering is a great example of a discovered isomorphic “language” that Kurt Godel used to discover Godel’s Incompleteness Theorems.