You are not currently logged in.
Access JSTOR through your library or other institution:
Constructing Cantorian Counterexamples
Journal of Philosophical Logic
Vol. 26, No. 3 (Jun., 1997), pp. 237-239
Published by: Springer
Stable URL: http://www.jstor.org/stable/30227093
Page Count: 3
You can always find the topics here!Topics: Counterexamples, Mathematical functions, Logical proofs, Cantors theorem, Paradoxes
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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 Cantor's 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.
Journal of Philosophical Logic © 1997 Springer