Reputation
3,640
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 9 37
Newest
 Constituent
Impact
~67k people reached

Mar
12
revised Maximal Principle: Why using the new transition matrix $\tilde{P}$?
either always \tilde{p}, or never...
Mar
6
revised Is there a projective metric on a projective space induced by a p-norm?
Be more precise about what is a projective metric, and what I'm looking for...
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
Jul
10
revised Can a biased physical random source be post-processed to control the bias?
edited tags
Jun
9
revised Is there a (foundational) type theory with the features I'm looking for?
Add a reference to the place where Randall Holmes discusses TST, and to ARD Mathias' papers
Jun
3
revised How do I turn a “broken” plot into a smooth curve
propose a way to make the polynomial method more "reproducible, repeatable and programmable"
Jun
1
revised Can the divergence theorem be restricted to flat surfaces?
Talking about surfaces in the plane would be boring