3,073 reputation
1734
bio website arsmathematica.net
location
age
visits member for 5 years, 3 months
seen 8 hours ago

Mar
29
answered number theory which is close to analysis
Mar
24
answered Nested convex optimization
Mar
24
comment Why Jacobson, but not the left (right) maximals individually?
I find it hard to believe that more isn't known about this, given how heavily studied these algebras are. Maybe try Math Reviews?
Mar
24
awarded  Custodian
Mar
24
reviewed Leave Open Lagrangian submanifold of a Calabi-Yau manifold
Mar
22
asked Goldie's Theorem for Semigroups
Mar
16
awarded  Nice Answer
Mar
13
comment Brandt's definition of groupoids (1926)
The paper couldn't be completely forgotten, because it must be the source of the term. It would be interesting to trace the history of how the term was introduced to category theory. Maybe via Ehresmann?
Mar
10
awarded  Nice Question
Mar
10
comment Philosophical arguments in defense (or against) large cardinals
I talked about a philosophical argument in favor of some large cardinals in this question: mathoverflow.net/questions/45448/aleph-0-as-a-large-cardinal
Feb
21
comment Are there any interesting open questions having to do with submodularity, specially in the intersection of theoretical machine learning?
I'm skeptical that the class of open questions in applications of submodularity to theoretical machine learning can be characterized as "broad", even if there are several answers.
Feb
10
comment Counterexamples in universal algebra
@BenjaminSteinberg Thanks! That's fascinating reading.
Feb
9
comment Mazur secret Bourbaki report “Analyse p-adique”
There's a reason why the works of H. P. Lovecraft are filled with allusions to the Necronomicon, the De Vermis Mysteriis of Ludvig Prinn, Friedrich von Junzt's Unaussprechlichen Kulten, and Mazur's Analyse p-adique.
Feb
9
comment Counterexamples in universal algebra
@BenjaminSteinberg That sounds interesting. Do you know a reference for the connection?
Feb
7
comment What do you do if you believe a problem is undecidable?
The Koethe conjecture is a conjecture in ordinary mathematics, so the relevant set of axioms is ZFC.
Feb
4
awarded  Favorite Question
Feb
1
awarded  Yearling
Feb
1
comment Surveys of the items of Erdős' “toolbox”
I think not only is this question fine, but that the original version of the question is better. A prominent mathematician makes a provocative claim about another prominent mathematician's mathematical work. As long as this claim isn't actually libelous, then it's obviously on-topic for MathOverflow. Who else would know the answer, other than research mathematicians? Now Rota is well-known for his dramatic style, but they don't put a disclaimer on the cover of his book, and they don't warn you in intro grad classes, so many people who read that quote are going have the same question.
Jan
28
answered Monte Carlo integration of Gaussian integrals
Jan
28
comment Monte Carlo integration of Gaussian integrals
Have you tried using a solver to find the maximum?