David Corfield Ho TT for Physics

Show the philosophical advantages of adopting Ho TT? for physics.

Do we need full type theoretic account or is general modern way of dealing with things up to isomorphism OK?

The Hole Argument

nLab

General Covariance

nLab

Created on November 9, 2013 at 05:00:06. See the history of this page for a list of all contributions to it.