1,305 reputation
522
bio website about:blank
location Berlin, Germany
age 18
visits member for 2 years, 4 months
seen 4 hours ago
stats profile views 229

I'm a highschool student from Germany interested in functional programming, especially Haskell.


May
9
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
@CutieKrait We defined $\sin$ by geometrical means.
Apr
2
accepted Why is it impossible to define multiplication in Presburger arithmetic?
Apr
2
comment Why is it impossible to define multiplication in Presburger arithmetic?
Ah, I see. Thank you for this answer.
Mar
31
comment Why is it impossible to define multiplication in Presburger arithmetic?
@MJD How are these axioms?
Mar
31
comment Why is it impossible to define multiplication in Presburger arithmetic?
@MJD Presburger arithmetic is an axiomatic system. People claim that it is impossible to define multiplication within this system. Why?
Mar
30
asked Why is it impossible to define multiplication in Presburger arithmetic?
Mar
4
awarded  Good Question
Feb
23
comment How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$?
How do we know that sin x is equal to x for small values?
Jan
1
awarded  Yearling
Dec
12
awarded  Nice Question
Dec
5
awarded  Nice Answer
Oct
31
awarded  Taxonomist
Oct
23
awarded  Popular Question
Oct
18
asked Squaring modulo n — is there a systematic way to generate the fixpoints?
Sep
30
awarded  Popular Question
Sep
8
revised The inverse of the inscribed angle theorem
added 44 characters in body
Sep
8
comment The inverse of the inscribed angle theorem
I am sorry. I usually don't ignore the orientation of angles. I should've made that clear beforehand.
Sep
8
comment The inverse of the inscribed angle theorem
Nice and easy. Thank you!
Sep
8
accepted The inverse of the inscribed angle theorem
Sep
8
comment The inverse of the inscribed angle theorem
In the second case, the sign of the angle $\angle ACB$ is negative. The equation $2\angle ACB=\angle AMB$ does not holds if the signs do not match.