User Joel David Hamkins

69 votes

Proofs of the uncountability of the reals

answered Nov 22, 2010 at 18:27

68 votes

Accepted

Capitalization of theorem names

answered Jun 10, 2010 at 13:58

67 votes

Knuth's intuition that Goldbach might be unprovable

answered Jun 11, 2010 at 2:05

67 votes

How has "what every mathematician should know" changed?

answered Mar 25, 2010 at 23:36

66 votes

Clearing misconceptions: Defining "is a model of ZFC" in ZFC

answered Jan 11, 2011 at 20:51

65 votes

Accepted

A game on integers

answered Apr 8, 2018 at 2:37

62 votes

Accepted

Zorn's lemma: old friend or historical relic?

answered Dec 11, 2022 at 18:30

61 votes

Naming in math: from red herrings to very long names

answered Aug 15, 2018 at 15:43

61 votes

Accepted

If I exchange infinitely many digits of $\pi$ and $e$, are the two resulting numbers transcendental?

answered Mar 23, 2017 at 1:13

60 votes

Accepted

How do you select an interesting and reasonable problem for a student?

answered Apr 28, 2010 at 12:37

58 votes

Accepted

Does knight behave like a king in his infinite odyssey?

answered Mar 30, 2018 at 0:37

56 votes

How helpful is non-standard analysis?

answered Feb 25, 2010 at 2:37

56 votes

Accepted

Can a group be a universal Turing machine?

answered Feb 13, 2012 at 21:03

54 votes

Accepted

What interesting/nontrivial results in Algebraic geometry require the existence of universes?

answered Jun 21, 2010 at 4:25

52 votes

What are the most attractive Turing undecidable problems in mathematics?

answered Jan 12, 2010 at 15:33

52 votes

Checkmate in $\omega$ moves?

answered Feb 19, 2013 at 1:52

51 votes

Finite verification for theorems due to Busy Beaver numbers

answered Jul 13 at 18:38

50 votes

Does anyone still seriously doubt the consistency of $ZFC$?

answered Dec 24, 2022 at 20:48

50 votes

Accepted

If d/dx is an operator, on what does it operate?

answered Dec 6, 2012 at 6:58

50 votes

Accepted

A “mother of all groups”? What kind of structures have "mother of all"s?

answered Apr 1, 2013 at 11:39

49 votes

Accepted

Solving NP problems in (usually) Polynomial time?

answered Jan 1, 2010 at 15:42

48 votes

What are some results in mathematics that have snappy proofs using model theory?

answered Dec 24, 2009 at 15:31

48 votes

Accepted

What is the general opinion on the Generalized Continuum Hypothesis?

answered Feb 6, 2010 at 3:05

48 votes

Awfully sophisticated proof for simple facts

answered Oct 18, 2010 at 23:16

48 votes

Contemporary philosophy of mathematics

answered Apr 26, 2018 at 1:47

48 votes

Accepted

Mathematicians wearing hats on arbitrary total orders

answered Mar 31, 2015 at 1:49

47 votes

Is there a database for tracking the dependencies of mathematical theorems?

answered Sep 8, 2016 at 22:51

46 votes

Theorems true but wrong.

answered Oct 5, 2010 at 1:17

46 votes

What are the most attractive Turing undecidable problems in mathematics?

answered Jan 13, 2010 at 13:15

45 votes

Accepted

Measurability and Axiom of choice

answered Jul 14, 2015 at 12:19

Stack Exchange Network

1,913 Answers

Proofs of the uncountability of the reals

Capitalization of theorem names

Knuth's intuition that Goldbach might be unprovable

How has "what every mathematician should know" changed?

Clearing misconceptions: Defining "is a model of ZFC" in ZFC

A game on integers

Zorn's lemma: old friend or historical relic?

Naming in math: from red herrings to very long names

If I exchange infinitely many digits of $\pi$ and $e$, are the two resulting numbers transcendental?

How do you select an interesting and reasonable problem for a student?

Does knight behave like a king in his infinite odyssey?

How helpful is non-standard analysis?

Can a group be a universal Turing machine?

What interesting/nontrivial results in Algebraic geometry require the existence of universes?

What are the most attractive Turing undecidable problems in mathematics?

Checkmate in $\omega$ moves?

Finite verification for theorems due to Busy Beaver numbers

Does anyone still seriously doubt the consistency of $ZFC$?

If d/dx is an operator, on what does it operate?

A “mother of all groups”? What kind of structures have "mother of all"s?

Solving NP problems in (usually) Polynomial time?

What are some results in mathematics that have snappy proofs using model theory?

What is the general opinion on the Generalized Continuum Hypothesis?

Awfully sophisticated proof for simple facts

Contemporary philosophy of mathematics

Mathematicians wearing hats on arbitrary total orders

Is there a database for tracking the dependencies of mathematical theorems?

Theorems true but wrong.

What are the most attractive Turing undecidable problems in mathematics?

Measurability and Axiom of choice