article on schools of foundations of mathematics
From: Mitch Harris (harrisq_at_tcs.inf.tu-dresden.de)
Date: 01/18/05
- Next message: Matthew Russotto: "Re: How many digits is pi computable to?"
- Previous message: tchow_at_lsa.umich.edu: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Next in thread: G. A. Edgar: "Re: article on schools of foundations of mathematics"
- Reply: G. A. Edgar: "Re: article on schools of foundations of mathematics"
- Reply: bernard massé: "Re: article on schools of foundations of mathematics"
- Messages sorted by: [ date ] [ thread ]
Date: Tue, 18 Jan 2005 17:15:42 +0100
I am at a loss. A couple of years ago I read an article (online) that
described a number of "schools" of foundations of mathematics. But now
that I am curious to read it again, I can't find it.
The article started by briefly discussing a number of classical
schools (platonism, logicism, formalism, intuitionism, maybe more),
then jumping into deeper descriptions of a large handful more. The
upshot of the article (as much as I remember) was that all of these
schools had difficulties (and it discussed them).
Does this ring a bell? I can't remember the author's name (though I do
remember that he was not unknown). I don't think it was very recent
(past ten years) but it was not too far in the past (beyond 40 years
ago). I couldn't get google or mathscinet to help me find it.
Any ideas?
-- Mitch Harris (remove q to reply)
- Next message: Matthew Russotto: "Re: How many digits is pi computable to?"
- Previous message: tchow_at_lsa.umich.edu: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Next in thread: G. A. Edgar: "Re: article on schools of foundations of mathematics"
- Reply: G. A. Edgar: "Re: article on schools of foundations of mathematics"
- Reply: bernard massé: "Re: article on schools of foundations of mathematics"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|