5,042 reputation
1932
bio website mpi-sws.org
location Kaiserslautern, Germany
age 32
visits member for 2 years, 4 months
seen 10 hours ago

PhD student at MPI-SWS.


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
Apr
2
reviewed Edit suggested edit on How can a piece of A4 paper be folded in exactly three equal parts?
Apr
2
revised How can a piece of A4 paper be folded in exactly three equal parts?
Added photo explanation.
Mar
31
reviewed Approve suggested edit on What is a hypersurface ring and why is it Gorenstein?
Mar
30
reviewed Approve suggested edit on Geometric reducedness (integral) versus reducedness (integral)
Mar
30
reviewed Approve suggested edit on Why would you expand a square wave in a Fourier series?
Mar
26
reviewed Approve suggested edit on Invertible matrices and row equivalence
Mar
25
reviewed Approve suggested edit on About the definition of fixed-point combinators