User Ron Maimon

40 votes

What are some proofs of Godel's Theorem which are essentially different from the original proof?

answered Aug 5, 2011 at 6:09

18 votes

What are some mathematical concepts that were (pretty much) created from scratch and do not owe a debt to previous work?

answered Jul 30, 2011 at 23:17

16 votes

Does the fact that this vector space is not isomorphic to its double-dual require choice?

answered Jun 6, 2011 at 8:32

15 votes

Most 'unintuitive' application of the Axiom of Choice?

answered Jul 14, 2011 at 15:46

15 votes

Accepted

How is the Ising model an example of a lattice model as per Kontsevich?

answered May 5, 2011 at 8:51

12 votes

Colloquial catchy statements encoding serious mathematics

answered May 9, 2011 at 4:45

10 votes

Proofs without words

answered Aug 16, 2011 at 6:45

5 votes

Questions regarding "second and higher-order-undecidability"

answered Aug 1, 2011 at 21:22

4 votes

Interesting Calculus Questions/Exercises

answered Aug 8, 2011 at 22:25

4 votes

Intersection Probabilities for Random Walk in d>2

answered May 9, 2011 at 5:17

3 votes

Most 'unintuitive' application of the Axiom of Choice?

answered Jul 16, 2011 at 14:09

2 votes

Continuous Measurement in Quantum Mechanics

answered Aug 1, 2011 at 18:58

2 votes

Awfully sophisticated proof for simple facts

answered Dec 30, 2012 at 2:09

1 vote

Improved versions of discontinuous functions

answered May 6, 2011 at 5:29

0 votes

Theorems that are 'obvious' but hard to prove

answered Aug 27, 2011 at 10:35

Stack Exchange Network

15 Answers

What are some proofs of Godel's Theorem which are essentially different from the original proof?

What are some mathematical concepts that were (pretty much) created from scratch and do not owe a debt to previous work?

Does the fact that this vector space is not isomorphic to its double-dual require choice?

Most 'unintuitive' application of the Axiom of Choice?

How is the Ising model an example of a lattice model as per Kontsevich?

Colloquial catchy statements encoding serious mathematics

Proofs without words

Questions regarding "second and higher-order-undecidability"

Interesting Calculus Questions/Exercises

Intersection Probabilities for Random Walk in d>2

Most 'unintuitive' application of the Axiom of Choice?

Continuous Measurement in Quantum Mechanics

Awfully sophisticated proof for simple facts

Improved versions of discontinuous functions

Theorems that are 'obvious' but hard to prove