Access

You are not currently logged in.

Access JSTOR through your library or other institution:

login

Log in through your institution.

Journal Article

Constructing Cantorian Counterexamples

George Boolos
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.

Cancel
  • Download ($43.95)
  • Add to My Lists
  • Cite this Item
Constructing Cantorian Counterexamples
Preview not available

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 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.

Page Thumbnails

  • Thumbnail: Page 
[237]
    [237]
  • Thumbnail: Page 
238
    238
  • Thumbnail: Page 
239
    239