5,150 reputation
1934
bio website mpi-sws.org
location Kaiserslautern, Germany
age 33
visits member for 2 years, 8 months
seen 3 hours ago

PhD student at MPI-SWS.


Sep
30
awarded  Explainer
Sep
25
awarded  Nice Answer
Sep
13
comment What is a polynomially bounded function?
Your argument would be correct if, say, $2^x-1$ was actually a polynomial. But by definition, a polynomial is of the form $a_n x^n + a^{n-1} x^{n-1} + \cdots + a_0$ for some parameters $a_0, \ldots, a_n$, and $2^x-1$ is not of this form.
Sep
13
revised What is a polynomially bounded function?
Not particularly computer science-related, texified
Sep
2
reviewed Approve suggested edit on spectral-graph-theory tag wiki excerpt
Aug
2
reviewed Approve suggested edit on Finding the volume of $(x-4)^2+y^2 \leqslant 4$
Aug
2
reviewed Reject suggested edit on Finitely generated ideal in Boolean ring; how do we motivate the generator?
Jul
6
comment Help with function proof
Indeed, my bad. Ignore my previous comment.
Jul
6
comment Help with function proof
@CameronWilliams: If you prefer, write $\mathbb{N}_0$. My natural numbers start at 0.
Jul
6
comment Help with function proof
To everybody trying to show a proof: Please make sure that what you want to prove is actually correct. In particular, consider $A = B = \mathbb{N}$, $f(x) = 0$, $Y = 2\mathbb{N}$ (the set of even numbers).
Jul
6
comment Who named “Quotient groups”?
Skimming the paper, Hölder uses the term "Faktorgruppe" (factor group), and refers to an expression "factor of composition" that he attributes to Jordan.
Jun
13
reviewed Close Maximum principle in PDE
May
31
comment How to extend an existing orthogonal set of vectors?
Would guessing a linearly independent vector and then taking the orthogonal part work? You can make a vector orthogonal to a given set of vectors using methods similar to Gram-Schmidt...
May
25
comment Proof that whether some arbitrary Turing machine on some input outputs $5$ is undecidable
Your proof is entirely correct.
Apr
26
reviewed Reject suggested edit on Uniform convergence of $\sum_{k=1}^\infty \frac{1}{k^{1+x}}$
Apr
21
reviewed Approve suggested edit on Estimating the integrated Tchebychev function and calculating its error
Apr
20
reviewed Approve suggested edit on Find last n for which 2^n has a 0.
Apr
11
reviewed Edit suggested edit on If $2$ divides a number $a$, does $2^n$ divide $a$ ? $n$ is any integar
Apr
11
revised If $2$ divides a number $a$, does $2^n$ divide $a$ ? $n$ is any integar
improved formatting and some grammar fixes
Apr
6
reviewed Approve suggested edit on Confidence interval for n=1, unknown standard deviation