2,506 reputation
11241
bio website axiomsofchoice.org
location
age
visits member for 2 years, 9 months
seen 50 mins ago

A duck walks into a bar. Animal control is promptly called and the duck is released into a near by park.


Aug
25
comment Mathematical literature to lose yourself in
@Lucian: I never dreamt i'd get to the level that i'm at, this is whack ... What about math, how come I wasn't ever good at that?
Aug
23
comment What is the $\tau$ symbol in the Bourbaki text?
Found it here.
Aug
23
comment The category of theorems and proofs
Why would Turing completeness suffer from taking aways "undefined"? I thought it's just convenient in case of non-termination or so. And how did you manage to write my user name with c?
Aug
22
comment The category of theorems and proofs
Incidentally, in your answer, you turned to topics very related to a question I just asked.
Aug
22
revised Mathematics - The big picture
added 138 characters in body
Aug
22
answered Mathematics - The big picture
Aug
22
revised What is the desirable function identification when setting up arrows in the category of types?
deleted 169 characters in body
Aug
22
revised What is the desirable function identification when setting up arrows in the category of types?
added 26 characters in body
Aug
22
revised What is the desirable function identification when setting up arrows in the category of types?
added 213 characters in body
Aug
22
asked What is the desirable function identification when setting up arrows in the category of types?
Aug
19
comment What makes induction a valid proof technique?
Just want to point out that OP uses P(0) as starting point, not P(1). Doesn't matter, of course.
Aug
6
revised Formulas for Schrödinger unitary groups of operators
deleted 13 characters in body; edited title
Jul
26
revised Continuations vs. Yoneda
added 20 characters in body
Jul
26
revised Continuations vs. Yoneda
added 20 characters in body
Jul
26
asked Continuations vs. Yoneda
Jul
23
comment What kind of object is the kernel of a ring homomorphism?
@JakobWerner: True, you could add a mail address in your profile. I just took the only question which was marked green, reasoning that there wouldn't be other traffic. Freiburg is of course further away than Stuttgart. But I'm going to be here for less than a year anyway. I'm also learning some cats and like the pov.
Jul
18
comment Proof of Yoneda Lemma
Both links are dead now.
Jul
18
comment Mathematical statements that cannot be proved or disproved
@AsafKaragila: That's part of the joke, yeah.
Jul
18
comment Mathematical statements that cannot be proved or disproved
@AsafKaragila: Why do you ask rhetorical questions?
Jul
18
answered Mathematical statements that cannot be proved or disproved