Alphabeta MathHow statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Historical observation of coupled pendulum clocks
PDF p. 2: Section 1, opening paragraph
Setup
The article reports that Christiaan Huygens observed two pendulum clocks hung from the same board in 1665. A pendulum clock uses a swinging pendulum to regulate its timekeeping mechanism. The Science Museum Group credits Huygens with making the first successful pendulum clock in 1656. An independent historical account describes two clocks suspended side by side and, in one configuration, hung from hooks in the same wooden beam.
Procedure
The article gives no further experimental protocol. In the independent account, Huygens observed the clocks operating together and disturbed one pendulum to see what happened to their motion. The historical procedure was not reproduced here.
Observations
The article reports that the two clocks spontaneously synchronized. Here synchronization means that their swings acquired a common frequency with a persistent phase relationship. The independent account reports the specific relationship as antiphase: the swings were opposite in phase, separated by half a cycle. It also reports that antiphase returned approximately half an hour after one pendulum was disturbed.
Uncertainty
The article's introductory account supplies no measurement values, timing precision, sample size, or uncertainty estimates. The independent account gives no calibrated uncertainty or sample size for the historical phase and frequency observation, and the reported restoration time is approximate.
Interpretation
The article calls this the first recorded observation of synchronization of coupled oscillators. This is the article's historical-priority claim; the independent supplier does not establish priority. Coupling means an interaction through which the motion of one clock can influence the other. The independent account recounts Huygens's interpretation that small movements of the shared support provided that interaction; this interpretation is distinct from the reported observation.
Source notes
The article's opening paragraph is the source of its board description and priority claim. The independent historical account is recorded in Historical report of Huygens’s two clocks. The original correspondence and notebook were not independently inspected, and neither the historical observation nor the modern experiment discussed by that account was reproduced here. The Science Museum Group object description supplies the separate historical attribution for the successful pendulum clock; original invention and patent documents were not inspected.
Depends on
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text.
External dependencies
The Science Museum Group describes Huygens as having made the first successful pendulum clock in December 1656 and having subsequently granted Salomon Coster the right to make the clocks.
Hypotheses: The description concerns the development of the successful pendulum clock, not the later two-clock synchronization observation.
Reading limits: The online object description was consulted for the historical attribution. Original invention and patent documents were not inspected.
The authors recount Huygens’s 1665 observations of two pendulum clocks swinging at the same frequency and in antiphase, and describe configurations in which the clocks shared a support. They report that the antiphase motion returned in about half an hour after a pendulum was disturbed.
Hypotheses: A historical account of two operating pendulum clocks suspended side by side and mechanically coupled through a supporting structure; the result is a reported observation, not a universal claim about clock pairs.
Reading limits: Sections 1 and 2(a), printed pp. 563–566, including the caption of figure 1, were inspected for the historical observations and shared-support description. Figure 1 depicts the authors’ modern apparatus, not Huygens’s original clocks. The original correspondence and notebook were not independently inspected; neither the historical observation nor the modern experiment was reproduced.
Sources
- Expander graphs are globally synchronizing · PDF page 2, Section 1, opening paragraph
- Early pendulum clock by Salomon Coster, c.1657 · Object description, opening historical account
- Huygens’s clocks · Bennett, Schatz, Rockwood and Wiesenfeld, Proc. R. Soc. Lond. A 458 (2002), Sections 1 and 2(a), printed pp. 563–566