Skip to main content
MathOverflow

Announcer

 Announcer
Share a link to a post later visited by 25 unique IP addresses. This badge can be awarded multiple times.
Awarded 2889 times.
Completing half of Hilbert's program: Foundations that are conservative over Peano Arithmetic
Awarded 3 hours ago
Ways to prove the fundamental theorem of algebra
Awarded Jul 17 at 19:10
If we know the combinatorics of a polyhedron, and all but one of its dihedral angles, does that uniquely determine the remaining dihedral angle?
Awarded Jul 16 at 4:57
Finite verification for theorems due to Busy Beaver numbers
Awarded Jul 13 at 19:36
Is there a minimal (least?) countably saturated real-closed field?
Awarded Jul 12 at 7:40
Does Physics need non-analytic smooth functions?
Awarded Jul 12 at 4:57
Uniform sampling of random connected graph with given number of vertices/edges
Awarded Jul 10 at 5:27
Can four integer numbers $x$, $y$, $x-y$, $x+y$ be powerful numbers where $\gcd(x,y)=1$?
Awarded Jul 9 at 8:40
Does the exponential function have a (compositional) square root?
Awarded Jul 9 at 6:26
How and when do I learn so much mathematics?
Awarded Jul 8 at 22:26
Number of linear orders
Awarded Jul 8 at 0:56
Drawing of the eight Thurston geometries?
Awarded Jul 7 at 12:13
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
Awarded Jul 6 at 16:17
Unbounded operator bounded in a dense subset
Awarded Jul 6 at 16:17
What is the dimension of $M/G$ if it is a manifold and $G$ acts freely and smoothly?
Awarded Jul 5 at 13:28
Coend computation
Awarded Jul 5 at 11:38
Value of "of course" in the mathematical literature
Awarded Jul 5 at 1:33
Is it possible to partition $\mathbb R^3$ into unit circles?
Awarded Jul 4 at 13:42
Is there an infinite subset of $\Bbb{R}$ not homeomorphic to any of its proper subsets?
Awarded Jul 4 at 0:21
Which part(s) of this proof of Goodstein's Theorem are not expressible in Peano arithmetic?
Awarded Jul 3 at 1:30
If d/dx is an operator, on what does it operate?
Awarded Jul 2 at 16:33
Structure of the adjoint representation of a (finite) group (Hopf algebra) ?
Awarded Jul 1 at 10:55
Can the continuum be a singular cardinal?
Awarded Jun 30 at 17:05
Checking elementary proofs with proof checkers
Awarded Jun 29 at 2:20
Important open problems that have already been reduced to a finite but infeasible amount of computation
Awarded Jun 28 at 20:27
Is it consistent with ZFC that the real line is approachable by sets with no accumulation points?
Awarded Jun 27 at 16:37
Proof/Reference to a claim about AC and definable real numbers
Awarded Jun 25 at 18:07
Are there substantive differences between the different approaches to "size issues" in category theory?
Awarded Jun 24 at 21:49
A strange variant of the Gaussian log-Sobolev inequality
Awarded Jun 24 at 18:36
Closed sets versus closed sublocales in general topology in constructive math
Awarded Jun 24 at 13:17
Bilinear forms on abelian $p$-groups: Images of weak metabolizers in the Frattini quotient
Awarded Jun 24 at 8:17
Which are the hereditarily computably enumerable sets?
Awarded Jun 22 at 15:51
Weak concentration bounds for averages of independent random variables in Orlicz spaces
Awarded Jun 22 at 5:07
Coend computation
Awarded Jun 21 at 9:41
Caramello's theory: applications
Awarded Jun 17 at 16:20
What do we know about the computable surreal numbers?
Awarded Jun 15 at 17:56
What do we know about the computable surreal numbers?
Awarded Jun 14 at 18:06
What do we know about the computable surreal numbers?
Awarded Jun 14 at 0:51
Computation time of Smith normal form in Maple
Awarded Jun 13 at 18:20
What are the worst notations, in your opinion?
Awarded Jun 12 at 11:57
Enriched locally presentable categories
Awarded Jun 9 at 8:11
Is there a high-concept explanation of the dual Steenrod algebra as the automorphism group scheme of the formal additive group?
Awarded Jun 8 at 10:33
Do we still need model categories?
Awarded Jun 7 at 15:46
Is every (finite-dimensional, complex) representation of a finite group defined over the algebraic integers?
Awarded Jun 6 at 4:25
Does pseudo-holomorphic *submanifolds* satisfy unique continuation?
Awarded Jun 4 at 20:52
Is there any correspondence between Gödel and Kreisel that supports Kreisel's observation that Gödel changed his mind about his 1938 set theory note?
Awarded Jun 3 at 18:40
Condition to guarantee that an inhabited and bounded set of reals has a supremum
Awarded May 31 at 16:46
Does every set of reals contain a measure-zero set of the same cardinality? Does it contain a meager set of the same cardinality?
Awarded May 29 at 4:15
Czelakowski's claimed proof of the Twin Prime Conjecture
Awarded May 28 at 23:41
What is known about the theory of natural numbers with only 0, successor and max?
Awarded May 28 at 14:17
Mathematical "urban legends"
Awarded May 27 at 14:31
How should the Math Subject Classification (MSC) be revised or improved?
Awarded May 26 at 17:32
Examples of common false beliefs in mathematics
Awarded May 26 at 13:16
Totally ramified subextension in a finite extension of $\mathbf{Q}_p$
Awarded May 24 at 11:11
Estimating shortest paths in planar drawings of graphs
Awarded May 21 at 15:03
Convergence of $\sum(n^3\sin^2n)^{-1}$
Awarded May 18 at 21:46
Cohesion relative to a pyknotic/condensed base
Awarded May 17 at 6:27
Ordinal realizability vs the constructible universe
Awarded May 16 at 18:12
Ordinal realizability vs the constructible universe
Awarded May 16 at 8:47
Possible research topics for a beginner in Topological QFT?
Awarded May 14 at 20:00
1
2 3 4 5
…
49