Re: Raatikainen's critique of Chaitin
From: Mitch Harris (harrisq_at_tcs.inf.tu-dresden.de)
Date: 09/08/04
- Next message: matt parker: "> > > > matt parker alias erikvan lunsen@yahoo.com matt parker alias ericvon lunsen hout@yahoo.com matt parker alias erickvanlinthout@yahoo.com matt parker alias evonlunsen herzog@yahoo.com matt parker alias erik vonlint hout@yahoo.com matt parker al"
- Previous message: Ash: "Closest Point Problem"
- In reply to: Eray Ozkural exa: "Re: Raatikainen's critique of Chaitin"
- Next in thread: Jesse F. Hughes: "Re: Raatikainen's critique of Chaitin"
- Reply: Jesse F. Hughes: "Re: Raatikainen's critique of Chaitin"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 08 Sep 2004 09:45:01 +0200
Eray Ozkural exa wrote:
> "Peter Webb" <webbfamily@DIESPAMDIEoptusnet.com.au> wrote in message news:<4131ce05$0$32426$afc38c87@news.optusnet.com.au>...
>>
>>There is an infinite number of primes is true, and we know the reason - we
>>know how to make an unlimitted number of them.
>>There is (presumably) an infinite number of twin primes, but there may be no
>>particular reason - there just is.
>
> Just a thought. Why would someone think axiom of choice is true?
1) because it hasn't been contradicted after lots of testing
(Banach-Tarski makes one question it though)
2) It is useful (makes proofs easier/shorter)
3) it makes sense (well, finite versions do at least, so it must work
for infinity ;) )
-- Mitch Harris (remove q to reply)
- Next message: matt parker: "> > > > matt parker alias erikvan lunsen@yahoo.com matt parker alias ericvon lunsen hout@yahoo.com matt parker alias erickvanlinthout@yahoo.com matt parker alias evonlunsen herzog@yahoo.com matt parker alias erik vonlint hout@yahoo.com matt parker al"
- Previous message: Ash: "Closest Point Problem"
- In reply to: Eray Ozkural exa: "Re: Raatikainen's critique of Chaitin"
- Next in thread: Jesse F. Hughes: "Re: Raatikainen's critique of Chaitin"
- Reply: Jesse F. Hughes: "Re: Raatikainen's critique of Chaitin"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
