There are a number of interesting talks at Perimeter
this week, including one talk
by Julian Barbour
on Machian gravity. In a strictly classical analysis, Barbour derives GR, and then SR, from a Machian geodesic principle applied to a shape space of particle configurations, in which Time is merely emergent. Carl
will just love
the long discussion about action principles and square roots, as well as the introductory remark that GR, as usually practiced, is fundamentally flawed for its treatment of Time.
Barbour concluded the talk by offering fqxi
funding for research on Machian quantum gravity. Of course I immediately emailed him to apply for the funding.
See also the talks by Abramsky
. Abramsky managed to introduce Category Theory in a very sneaky fashion, after a 20 minute introduction.