MathOverflow

Nice Answer

 Nice Answer
Answer score of 10 or more. This badge can be awarded multiple times.

earned this badge 45 times.
How did the Baker-Gill-Solovay paper come to be?
Awarded Aug 24, 2021 at 6:27
Why is the Gaussian so pervasive in mathematics?
Awarded Feb 11, 2021 at 21:33
Generalising the union-closed sets conjecture from lattice to a larger class of posets
Awarded Sep 20, 2020 at 10:46
Examples of $\aleph_0$-categorical nonhomogeneous structures
Awarded Jul 16, 2020 at 14:41
Is the collection of primitive recursive functions a lower set in the poset of computable functions?
Awarded Jun 30, 2020 at 19:42
Why is weak Kőnig's lemma weaker than Kőnig's lemma?
Awarded Nov 2, 2019 at 16:40
Is min exponents of three positive integers $n$, $n+1$ and $n+2$ $=1$ true or false?
Awarded Sep 22, 2019 at 14:50
Why would one number theorems, propositions and lemmas separately?
Awarded Aug 3, 2019 at 17:20
What non-standard model of arithmetic does Hofstadter reference in GEB?
Awarded May 20, 2019 at 17:55
Is there a known Turing machine which halts if and only if the Collatz conjecture has a counterexample?
Awarded Feb 16, 2019 at 14:15
Examples of Mathematical Papers that Contain a Kind of Research Report
Awarded Nov 21, 2018 at 12:05
Probably true, but provably unprovable
Awarded Nov 20, 2018 at 18:15
Proof complexity of two directions of equivalency?
Awarded Oct 22, 2017 at 3:34
Are countable dense subspaces of $\mathbb{R}^n$ homeomorphic to ${\mathbb Q}^n$?
Awarded Sep 14, 2017 at 8:49
Usual technical term for replacing a set by the set of singletons of its members?
Awarded Jul 13, 2017 at 17:08
When the automorphism group of an object determines the object
Awarded Jan 24, 2017 at 7:29
In what sense is GCD an extension of boolean OR?
Awarded Dec 6, 2016 at 16:28
Why do we need random variables?
Awarded Sep 25, 2016 at 15:01
Why is this new result such a big deal?
Awarded May 27, 2016 at 12:28
Languages beyond enumerable
Awarded Apr 21, 2016 at 8:45
Intuition of law of iterated logarithm?
Awarded Jan 12, 2016 at 14:16
The use of the word "model" in Mathematical Logic vs the same word in Natural Sciences
Awarded Dec 21, 2015 at 15:10
Can a stochastic Turing machine output a consistent extension of PA with positive probability?
Awarded Nov 21, 2015 at 23:33
How many Complexity Classes do you know?
Awarded Nov 5, 2015 at 0:23
History of powers beyond squares and cubes
Awarded Sep 26, 2015 at 9:23
What is the reverse mathematical strength of the fundamental theorem of algebra?
Awarded Jun 30, 2015 at 7:33
Calculate in closed form $\int_0^1 \int_0^1 \frac{dx\,dy}{1-xy(1-x)(1-y)}$
Awarded Jun 9, 2015 at 6:17
On sentences true in all finite groups
Awarded May 25, 2015 at 1:24
Three-halves-free words (analogous to square-free)
Awarded Apr 9, 2015 at 14:16
Can any finite lattice be realized as an intermediate subgroups lattice?
Awarded Feb 11, 2015 at 21:44
If all balls at $x$ and $y$ are isometric is there an isometry sending $x$ to $y$?
Awarded Oct 6, 2014 at 17:59
Lebesgue measure of a set of irrational numbers
Awarded Jul 18, 2014 at 8:44
For which Millennium Problems does undecidable -> true?
Awarded Apr 12, 2014 at 6:15
Is every non-recursive set in $\Sigma_1$ complete in $\Sigma_1$ (relatively to many-to-one reductions)?
Awarded Mar 25, 2014 at 4:24
Interesting meta-meta-mathematical theorems?
Awarded Mar 10, 2014 at 0:56
A translation of the Cantor set contained in the irrationals
Awarded Feb 27, 2014 at 3:34
Is Turing degree actually useful in real life?
Awarded Feb 15, 2014 at 0:17
Can We Decide Whether Small Computer Programs Halt?
Awarded Dec 31, 2013 at 3:24
(post deleted or otherwise unavailable)
Awarded Dec 31, 2011 at 23:50
Example of a function that behaves like another function
Awarded Oct 5, 2011 at 17:35
Question arising from Voevodsky's talk on inconsistency
Awarded Mar 22, 2011 at 18:20
Suggestions for good notation
Awarded Dec 21, 2010 at 17:20
Is there a measure zero set which isn't meagre?
Awarded Nov 2, 2010 at 1:05
Still Difficult After All These Years
Awarded Oct 25, 2010 at 7:20
A set for which it is hard to determine whether or not it is countable.
Awarded Oct 6, 2010 at 2:05

Others with this badge