I’ve drawn a question mark at the center of the triangle to suggest that the three vertices (mathematical structures, formal systems and computations) are simply different aspects of one underlying transcendent structure whose nature we still don’t fully understand. This structure (perhaps restricted to the defined/decidable/halting part as per the CUH) exists “out there” in a baggage-free way, and is both the totality of what has mathematical existence and the totality of what has physical existence.
