Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: The Powerset Proof - REWORDED!
Replies: 14   Last Post: Nov 8, 2012 4:11 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
GogoJF

Posts: 49
Registered: 12/16/09
Re: The Powerset Proof - REWORDED!
Posted: Nov 1, 2012 10:10 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Nov 1, 7:09 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> On Nov 2, 1:41 am, George Greene <gree...@email.unc.edu> wrote:
>
>
>

> > > But the Base Step does not hold for ANY SINGLE value of k.
>
> > The argument YOU JUST MADE holds FOR ANY value of k :
>
> > BASE:  1 e f(1) then  ~1 e MISS
>
> > >      ~1 e f(1) then 1 e MISS
> > >     ergo   ~MISS = f(1)

>
> > By induction, ~MISS=f(any k), i.e., ~MISS e f.
>
> Nice work George!  Working out the missing base step in my argument!
>
> GIVEN ANY POWERSET PROOF OF UNCOUNTABILITY,
> THERE IS A MISSING BASE STEP NOT IN THE BODY OF THAT PROOF!
>
> |N| = |PN|
>
> BWWHAHAHAHAH!  Now that's funny!
>
> Herc


We have , in most instances, regarded the base as equaling one- not
knowing internally that the "base" actually represents a real
existence and power- and significant quantifying meaning.



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.