21

Answers
votes newest views recent
46
What are some reasonable-sounding statements that are independent of ZFC? (2)
39
Do good math jokes exist?
22
Is no proof based on “tertium non datur” sufficient any more after Gödel?
22
Can a vector space over an infinite field be a finite union of proper subspaces?
16
Does finite math need the Axiom of Infinity?
12
Math puzzles for dinner
10
Is there a formula phi s.t. phi and not-phi have a stronger consistency?
8
Applications of the Chinese remainder theorem
6
Omega_1 Categorical Theory
6
How can I force the continuum to be weakly compact?
6
Independence from Set Theory Axioms
5
Fundamental Examples
5
What do models where the CH is false look like?
5
Prime Number Theorem w/o Complex Analysis
4
When can we prove constructively that a ring with unity has a maximal ideal?
4
Where does the game-theoretic characterization of PH come from?
3
More open problems
3
Is the existence of a well-ordering on R independent of ZF?
3
Is the “diagonal” of a regular language always context-free?
3
Is the long line paracompact?
1
Is there a non self-referencing non-computable function?