> Along the same lines - things that have different names (and even entirely different vocabularies) are not necessarily different. Obviously > There is a 1:1

> Along the same lines - things that have different names (and even entirely different vocabularies) are not necessarily different. Obviously > There is a 1:1 correspondence between Logic, Type Theory and Category Theory - they are "the same" (up to isomorphism). I know. > At the highest level of abstraction all Philosophy is the same. It's all confluent and equifinal - all roads lead to Rome. That's sounds swell but I'd venture that it's a pretty vacuous statement. > Recursion/self-knowledge - a theory of "self". Let us part ways here, I wish you well on your journey.