bio | website | |
---|---|---|
location | ||
age | ||
visits | member for | 2 years, 2 months |
seen | 23 hours ago | |
stats | profile views | 365 |
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. |