528 reputation
417
bio website
location
age
visits member for 2 years, 3 months
seen 3 mins ago

Sep
30
comment What is the most useful non-existing object of your field?
This is sometimes called the Russell set, or Russell class. Its so dangerous, even NFU blocks it.
Aug
30
awarded  Yearling
Jul
28
accepted What do we call functions that behave like predicate symbols?
Jul
16
accepted Which algebraic theories have the property that $\mid$ is antisymmetric for all free algebras?
Jul
14
comment Which algebraic theories have the property that $\mid$ is antisymmetric for all free algebras?
@BenjaminSteinberg, yes; it seems I misunderstood you.
Jul
14
awarded  Notable Question
Jul
14
comment Which algebraic theories have the property that $\mid$ is antisymmetric for all free algebras?
@BenjaminSteinberg, or rather, for free monoids / semigroups etc. Some monoids happen to be groups, after all.
Jul
13
asked Which algebraic theories have the property that $\mid$ is antisymmetric for all free algebras?
Jul
13
accepted Is anyone talking about partial interpretations of theories? (Edited)
Jul
12
awarded  Good Question
Jul
12
comment What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?
@AndrejBauer, I actually do write that way in private: my notebooks are filled with sentences like "consider a function $f : Y \leftarrow X$ such that..." My only issue with this otherwise wonderful solution is that lambda-abstraction ends up going "on the wrong side." So we end up saying: let $f : Y \leftarrow X$ denote the function $\lambda x(\tau)$ where $\tau$ is a well-formed term of type $Y$. I still think its the best solution, though.
Jul
12
comment What are the most misleading alternate definitions in taught mathematics?
Joseph what you're saying sounds interesting. Any idea where I can learn more about the approach that emphasizes closure-operators?
Jul
12
comment What are the most misleading alternate definitions in taught mathematics?
@MichaelGreinecker, irrespective of its mathematical correctness, the second definition is the right way of motivating the whole thing. We mathematicians need to stop trying to present everything perfect the first-time around. Give the reader a working definition, discuss its problems, and use that to motivate the "proper" definition. That is how you engage the reader.
Jul
12
awarded  Popular Question
Jul
11
comment What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?
@AndrejBauer, what notation are you referring to?
Jul
11
comment What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?
Any thoughts as to what factors may have contributed to Bob Soare's success in this venture?
Jul
11
awarded  Nice Question
Jul
11
revised What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?
added 8 characters in body
Jul
11
asked What recent programmes to alter highly-entrenched mathematical terminology have succeeded, and under what conditions do they tend to succeed or fail?
Jul
11
comment A category of partially-ordered commutative semirings; name/notation?
@AndreasBlass, thank you.