#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.