Open AccessAnother Calculational Proof of Cantor's Theorem
Author(s) -
Márcia R. Cerioli,
Renata de Freitas,
Petrúcio Viana
Publication year - 2022
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/wbl.2022.223244
Subject(s) - axiom of choice , computer assisted proof , dijkstra's algorithm , structural proof theory , analytic proof , axiom , mathematics , proof theory , automated theorem proving , mathematical proof , proof complexity , discrete mathematics , computer science , calculus (dental) , algorithm , set theory , programming language , shortest path problem , medicine , graph , geometry , set (abstract data type) , dentistry