Reputation
3,657
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
8 31
Newest
 Revival
Impact
~35k people reached

Sep
7
comment Construction of an infinite number type and other ideas
@11dim I still don't know if you're asking a question, or commenting on my answer, or just trying to advertise your ideas in the comments to an answer, which is probably not the best place for them.
Aug
20
awarded  Enlightened
Aug
20
awarded  Nice Answer
Aug
18
revised Which is greater, $20 \uparrow\uparrow\uparrow\uparrow 20$ or $4 \uparrow\uparrow\uparrow\uparrow\uparrow 4$?
fixed 2.5 exponents
Aug
16
answered Which is greater, $20 \uparrow\uparrow\uparrow\uparrow 20$ or $4 \uparrow\uparrow\uparrow\uparrow\uparrow 4$?
Jul
19
comment Integration problem $\displaystyle \int \frac{dx}{x(x^3+8)}$
Can you find a zero of $x^3+8$? That can help you factor the denominator.
Jul
19
comment On which occasions will the intelligent layperson fail to recognize a mathematics problem?
There are problems with which mathematics can help, like "dividing up rent among a group of people", but given a precise phrasing of the corresponding mathematical problem, I think it would sound much more like mathematics. Would things like that count?
Jul
19
revised A question about limit 22
fixed due to differentiability condition
Jul
19
comment A question about limit 22
@BarryCipra Whoops! Well that's boring. Thanks; I'll edit.
Jul
19
answered A question about limit 22
Jul
2
awarded  Curious
May
26
answered What is the opposite of a robust system?
May
26
comment How exactly is $i=\sqrt{-1}$ related to $\mathbb{C}$ being a closed algebraic field?
It's important to note (and the links clarify this) that the Quaternions are not what you get when you have the same goal (algebraic closure) but happen to be working with matrices, but rather something reminiscent of the complex numbers you can get when you change/weaken the goal.
May
26
comment How exactly is $i=\sqrt{-1}$ related to $\mathbb{C}$ being a closed algebraic field?
@Nikos $\sqrt\pi$ is the number that you square to get $\pi$. Every positive number has a positive square root: If you believe it for rationals, just take the limit of a sequence of rational numbers whose square is not quite big enough, but whose squares tend to the number in question.
May
26
answered How exactly is $i=\sqrt{-1}$ related to $\mathbb{C}$ being a closed algebraic field?
May
26
answered Are there combinatorial games of finite order different from $1$ or $2$?
May
26
comment Are there non-zero combinatorial games of odd order?
The proof of "no (nonzero) games of odd order" is too long to fairly reproduce here. I suppose it's worth mentioning that the key result (which is not so easy to prove) is that if $G$ has finite order and birthday $n$, then $2^nG=0$.
May
25
answered Interesting sequence question
May
22
awarded  Revival
Apr
19
comment Are there 3 trig functions or are there 6 trig functions?
This appears to assume cosine is positive.