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


General Covariance


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