TY - JOUR
AU - Cerioli, Márcia R.
AU - Freitas, Renata de
AU - Viana, Petrucio
PY - 2022
TI - Another Calculational Proof of Cantor’s Theorem
JF - Anais do Workshop Brasileiro de Lógica (WBL); 2022: Anais do III Workshop Brasileiro de Lógica
DO - 10.5753/wbl.2022.223244
KW -
N2 - E. Dijkstra and J. Misra [American Mathematical Monthly, 108:440–443 (2001)] presented a calculational proof of Cantor's Theorem. Their proof is based essentially on the Axiom of Choice. In this note, we present another calculational proof which does not appeal, at least directly, to the Axiom of Choice. Our proof is based only on logical steps and a heuristic guidance analogous to the one used by Dijkstra and Misra in their proof.
UR - https://sol.sbc.org.br/index.php/wbl/article/view/20702