Re: all the incompleteness proofs are worthless untill...
- From: James Burns <burns.87@xxxxxxx>
- Date: Mon, 17 Mar 2008 15:20:42 -0400
elsiemelsi wrote:
all the evidence points to maths being inconsistent
russell paradox
burali-forti paradox
skolem pardox banach-tarski paradox
No. None of these paradoxes show math is inconsistent.
Rather, your evidence shows that math sometimes produces
counter-intuitive results, that is to say, /surprising/
results.
Why are you surprised at being surprised?
If you were exploring a newly discovered continent,
would you expect the people there to speak the same language,
to have the same customs as you learned at your mother's
knee?
Those theorems are brought back from a territory much
more alien than any human country could be. They're
weird, all right; I doubt you'd find any disagreement
about that. But to reject them for that reason is to insist
upon living in a Star-Trek fantasy, where intellgent species
evolved on different planets always look human and
even speak English.
Jim Burns
.
- Follow-Ups:
- Re: all the incompleteness proofs are worthless untill...
- From: elsiemelsi
- Re: all the incompleteness proofs are worthless untill...
- References:
- all the incompleteness proofs are worthless untill...
- From: elsiemelsi
- Re: all the incompleteness proofs are worthless untill...
- From: Rupert
- Re: all the incompleteness proofs are worthless untill...
- From: elsiemelsi
- Re: all the incompleteness proofs are worthless untill...
- From: Jan Burse
- Re: all the incompleteness proofs are worthless untill...
- From: elsiemelsi
- Re: all the incompleteness proofs are worthless untill...
- From: elsiemelsi
- all the incompleteness proofs are worthless untill...
- Prev by Date: Re: Godel proved maths inconsistent not incompleteness theorem
- Next by Date: Re: Analytic/Synthetic distinction in modern inference engines?
- Previous by thread: Re: all the incompleteness proofs are worthless untill...
- Next by thread: Re: all the incompleteness proofs are worthless untill...
- Index(es):
Relevant Pages
|