Reputation
7,401
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 35
Impact
~70k people reached

Feb
1
asked References on a game with white and black stones
Feb
1
comment Abstract machines that compute primitive recursive functions
@user1667423 you can always enumerate the variables in order of appearance... $a_1,a_2,a_3....$
Feb
1
asked Borel lemma : wikipedia proof
Jan
29
comment Abstract machines that compute primitive recursive functions
@user1667423 newlines, spaces and tabulation are irrelevant in this language.
Jan
28
comment Abstract machines that compute primitive recursive functions
@user1667423 Just consider the output 0 as false and any positive integer as true in this model.
Jan
25
comment Proof that the minimal inductive set does not contain any more elements than $\{\emptyset, s(\emptyset), s(s(\emptyset)),s(s(s(\emptyset))),…\}$?
You can't define $E=\{s^n(\emptyset)\;|\;n\in E\}$, as you need $E$ to define $E$....
Jan
20
answered Why $a^{2}+b^{2}\neq c^{2}$ when $a=b=c=1$ doesn't violate Pythagoras' Theorem?
Jan
20
comment Integers represented by $x^2 + 3 y^2$ vs. integers represented by $x^2 + x y + y^2$.
@ThomasAndrews Thanks, this should be fixed now !
Jan
20
revised Integers represented by $x^2 + 3 y^2$ vs. integers represented by $x^2 + x y + y^2$.
edited body
Jan
20
answered Integers represented by $x^2 + 3 y^2$ vs. integers represented by $x^2 + x y + y^2$.
Jan
19
answered Substituting functions into other functions in computability, need help with Cutland
Jan
17
reviewed Approve The Galois Field for the polynomial $x^3 - 2$.
Jan
16
comment The equation $-1 = x^2 + y^2$ in finite fields
In $\mathbb F_{2^n}$, you get $y=x+1$
Jan
9
awarded  Popular Question
Jan
3
comment Who will win the game?
The question changed. This answer supposed that you can take any number from each or both bags. Now it was changed, so this answer is no more ok. But I keep it, because I'm not sure what the OP really want.
Jan
3
revised Who will win the game?
added 96 characters in body
Jan
3
answered Who will win the game?
Jan
3
answered How to define $f(x) = 2x$ as a recursive and lamba function?
Dec
22
answered Exotic Geometries
Dec
22
revised Prove $A(x,y)= 2[x](y+3)-3$. Where A is the Ackermann-Peter function and [x] is x-th hyperoperator.
added 66 characters in body