Constructing Cantorian counterexamples |
| |
| Authors: | Boolos George |
| |
| Institution: | (1) Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, MA, 02139, U.S.A |
| |
| Abstract: | Cantor s 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 等数据库收录！ |
|
