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 , dijkstra's algorithm , computer assisted proof , structural proof theory , analytic proof , axiom , mathematics , proof theory , proof complexity , mathematical proof , automated theorem proving , discrete mathematics , calculus (dental) , computer science , set theory , algorithm , programming language , shortest path problem , dentistry , medicine , graph , geometry , set (abstract data type)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom