Re: 1-1/2+1/3-1/4+1/5-1/6+1/7



MoeBlee wrote:

Moreover, just what form of intuitionism does Han de Bruijn advocate?

Pink intuitionism :-) (: name given to it by Torkel Franzen (+))

Since pure intuitionism is considering mathematics as independent of the
real world, I cannot agree with that view. But intuitionism nevertheless
is sometimes closer to "a little bit of physics" in mathematics than the
mainstream. And, weird as it may seem, this is not even a coincidence.

Han de Bruijn

.



Relevant Pages

  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... Since pure intuitionism is considering mathematics as independent of the ... is sometimes closer to "a little bit of physics" in mathematics than the ...
    (sci.math)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... Since pure intuitionism is considering mathematics as independent of the ... is sometimes closer to "a little bit of physics" in mathematics than the ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... > MoeBlee wrote: ... >> Han de Bruijn wrote: ... >>>axioms to be a foundation for constructive mathematics. ...
    (sci.math)
  • Re: Help. What is a model?
    ... MoeBlee wrote ... There are many senses in mathematics of 'definition'. ... But for a predicate such as 'is a theorem', ... universal agreement on what one will accept as a proof, ...
    (sci.math)
  • Re: My talk about Godel to the post-grads.
    ... MoeBlee writes: ... necessarily incomplete; BUT that system is complete if that proof is not ... "The math doesn't care about their mortgages. ... mathematics because mathematics doesn't look out for them. ...
    (sci.logic)