This is coordinate language, not a claim about proper time.
E. Empirically established
In black-hole astronomy, temporal quantities appear as arrival times, frequencies, and phase evolution of signals, recorded by detectors and observatories whose time bases are traceable to standards.
E. Empirically established
Karl Schwarzschild’s 1916 solution raised questions about coordinate singularities and the physical meaning of horizons, a matter clarified only as the geometric interpretation of general relativity matured.
F. Formal derivation (framework: Schwarzschild and Kerr solutions)
Schwarzschild and Kerr metrics provide exact solutions for, respectively, non-rotating and rotating black holes, allowing one to compute proper time along worldlines and coordinate time in chosen charts and to compare them within the same spacetime model.
Result: coordinate time may diverge
In commonly used external coordinates, an infalling object approaches the horizon at ever later coordinate times, while the object’s own proper time to the horizon is finite in the same model.
Interpretation: avoid the vulgar phrase
Saying “time stops at the horizon” is interpretive and misleading, the precise statement concerns coordinate descriptions and worldline-dependent proper times, not a universal cessation of temporal measurement.
A brief scene: Schwarzschild at the front
Schwarzschild wrote his solution while on military service during the First World War, his paper is spare, technical, and urgent. It began a long disentangling of what belongs to coordinates and what belongs to geometry, a distinction that later became essential to sober talk about horizons.