Re: Constructivists and existence proofs

From: Timothy Little (tim-via-n.i.net_at_little-possums.net)
Date: 01/18/05 

Date: 18 Jan 2005 10:51:32 GMT

Herman Jurjus wrote:
> Aren't you confusing constructivism with intuitionism?

I don't have my books here to check, but I was pretty sure that the
terms are, or possibly have been (they're not very recent books),
widely used synonymously. Where I've seen a distinction, it has been
that intuitionism was considered to be a particular form of
constructivism. I haven't seen intuitionism used as a term for
something outside of constructivism, until perhaps now.

As I said in my original post on the subject, it seems that different
people draw the boundaries for the various areas in different ways.
As far as I'm concerned, it's just "People's Front of Judea" vs
"Judean People's Front".

- Tim

Relevant Pages

  • Re: Constructivists and existence proofs
    ... >> I don't have my books here to check, but I was pretty sure that the ... I haven't seen intuitionism used as a term for ... >> something outside of constructivism, ...
    (sci.math)
  • Re: Constructivists and existence proofs
    ... >> Aren't you confusing constructivism with intuitionism? ... > I don't have my books here to check, but I was pretty sure that the ... I haven't seen intuitionism used as a term for ...
    (sci.math)
  • Re: arithmetic in ZF
    ... |Let's take the contrapositive of that "shared first link" ... a counterexample to the Riemann hypothesis. ... intuitionism pertains to Brouwer's particular ... brand of constructivism. ...
    (sci.logic)
  • Re: Looking for a book on the development of an Constructivist mathematical system
    ... mathematics, or a general approach to mathematics. ... forms of constructivism, and some of these forms offer certain ... Moschovakis, the author of the intuitionism article, has a pdf file ... Bishop & Bridges - Constructive Analysis ...
    (sci.math)
  • Re: Zenkins paper on Cantor
    ... > No proof, classical or constructive, has an infinite sequence of steps. ... but I think this will not be the diagonal proof. ... or another champion of constructivism which argues otherwise. ... like Raatikainen you might think that intuitionism faces serious ...
    (comp.theory)