Re: A quiet query from a visitor
- From: galathaea <galathaea@xxxxxxxxx>
- Date: Tue, 21 Aug 2007 01:20:50 -0700
On Aug 20, 11:42 pm, "S.W.Christensen" <s...@xxxxxxxxxxxxxxxx> wrote:
I have recently been peeking into sci.math and have been wondering how
its occupants stand on the foundations of mathematics. My field being
machine learning (with a background in physics), it's unsurprising
that I'm an intuitionist, but is that commonplace around here, or is
indeed any of the schools particularly prevalent? Does anyone care?
you will find many types here
i tend to be a constructivist with finitist leanings
i come from a background in domain theory
and topos-theoretic foundations of computer science
it is clear to me that information is only exchanged
in finite packages (strings or other finite structures)
so meaning can only come from the finitely definable
however
i have strong issues with the kantian position
that mathematics is a priori synthetic
and object to much of the foundations of intuitionism
instead
i have operationalist leanings
(inherited from the denotational semantics of domain theory)
and tend to agree much more with the russian school
here are some references for this type of approach
http://groups.google.com/group/sci.edu/msg/7e669ae253c61824?hl=en&;
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar
.
- References:
- A quiet query from a visitor
- From: S.W.Christensen
- A quiet query from a visitor
- Prev by Date: Re: A is dense in S
- Next by Date: Re: Another Inconvenient Truth
- Previous by thread: Re: A quiet query from a visitor
- Next by thread: Re: A quiet query from a visitor
- Index(es):
Relevant Pages
|
