Re: computation and cardinality

From: Mike Oliver (mike_lists_at_verizon.net)
Date: 01/17/05 

Date: Mon, 17 Jan 2005 10:44:56 -0600

William Elliot wrote:
> On Mon, 17 Jan 2005, Mike Oliver wrote:
>
>> William Elliot wrote:
>>> Thus it's not that nobody knows, it's that you have a choice.
>>
>> But what nobody knows is which is the correct choice.
>
>
> Depends upon what you like and what you want.
> If you like simple, then by all means old chap, CH.
> If you like 1001 tales of infinite fanstasies, then ~CH for you.
> Otherwise be a happy go lucky agnostic, content without CH comment.

But in which of the above cases would I be right?

>> Though work is proceeding apace.
>>
> What's happening?

There was a very interesting panel discussion on just this
at the Joint Mathematical Meetings in Atlanta, just over
a week ago. I take it you missed it. In any case
I direct your attention to
http://math.berkeley.edu/~woodin/talks/Lectures.html
just for a start. It's a few years old; no doubt there's
more up-to-date material available on the web somewhere.

Relevant Pages

  • Re: Math as an Experimental Science
    ... William Elliot wrote: ... theorem, is so long and complex that nobody can read it, (ie, is ... Han de Bruijn ...
    (sci.math)
  • Re: computation and cardinality
    ... > is the continuum hypothesis CH which is independent of the axioms of ZF, ... But what nobody knows is which is the correct choice. ...
    (sci.logic)