Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins
  • Member for 14 years, 4 months
  • Last seen this week
31 votes

What could be some potentially useful mathematical databases?

31 votes
Accepted

Definition of Function

31 votes

What are some reasonable-sounding statements that are independent of ZFC?

31 votes
Accepted

Intermediate value theorem on computable reals

31 votes

Is the Invariant Subspace Problem arithmetic?

31 votes
Accepted

Is non-existence of the hyperreals consistent with ZF?

30 votes

Are the two meanings of "undecidable" related?

30 votes
Accepted

Definable collections without definable members (in ZF)

30 votes

How to solve $f(f(x)) = \cos(x)$?

30 votes

What is your favorite "strange" function?

30 votes
Accepted

Human checkable proof of the Four Color Theorem?

30 votes

Gödel's Incompleteness Theorem and the complexity of arithmetic

30 votes

How far wrong could the Continuum Hypothesis be?

30 votes

Countable path-connected Hausdorff space

29 votes
Accepted

Why should we care about "higher infinities" outside of set theory?

29 votes
Accepted

What are the advantages of the more abstract approaches to nonstandard analysis?

29 votes

Set theoretical multiverse and truths

29 votes

Nonequivalent definitions in Mathematics

29 votes

Applications of Zorn’s lemma that aren’t chain-complete/directed-complete?

29 votes

How many orders of infinity are there?

29 votes
Accepted

V=L and a Well-Ordering of the Reals

28 votes

Strong induction without a base case

28 votes

Why is Cohen's result insufficient to settle CH?

28 votes
Accepted

Is the sum of 2 Lebesgue measurable sets measurable?

28 votes
Accepted

Why is there no Borel function mapping every countable set of reals outside itself?

28 votes
Accepted

Jonsson Boolean algebras?

28 votes
Accepted

The reals as continuous image of the irrationals

28 votes

Illustrating Edward Nelson's Worldview with Nonstandard Models of Arithmetic

28 votes

Should axiomatic set theory be translated into graph theory?

27 votes

Is it possible to make an algorithm that could predict the likelihood that a program will halt?

1
3 4
5
6 7
61