In a talk, I once illustrated what has to be done by means of two magnificent fungi of the type that grow on trees and become quite solid and firm. For reasons that will become apparent, I called them Tristan and Isolde. Tristan was a bit larger than Isolde, and both were a handsome rich brown, the darkness of which varied over their curved and convoluted surfaces. I wanted to explain how one could determine a ‘difference’ between the two by analogy with the best-matching for mass configurations in flat space. In some way, this would involve pairing each point on Tristan to a matching point on Isolde. A little reflection shows that the only way to do this is to consider absolutely all possible ways of making the matching.
I took lots of pins, numbered 1, 2, 3, ..., and stuck them in various positions into Tristan. I then took a second set, also numbered 1, 2, 3, ..., and stuck them into Isolde. Since they had similar shapes, I placed the pins in corresponding positions, as best as I could judge. I could then say that, provisionally, pin 1 on Tristan was ‘at the same position’ as pin 1 on Isolde. All the other points on them were imagined to be paired similarly in a
This made it possible to determine a
This provisional difference is clearly arbitrary since the pairing on which it is based could have been made differently. To find an intrinsic difference that can have real physical meaning, we must now embark – in imagination at least – on an immensely laborious task. Keeping the pins on Tristan fixed, we need to rearrange the pins (reasonably continuously so that the mathematics works) on Isolde in every conceivable way. For each trial pairing of all points on Isolde to all points on Tristan, we must find the provisional difference. We shall know that we have found the best-matching pairing and corresponding intrinsic difference when the provisional difference remains unchanged if we go from the given pairing to any other pairing that differs from it ever so slightly. (In mathematics, the fulfilment of this condition indicates that one has found a maximum, a minimum or a so-called stationary point of the quantity being considered. It turns out that a stationary point is what is found in this case, but that is a mere technicality.) Since there is an immense – indeed infinite – number of ways of changing the pairings, the best-matching requirement imposes a very strong condition. It is impossible to conceive of a more refined and delicate comparison of two things that are different but of the same kind. However, as Bruno and I realized, it is made necessary by the nature of the compared things.
It leads immediately to the
CATCHING UP WITH EINSTEIN
It was around 1979 that Bruno and I developed the new best-matching idea. We did quite a lot of technical work, and were beginning to get quite hopeful. We knew that we could construct various forms of Machian geometrodynamics, and we began to think that one of them might be a serious rival to general relativity. But it is not easy to beat Einstein, as we were soon to find. This came about through the intervention of another friend, Karel Kuchař, whom I had got to know in 1972, when we had several discussions. Karel is Czech and studied physics at the Charles University in Prague, specializing in relativity. In 1968 he won an award to study at Princeton with John Wheeler, where he quickly established himself as a leading expert in the canonical quantization of gravity (the most straightforward quantization procedure (Box 2) that can be used in the attempt to quantize gravity), in which Dirac and ADM had been the pioneers. Some years later he became a professor of physics at the University of Utah in Salt Lake City, where he still works. Over the years I have profited greatly from discussions with Karel, and certainly would not have been in the position to write this book without assistance from him at some crucial points. However, I hasten to add that Karel is sceptical about my idea that time does not exist at all. As we shall see, general relativity presents a great dilemma. Karel gives more weight to one Born of this dilemma, I to the other.