Questions tagged [set-theory]
For questions about the mathematical branch that is based on the study of sets, i.e. collections of objects.
12
questions with no upvoted or accepted answers
13
votes
0
answers
370
views
Did Kronecker say that set theory is not mathematics?
I have frequently come across Kronecker's statement about set theory:
I don't know what predominates in Cantor's theory - philosophy or theology, but I am sure that there is no mathematics there.
It ...
5
votes
0
answers
425
views
Why is ZFC used more widely than NBG?
In studying the solutions proposed for Russell's Paradox on naive set theory (mainly the corresponding entry in the Stanford Encyclopedia of Philosophy) I came across the following considerations:
von ...
4
votes
0
answers
122
views
What role has Whitehead's Conjecture played in the thinking on the plurality of set theories?
I am curious about the history of the Whitehead's Conjecture, as this was the first natural mathematical statement, in the sense that mathematicians were actually interested in the answer, that was ...
4
votes
0
answers
85
views
Kreisel on "set" as a coherent idea
In his paper Two notes on the foundations of set-theory, Kreisel begins:
Recall that, naively, sets present themselves in a number of distinct contexts. [...] One may therefore doubt whether any ...
4
votes
0
answers
215
views
What was Zermelo's _reception_ of von Neumann's definition of ordinal numbers?
Redactional note
Like suggested by one of this question's (or so I understand the meta.discussion), this question should be given some too-many-subquestions-redacting, in particular since the easiest ...
3
votes
0
answers
150
views
Translations of "Sur le théorème de Zorn"?
Are there any translations of the following into English, German, or Russian?
Nicolas Bourbaki, Sur le théorème de Zorn, Archiv der Mathematik, Volume 2, pages 434–437, November 1949.
Any help is ...
2
votes
0
answers
100
views
Where can I find the actual first order formulation of ZFC Axioms?
I'm currently writing my thesis about ZFC origins, and I need a source from where to know who gives the actual first order formulation of ZFC. I got to the point where Bernays writes about it and ...
2
votes
0
answers
223
views
Set Theory, onto and into their relation to spoken language definitions
Does anyone know how the definitions for onto and into map to the spoken language definitions of the words? I compared the Bourbaki definitions to these words and have a suspicion that the German ...
1
vote
0
answers
71
views
The definition of 'countable' and 'finite' set
I have an equivalent definition of finite and countable sets that seems 'less' based on set theory than the usual definitions. I am wondering if anyone has encountered these definitions anywhere, esp....
1
vote
0
answers
85
views
where does trace $\sigma$-algebra come from
I came across the term trace $\sigma$-algebra in the context of conditional probability. Does anyone know where it comes from? i found a reference to trace of a matrix here: https://mathshistory.st-...
0
votes
0
answers
330
views
Has Cantor's irregular enumeration of rationals ever been discussed?
Enumeration of all positive fractions recently has gained renewed interest (see the list below).
By translation invariance we can be sure that in all intervals (n, n+1] of the real axis, there are the ...
-2
votes
1
answer
220
views
Endorsers of the method of well-ordering reported by Hausdorff?
In the course of preparing a lecture for graduate students about errors of early set theory I have come across this nice example reported by Hausdorff which violates Peano's successor axiom but ...