User Jason Rute

50 votes

Two (probably) equal real numbers which are not proved to be equal?

answered May 7, 2019 at 23:47

49 votes

The most outrageous (or ridiculous) conjectures in mathematics

answered Jan 18, 2017 at 3:18

24 votes

Can a group be a universal Turing machine?

answered Feb 13, 2012 at 21:04

22 votes

Are there any undecidability results that are not known to have a diagonal argument proof?

answered Sep 6, 2023 at 20:03

13 votes

Pressure to defend the relevance of one's area of mathematics

answered Apr 28, 2019 at 16:36

13 votes

Accepted

How do we express measurable spaces using type theory?

answered Jun 18, 2013 at 23:16

12 votes

Fast turn-around times

answered Feb 21, 2011 at 1:06

12 votes

Accepted

Computabillity of packing of spheres with different radii

answered Apr 28, 2019 at 16:12

10 votes

How to be updated with current advances in mathematics

answered Feb 27, 2011 at 14:18

10 votes

Proofs of Gödel's theorem

answered Mar 21, 2011 at 21:47

8 votes

why Skolemization?

answered Nov 22, 2012 at 1:50

8 votes

Accepted

Computing the complex roots of a monic polynomial

answered Sep 17, 2021 at 22:39

7 votes

Good introductory book to type theory?

answered May 8, 2019 at 0:23

7 votes

Are there two computable binary trees such that each has a branch not computing any branch through the other?

answered Feb 13, 2014 at 6:00

7 votes

Accepted

reverse mathematics strength of "Lipschitz functions are somewhere differentiable"

answered Oct 6, 2011 at 23:01

6 votes

Applications of nonconstructive mathematics

answered May 14, 2012 at 18:39

6 votes

Accepted

Quantum field theory in Solovay-land

answered Jun 27, 2011 at 23:08

6 votes

Are there natural, small, and total recursive functions that are not primitive recursive?

answered May 7, 2014 at 18:42

6 votes

Does formalizing math require search and creativity, or is it near-mechanical?

answered May 15, 2014 at 13:17

6 votes

Accepted

Formal definition of arithmetic transfinite recursion

answered Mar 25, 2015 at 17:01

6 votes

The unpublished papers in reference to the published papers

answered Jun 10, 2015 at 6:01

6 votes

Accepted

Recent trends in effective analysis

answered Jan 26, 2015 at 1:08

5 votes

Statistical distance between discrete and continuous distributions

answered Jan 25, 2015 at 14:52

5 votes

De Finetti's theorem, the pointwise ergodic theorem, and reverse martingales

answered Jul 14, 2013 at 13:27

5 votes

Accepted

Random infinite sequences

answered Jun 8, 2013 at 19:50

4 votes

Understanding the nature and structure of proofs; Reverse Mathematics and Proof Theory. Prerequisites? Good introductory texts?

answered Jan 13, 2013 at 8:26

4 votes

Continuity on a measure one set versus measure one set of points of continuity

answered Oct 27, 2013 at 15:12

4 votes

Accepted

Positive & Negative Arity

answered Feb 20, 2011 at 17:41

4 votes

Infinite mathematics as non-standard finite mathematics?

answered Mar 3, 2012 at 19:42

4 votes

What class of probability distributions do probabilistic turing machines induce?

answered Oct 30, 2015 at 4:33

Stack Exchange Network

53 Answers

Two (probably) equal real numbers which are not proved to be equal?

The most outrageous (or ridiculous) conjectures in mathematics

Can a group be a universal Turing machine?

Are there any undecidability results that are not known to have a diagonal argument proof?

Pressure to defend the relevance of one's area of mathematics

How do we express measurable spaces using type theory?

Fast turn-around times

Computabillity of packing of spheres with different radii

How to be updated with current advances in mathematics

Proofs of Gödel's theorem

why Skolemization?

Computing the complex roots of a monic polynomial

Good introductory book to type theory?

Are there two computable binary trees such that each has a branch not computing any branch through the other?

reverse mathematics strength of "Lipschitz functions are somewhere differentiable"

Applications of nonconstructive mathematics

Quantum field theory in Solovay-land

Are there natural, small, and total recursive functions that are not primitive recursive?

Does formalizing math require search and creativity, or is it near-mechanical?

Formal definition of arithmetic transfinite recursion

The unpublished papers in reference to the published papers

Recent trends in effective analysis

Statistical distance between discrete and continuous distributions

De Finetti's theorem, the pointwise ergodic theorem, and reverse martingales

Random infinite sequences

Understanding the nature and structure of proofs; Reverse Mathematics and Proof Theory. Prerequisites? Good introductory texts?

Continuity on a measure one set versus measure one set of points of continuity

Positive & Negative Arity

Infinite mathematics as non-standard finite mathematics?

What class of probability distributions do probabilistic turing machines induce?