Re: An uncountable countable set

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.

Abandon Axioms and Acquire an Abacus (: Mueckenheim ?)

Han de Bruijn

.

Relevant Pages

  • Re: Cantor Confusion
    ... >> Mueckenheim wrote: ... >> Han de Bruijn wrote: ... That symbolizes the fact that there is no noon. ... Han de Bruijn ...
    (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)
  • Re: Another Inconvenient Truth
    ... Han de Bruijn wrote: ... All I've said is that "potential infinite ... If a mathematical model is not the "real thing," ...
    (sci.math)