|
[Date Index]
[Thread Index]
[Author Index]
Re: Landau letter, Re: Mathematica as a New Approach...
- To: mathgroup at smc.vnet.net
- Subject: [mg128135] Re: Landau letter, Re: Mathematica as a New Approach...
- From: Andrzej Kozlowski <akozlowski at gmail.com>
- Date: Tue, 18 Sep 2012 03:41:19 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <k1n71e$e5m$1@smc.vnet.net> <20120831075725.55C076873@smc.vnet.net> <20120915073859.5AFEB6864@smc.vnet.net> <20120917042348.9ED8A687A@smc.vnet.net> <FC1192C6-F080-49D1-800B-0A13569C0E29@mimuw.edu.pl>
On 17 Sep 2012, at 09:36, Andrzej Kozlowski <akoz at mimuw.edu.pl> wrote:
>
> On 17 Sep 2012, at 06:23, J=E1nos L=F6bb <janos at lobb.com> wrote:
>
>> Continuity relies on real numbers and real numbers cannot exist without the continuum hypotheses.
>
> The second part is not true.
>
> Andrzej Kozlowski
I think there is a confusion of terminology involved. What is generally known as "The Continuum Hpothesis" is a statement about cardinal numbers, known to be undecidable in the Zermelo-Fraenkel set theory (and independent of the axiom of choice). It is a mathematical (or "logical" statement and, is not implied by the existence of real numbers (otherwise it would not be undecidable).
It is clear however that what was meant in the post from which the above quote was taken by "continuum hypothesis" was something quite different: an informal "belief" that the real numbers correspond to some physical reality. That of course is a metaphysical statement, which means that it is also "undecidable" but in a very different sense from the sense in which "The Continuum Hypothesis" us undecidable.
Andrzej Kozlowski
Prev by Date:
Re: A new FrontEnd
Next by Date:
set option flag in function definition
Previous by thread:
Re: Landau letter, Re: Mathematica as a New Approach...
Next by thread:
Re: DSolve for a real function
|
