Constructing Cantorian counterexamples |
| |
Authors: | Boolos George |
| |
Affiliation: | (1) Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, MA, 02139, U.S.A |
| |
Abstract: | Cantors diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantors theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one. |
| |
Keywords: | Cantor diagonal argument set theory |
本文献已被 SpringerLink 等数据库收录! |
|