13,807 reputation
41361
bio website
location
age
visits member for 1 year, 11 months
seen 4 hours ago

5h
comment Notation for the set of all arguments corresponding to local minima.
Not every function has a derivative. Anyway, why do you argue that considering only local minima does not seem very natural? If you want to know where your numerical minimization algorithm is going to get trapped, you'll want to know the arguments corresponding to local minima.
6h
revised Why is that *any* union of open sets is open but only *finitely many* intersections of open sets is open?
edited body
6h
answered Why is that *any* union of open sets is open but only *finitely many* intersections of open sets is open?
16h
comment Replacing the “if x ≤ y, then x + z ≤ y + z” axiom in Reals.
Why is this getting thumbs down? Its actually a very good question.
19h
revised Counting antichains in the limit $n \rightarrow \infty$.
deleted 5 characters in body
19h
accepted Counting antichains in the limit $n \rightarrow \infty$.
1d
revised Does such a first-order theory exist? A question pertaining to transitive models of ZFC.
edited title
1d
asked Does such a first-order theory exist? A question pertaining to transitive models of ZFC.
1d
asked Counting antichains in the limit $n \rightarrow \infty$.
1d
comment Is there a name for magmas with $[x+y]+[x'+y'] \equiv [x+x']+[y+y']$?
I am not currently in a position to start understanding Durov's thesis, but why should medial magmas be deemed generalizations of commutative rings? It seems to that, if anything, the natural generalization would be a monoid object in the monoidal category of medial magmas.
2d
answered Finite Linearly Ordered Abelian Monoids
2d
revised Notation for the set of all arguments corresponding to local minima.
deleted 7 characters in body
Aug
18
comment To show that a concretely defined group is isomorphic to an explicitly presented group, what strategies are available?
Thanks. This should be enough to get me going.
Aug
18
accepted To show that a concretely defined group is isomorphic to an explicitly presented group, what strategies are available?
Aug
18
accepted Terminology for idempotents that commute with every other idempotent
Aug
18
revised To show that a concretely defined group is isomorphic to an explicitly presented group, what strategies are available?
added 152 characters in body
Aug
18
comment To show that a concretely defined group is isomorphic to an explicitly presented group, what strategies are available?
@LeeMosher, I've included the data. Please don't solve it though. I just need a hand getting started. No, I do not know about the connections to hyperbolic geometry.
Aug
18
revised To show that a concretely defined group is isomorphic to an explicitly presented group, what strategies are available?
added 305 characters in body
Aug
18
comment Terminology for idempotents that commute with every other idempotent
Thanks, this is a nice suggestion.
Aug
18
revised Terminology for idempotents that commute with every other idempotent
added 114 characters in body; edited title