> The more interesting/optimized ways to map this would be where a single object in the software internet somehow maps to multiple computers ...
Yes, this is the essence of Dave Reed's 1978 MIT thesis on the design of a distributed OS for the Internet of "consistent" objects mapped to multiple computers. In the early 2000s we had the opportunity to test this design by implementing it. This led to a series of systems called "Croquet" and an open source system and foundation called "Open Cobalt".
> how to build semantic models that are optimized for human comprehension of a problem, but can be directly run on farms of physical computers?
Yes, this is the essence of Dave Reed's 1978 MIT thesis on the design of a distributed OS for the Internet of "consistent" objects mapped to multiple computers. In the early 2000s we had the opportunity to test this design by implementing it. This led to a series of systems called "Croquet" and an open source system and foundation called "Open Cobalt".
> how to build semantic models that are optimized for human comprehension of a problem, but can be directly run on farms of physical computers?
Keep on with this ...