AWhat changed
Established finite and infinite homogeneous-set results now known as Ramsey’s theorem while addressing a restricted decision problem in formal logic.
Scientific scope
The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 1930 Proceedings of the London Mathematical Society paper. Later Ramsey theory, quantitative bounds, graph variants, reverse mathematics and applications remain separate.
Contributors
- Frank P. Ramsey · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- London Mathematical Society record for Ramsey formal logic paper
- Crossref record for Ramsey formal logic paper
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction