Re: which is more fundamental?
">
>> A first order language implementation of set theory is the logical
>> foundations of mathematics.
>
> A fact which doesn't stop people from studying, for example, models of
> set theory as mathematical objects.
>
Personally, I like chicken AND eggs.
.
Relevant Pages
- Re: Set Theory: Should You Believe
... foundations of mathematics called "Set Theory: ... Excellent paper, Rupert. ... modern mathematics takes on many of the ... It has its essential creed---namely Set Theory, ...
(sci.logic) - Re: Godels proof, truth, reality, self-awareness, and all that jazz
... If you think the basic notions and principles of set theory, ... alternative foundations for it, or the parts of it you consider worth ... producing interesting mathematics, alternative notions, striking break- ...
(sci.math) - Re: set-theoretic foundation of categories
... > A Formal Background to Mathematics by R E Edwards? ... axiomatic set theory is in the appendix in:Kelly,John General Topology ... it does provide insights into foundations and is first ... rate.Regards,Stuart M Newberger. ...
(sci.math) - Re: A quiet query from a visitor
... we do not have a universal language of mathematics ... we have never had a universal language of mathematics ... set-theoretic foundations and those who don't. ... presented from the start in terms of set theory (and in some ...
(sci.math) - Re: A quiet query from a visitor
... But that modern mathematics has ... Petry, Angus Rodgers. ... at the level where set theory is used by the "working ... my discomfort with the foundations - that's all. ...
(sci.math) |
|
