SWhat changed
Gave diagonal nonenumerability argument for infinite binary sequences.
Scientific scope
The record is Cantor's sole-author 1891 paper and its diagonal construction. It is distinct from his 1874 uncountability proof and does not absorb later formalizations of Cantor's theorem or computability applications.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Cantor's sole-author 1891 paper and its diagonal construction. It is distinct from his 1874 uncountability proof and does not absorb later formalizations of Cantor's theorem or computability applications.
Contributors
- Georg Cantor · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
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