1,522 reputation
620
bio website
location Kaiserslautern, Germany
age 26
visits member for 3 years, 5 months
seen Apr 15 at 16:28

I am a PhD student at the Algorithms & Complexity group at University of Kaiserslautern, Germany. I research design and analysis of parallel algorithms and data structures.

In my free time I read books, enjoy (and sometimes make) music, code, work out and roam the webs.


You can find sources for all self-created images I post on Stack Exchange here.


Apr
9
comment Relational calculus / predicate logic: basic semantics
@MauroALLEGRANZA Right. And, more to my point, $∃xA(x) \land ∃xB(x)$ is equivalent to $∃xA(x) \land ∃yB(y)$.
Apr
9
comment Relational calculus / predicate logic: basic semantics
@MauroALLEGRANZA That's not a serius issue; renaming takes care of that. Note that in the question all variables have pairwise distinct names. In fact, the resulting normal form is well known.
Apr
2
comment How can a piece of A4 paper be folded in exactly three equal parts?
@moose: I think other letter classes (and even word processors) offer the same thing.
Apr
1
comment Alternative reference for number of restricted partitions
Thanks, but it does -- unfortunately -- not help me. (The recurrence is, of course, given in TAoCP, by the way)
Mar
31
answered Alternative reference for number of restricted partitions
Mar
31
asked Alternative reference for number of restricted partitions
Mar
22
comment Is the ordinary generating function for a sequence $\{a_n\}$ unique?
You probably mean ordinary generating function here.
Feb
20
awarded  Enlightened
Feb
20
awarded  Nice Answer
Feb
12
comment MENSA IQ Test and rules of maths
The models we were allowed in high school worked that way. It had support for parentheses, though. (Yea, no auomated graphing and similar stuff for us.)
Feb
10
suggested suggested edit on Variation on finding Stirling numbers of the first kind
Feb
7
comment What is the fastest growing total computable function you can describe in a few lines?
@ColeJohnson: But then the function would be constant.
Jan
25
comment Is computer science a branch of mathematics?
@Renan: I fear for the world in which mathematicians read "ordered by purity" as "ordered by inclusion".
Jan
25
comment Is computer science a branch of mathematics?
@Dunno: No, it's not. At least if you ask computer scientists that try to uphold some measure of mathematical thinking.
Jan
25
comment Why are mathematical proofs that rely on computers controversial?
The fallacy here is, "a person reading it must be convinced that the proof really proves the proposition it is supposed to prove". That's not true. Proofs found by machines are so rigorously formal that they can be checked automatically. Once you are convinced that the proof checker is valid (a more reasonably scoped task) you can be sure that all verified proofs are valid. I'd estimate that such approaches produce less errorneous results than traditional high-level, human-peer reviewed work.
Jan
25
comment Why are mathematical proofs that rely on computers controversial?
I agree. In my estimation/experience, part of the problem is that many mathematicians are not (intuitively) aware of how computers work and what they can do. Also, the way a mathematician approaches finding a proof is not structured but requires ingenuity. Naturally, we don't attribute computers with this. Once you conceive that finding proofs (that are way more rigorous than anything mathematicians publish, usually) can be approached systematically and -- more importantly -- that checking such proofs is easily automated.
Jan
24
comment Is computer science a branch of mathematics?
Nobody agrees on what Computer Science really is, so the question does not have an answer. In my experience, mathematicians who claim that CS $\subset$ Math have a very limited view of CS (only TCS, often even just Computability and Complexity Theory). In truth, CS intersects with social sciences, (several branches of) engineering and mathematics, and has managed to create some "own" problems (arguably, an example are compilers). It's in many ways like physics: use math to create models, do physics/CS, fuel engineering.
Jan
24
comment Is computer science a branch of mathematics?
"Almost all of computer science is about answering two questions: [...]" -- If that was to mean "how to do stuff with computers" it would be a true statement, but completely useless (and in that way typical for a mathematician?). CS deals with many more problems, e.g. "how to route packages in a network that constantly changes?". That's quite far outside the usual hunting ground of mathematics.
Jan
18
comment How to check if a function is negligible?
Seems to be a pure mathematics question to me. That is, your failure to solve is not caused by lack of CS but of mathematics skill. Should I migrate this to Mathematics? (Also, I think the Wikipedia article contains the answer.)
Nov
9
awarded  Yearling