Re: An uncountable countable set
- From: Virgil <virgil@xxxxxxxxxxx>
- Date: Tue, 26 Sep 2006 13:24:49 -0600
In article <45193e6f@xxxxxxxxxxxxxxxxxxx>,
Tony Orlow <tony@xxxxxxxxxxxxx> wrote:
Han de Bruijn wrote:
Tony Orlow wrote:
Virgil wrote:
Mathematicians know better.
Define "better". Those that work in various areas of science share a
notion which defines science. Theories which have no means of
verification are not science, but philosophy. In mathematics,
verification really consists of corroboration by other means,
agreement between different approaches. In science, where you find a
contradiction with your theory, it needs revision. So, the scientific
approach to mathematics requires some criterion for universal
consistency, as measured by the predictions of the various theories
that comprise it. Where two theories collide, one or both is in error.
I think that's better.
Precisely ! In mathematics, there are contradictory approaches, such as
constructivism (Brouwer) against axiomatism (Hilbert). Its practicioners
are asked to be "nice" to each other and to "reconciliate" the different
points of view, which turns out to be a hopeless task. Such a situation
would be unthinkable if mathematics aimed to be a science.
Han de Bruijn
Well, Han, I'm not sure I agree with the statement that reconciliation
is hopeless. Is it hopeless to reconcile the wave nature of elementary
entities with their particle nature?
It is close to hopeless to expect those who reject the law of the
excluded middle (constructionists) and those who insist on it
(formalists) to agree.
There is confusion about my "definition" of infinitesimals, because I
can see the validity both in nilpotent infinitesimals and in those that
are further infinitely divisible.
Until TO can come up with an axiom system which simultaneously allows
his infinitesimals to be both nilpotent and not, he is in trouble.
Constructivism and Axiomatism are two sides of a coin. They can be
reconciled in larger framework, I think.
Better men that TO will ever be have tried.
.
- Follow-Ups:
- Re: An uncountable countable set
- From: Tony Orlow
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- References:
- Re: An uncountable countable set
- From: Mike Kelly
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Mike Kelly
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Mike Kelly
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Mike Kelly
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Mike Kelly
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Mike Kelly
- Re: An uncountable countable set
- From: Tony Orlow
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Tony Orlow
- Re: An uncountable countable set
- From: Virgil
- Re: An uncountable countable set
- From: Tony Orlow
- Re: An uncountable countable set
- From: Han de Bruijn
- Re: An uncountable countable set
- From: Tony Orlow
- Re: An uncountable countable set
- Prev by Date: Re: An uncountable countable set
- Next by Date: Re: Loxodrome/rhumb line Question
- Previous by thread: Re: An uncountable countable set
- Next by thread: Re: An uncountable countable set
- Index(es):
Relevant Pages
|