#formalequivalence — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formalequivalence, aggregated by home.social.
-
#LogicalGraphs • 4
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Abstract_POV“Wollust ward dem Wurm gegeben …”
— #FriedrichSchiller • “An die Freude”The #BirdsEyeView in question is the perspective of #FormalEquivalence. From it we overlook a host of distinctions which appear momentous at lower levels of abstraction. Expressions belonging to different formalisms whose #SyntacticStructures are algebraically or topologically isomorphic are not seen as distinct in any significant sense.