Designing a Calculational Proof of Cantor's Theorem

DOI10.2307/2695799zbMATH Open0978.03013OpenAlexW4231753477MaRDI QIDQ2730836

Jayadev Misra, Edsger W. Dijkstra

Publication date: 13 January 2002

Published in: American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695799

zbMATH Keywords

Cantor's diagonalizationcalculational proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35)

This page was built for publication: Designing a Calculational Proof of Cantor's Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2730836)