On Mon, 5 Aug 2024 at 09:53, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 2024-08-05 09:22, Tim Parenti via tz wrote:
That page is the responsibility of Robert Harry van Gent and is hosted by the Faculty of Science at Universiteit Utrecht.
Van Gent cites many sources for Amsterdam time (mostly in Dutch) here:
https://webspace.science.uu.nl/~gent0113/wettijd/wt_text6b.htm
Many of his sources are contemporaneous. It's an impressive list.
Although it's not clear whether the ".32.13" is van Gent's calculation or is copied verbatim from one of those sources, it's surely close to the correct value insofar as that can be determined.
Wow! Thank you both. The Van Gent site in particular certainly seems complete - though I don't speak dutch. -- Eitan Adler