Re: An uncountable countable set

In article <24699$451a2a4a$82a1e228$6662@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:

MoeBlee wrote:

Tony Orlow wrote:

Constructivism and Axiomatism are two sides of a coin. They can be
reconciled in larger framework, I think.

I don't know what your definition of 'axiomatism' is, but there are
axiomatic systems for constructive mathematics.

True. And I consider that as a distortion of contructivism.

The question is whether the foremost of the constructivists do.

Abandon Axioms and Acquire an Abacus (: Mueckenheim ?)

Han de Bruijn
.

Relevant Pages

  • Re: An uncountable countable set
    ... Han de Bruijn wrote: ... I don't know what your definition of 'axiomatism' is, ... Do axioms have to dictate what constructivism ...
    (sci.math)
  • Re: An uncountable countable set
    ... Han de Bruijn wrote: ... I don't know what your definition of 'axiomatism' is, ... Do axioms have to dictate what constructivism ...
    (sci.math)
  • Re: Why exp(-st) in the Laplace Transform?
    ... On 11/25/2004 12:17 PM, Han de Bruijn wrote: ... Thank you Han, ... The first reason for me to submit to ... viel schneidiger unternommen, doch gänzlich mißlang und jetzt zumal, wo ...
    (sci.math)
  • Re: Why exp(-st) in the Laplace Transform?
    ... On 11/25/2004 12:17 PM, Han de Bruijn wrote: ... Thank you Han, ... The first reason for me to submit to ... viel schneidiger unternommen, doch gänzlich mißlang und jetzt zumal, wo ...
    (sci.physics)
  • Re: Empirical Utility of Dualism
    ... > Han de Bruijn wrote: ... > have no idea about what really can be done in finite (puzzle) time. ... > The "combinatorial explosion" is a red herring. ...
    (sci.math)
Quantcast