3,196 reputation
1833
bio website jakitoimgeisterhaus.blogspot.…
location Munich, Germany
age 38
visits member for 3 years, 1 month
seen 2 hours ago

My past research interests included differential algebraic equations, nonlinear analysis and relations between symmetries and structural properties.

I recently investigated hierarchical structures, starting from group cohomology, continuing with semi-group theory and ending with lattices and universal algebra.


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
May
19
revised Difference between bound and free variable
tried to incorporate comments by Mauro ALLEGRANZE
May
17
revised Non-i.i.d Empirical Risk Minimization
Mentioning only rejection sampling, but not also the composition method is not good...
May
12
revised A consistent first-order theory whose impredicative second-order variant is inconsistent
Fixed the question, to really ask the intended question. Also incorporated clarification into the question.
May
12
revised A consistent first-order theory whose impredicative second-order variant is inconsistent
edited tags
May
2
revised What is so amazing about having least upper bound (and dually, the greatest lower bound)?
Tried to nail down what it is about lattice theory that feels wrong to me.
May
1
revised What is so amazing about having least upper bound (and dually, the greatest lower bound)?
added parentheses to the section about bipartite graphs and Dulmage-Mendelsohn
May
1
revised What is so amazing about having least upper bound (and dually, the greatest lower bound)?
missed to include the theme of bipartite graph and formal concept analysis
Apr
26
revised Is every “almost” isomorphism an isomorphism?
One of the relations given in the question can be omitted, namely either hfg=1 or fgh=1.
Apr
26
revised Is every “almost” isomorphism an isomorphism?
The given counterexample is false, hence the question was much more complicated than needed...
Apr
16
revised Is a homomorphism expected to be a (structure-preserving) map?
edited tags
Apr
16
revised Is a homomorphism expected to be a (structure-preserving) map?
make it more clear, what I want to know