nLab experimental observation

Examples

experiments

• Michelson-Morley experiment

  (speed of light)

• LHC

  (particle physics, Higgs field)

• LHCb, Belle experiment, BaBar experiment

  (B-mesons, flavour anomalies, V_cb puzzle, pentaquark)

• RHIC

  (quark-gluon plasma)

• Super-Kamiokande, ANITA experiment

  (neutrinos, proton decay)

• LIGO

  (gravitational waves)

• EDGES

  (hydrogen line in cosmic microwave background)

• Chandra Observatory

• Event Horizon Telescope

  (black holes)

• James Webb Space Telescope

  (galaxies, cosmology)

Related entries

• measurement, quantum measurement

• theory (physics), coordination

• observable universe

• standard model of particle physics, standard model of cosmology

• empiricism

Relation to mathematical proof

In (Jaffe-Quinn 93, p. 2) it was claimed that

the role of rigorous proof in mathematics is functionally analogous to the role of experiment in the natural sciences

Responses to that claim may be found here.

Related concepts

• precision experiment

• local observables, spacetime support

• computer experiment

References

• Wikipedia, Experiment

• Wikipedia, Observation

Discussion relating experiment to mathematical proof includes

• Arthur Jaffe, Frank Quinn, “Theoretical Mathematics”: Towards a cultural synthesis of mathematics and theoretical physics, Bulletin of the AMS, Volume 29,Number 1, July 1993 (arXiv:math/9307227)