Jon Awbrey · @Inquiry
94 followers · 373 posts · Server mathstodon.xyz#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 may seem 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.
#logic #syntacticstructures #formalequivalence #birdseyeview #friedrichschiller #abstractpointofview #LogicalGraphs