625 reputation
520
bio website
location
age
visits member for 3 years, 4 months
seen yesterday

Yet another amateur wondering about mathematics.

My main interests lay in subrecursive hierarchies and computability theory.


Jul
10
comment Irrationality measure of the Chaitin's constant $\Omega$
I don't understand where the fact that $\beta > 2$ is actually used to derive a contradiction. Wouldn't proof stay intact if we assumed $\beta$ in $(n,\alpha)$, $\alpha > n$ and $n\in\mathbb{N}$?
Jul
2
awarded  Curious
Apr
30
reviewed No Action Needed Understanding why $f*\overline{f}$ is homotopic to $e_{x_0}$
Apr
30
reviewed No Action Needed Continuous function with linear directional derivatives=>Total differentiability?
Apr
28
comment How to represent an algebraic number in algorithm
@orion Ok, I see it now. Thank you for the clarification.
Apr
28
comment How to represent an algebraic number in algorithm
@orion Could you clarify what you mean with "closed form"?
Apr
28
comment How to represent an algebraic number in algorithm
@MarcinŁoś I checked Wikipedia and found minimal polynomials, and I agree that they might be problematic to work with. But if there is no other way, I guess I have to reconsider them.
Apr
28
asked How to represent an algebraic number in algorithm
Apr
26
reviewed No Action Needed Prove two numbers of a set will evenly divide the other
Mar
21
awarded  Yearling
Mar
3
revised Formula for $\sum_{k=1}^n k\binom nk^2$.
texified / improved formatting
Mar
3
revised I'm lost on formally on how to prove
changed complement symbol
Mar
3
suggested suggested edit on Formula for $\sum_{k=1}^n k\binom nk^2$.
Mar
3
suggested suggested edit on I'm lost on formally on how to prove
Feb
27
reviewed No Action Needed Triangle Inequality for matrix norm
Feb
27
awarded  Cleanup
Feb
27
revised Goodstein's theorem without transfinite induction
rolled back to a previous revision
Dec
14
revised Of any 52 integers, two can be found whose difference of squares is divisible by 100
texified / improved formatting
Dec
14
reviewed Reviewed Of any 52 integers, two can be found whose difference of squares is divisible by 100
Dec
14
suggested suggested edit on Of any 52 integers, two can be found whose difference of squares is divisible by 100