Reputation
3,908
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 10 40
Impact
~87k people reached

Jan
25
revised Bound on the size of Permutation Set for Isomorphism
question has been modified, wrote an extended comment on my attempts to help Jim!
Dec
15
revised What does it mean if a free algebra has an unsolvable word problem?
added links to definitions and the "terminology" tag
Dec
7
revised Zero divided by zero must be equal to zero
corrected typo, and added more context and applications to the answer
Dec
5
revised Zero divided by zero must be equal to zero
wrote down one symbolic expression for a/b+c/d, just to show that one can still compute
Jun
17
revised Are Horn clauses always universally quantified?
Horn structure <-> closure under product. Universal Horn structure -> closure under composition
Mar
12
revised Maximal Principle: Why using the new transition matrix $\tilde{P}$?
either always \tilde{p}, or never...
Feb
16
revised Is the 3d Schwartz space isomorphic to a subspace of the 1d Schwartz space?
Clarified the isomorphism means isomorphism of topological vector spaces, and added information I found in the meantime
Nov
12
revised Which associative and commutative operations are defined for any commutative ring?
Added an appendix with a more intuitive explanation/description of the found operations
Nov
2
revised Which associative and commutative operations are defined for any commutative ring?
Now M.B. explained to me why the "if x is unit then f(x) else g(x)" construct is not natural...
Nov
1
revised Which associative and commutative operations are defined for any commutative ring?
edited body
Nov
1
revised Which associative and commutative operations are defined for any commutative ring?
fixed sign mistake and updated question with information from the comments
Oct
6
revised Are higher order logics substantially stronger than second order
Oh, I forgot that I wanted to say something about the last word property
Oct
5
revised Is multiplication in mixed radix numeral systems complicated?
edited tags
Aug
17
revised Why learn to solve differential equations when computers can do it?
fixed links
Aug
15
revised Which natural number predicates can be defined in Robinson arithmetic?
edited body
Jul
18
revised Can a biased physical random source be post-processed to control the bias?
OK, now I see my mistake in the description of the method
Jul
17
revised Can a biased physical random source be post-processed to control the bias?
Thought a bit about how this problem can be pragmatically addressed, and modified question accordingly
Jul
12
revised Which natural number predicates can be defined in Robinson arithmetic?
Now I understood the point which Asaf and Peter raised...
Jul
12
revised Which natural number predicates can be defined in Robinson arithmetic?
Added the requested clarification
Jul
10
revised Can a biased physical random source be post-processed to control the bias?
edited tags