Experiment #23 · Scientific experiment

Hafele–Keating

Atomic clocks on commercial flights detect time dilation

Joseph Hafele and Richard Keating · 1971 · Special and general relativity

First published: J. C. Hafele & R. E. Keating, "Around-the-World Atomic Clocks", *Science* 177 (1972): 166–170.

Four cesium clocks flown eastward and westward around the world agree with relativity to within nanoseconds.

Hafele and Keating placed four portable cesium-beam atomic clocks on commercial airliners and flew them around the world eastward and then westward, comparing the elapsed time against a stationary reference clock at the U.S. Naval Observatory. Special relativity predicts a kinematic time dilation depending on ground-speed; general relativity predicts a gravitational *blueshift* at altitude (clocks higher in a gravitational well run faster). The combined prediction differed between the eastward and westward flights because the Earth's rotation adds to or subtracts from the plane's speed. The measured shifts agreed with the predictions to within experimental uncertainty. The experiment is the first direct demonstration of time dilation using macroscopic clocks at ordinary speeds.

Formulation

Reference clock at USNO. Three clocks each on eastward and westward round-the-world flights. Predicted (SR + GR): eastward Δτ ≈ −59 ± 10 ns; westward Δτ ≈ +273 ± 7 ns. Observed: eastward Δτ = −59 ± 10 ns; westward Δτ = +273 ± 7 ns. Both within prediction.

Compare this experiment

Dimensions Engaged

⧖

Time

Directly confirms Time · Ontological Status: the rate of a clock depends on its velocity and gravitational potential. There is no universal "now" that ticks at the same rate everywhere.

✦

Space

Confirms the geometric reading of spacetime: the eastward/westward asymmetry depends on Earth's rotation through the local Lorentz frame.

Responses — How Schools Engage

Affirms / takes the bait 4

Eternalism

Direct evidence that "now" is frame-dependent: different clocks measure genuinely different proper times. The block-universe picture, in which all events are equally real, fits the data; presentism has to work harder.

Relationalism

Time intervals are relational, not absolute — exactly as Leibniz argued, vindicated by precision atomic measurement.

Naturalism

A canonical empirical confirmation: a quantitative prediction from special and general relativity, tested with macroscopic clocks at ordinary speeds, observed within error.

Structuralism

Time-intervals are structural, defined by their relations to motion and gravitation; the experiment confirms the structural primacy of the spacetime metric over absolute time.

Denies / rejects the premise 1

Presentism

Hafele-Keating confirms differential aging, not eternalism: presentists can accept frame-dependent proper times while insisting on a single moving "now" relative to some preferred frame (Lorentzian pilot-frame views).

Holds it inconclusive 1

Analytic Metaphysics / Logical Atomism

Compatible with multiple metaphysical readings of time. The experiment narrows the space of viable options but does not adjudicate between eternalism, growing-block, and neo-Lorentzian presentism.