Reputation
1,603
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
3 19
Impact
~17k people reached

Aug
24
awarded  Autobiographer
Aug
8
awarded  Yearling
Aug
6
awarded  Curious
Aug
5
accepted The number of logarithm applications to get from n below 1
Aug
5
comment The number of logarithm applications to get from n below 1
Thanks, that what I was looking for. Indeed it' sjust changing $<1$ to $\leq 1$, which I'm perfectly happy with (i stumbled upon this function during an analysis of an algorithm complexity).
Aug
5
asked The number of logarithm applications to get from n below 1
Jul
24
awarded  Nice Answer
Apr
1
comment Eilenberg Moore category
Did you manage to construct E-M categories in Haskell? I'd be quite interested.
Sep
30
awarded  Explainer
Sep
30
answered Fixed point combinator and functions with no fixed point
Aug
26
awarded  Popular Question
Aug
8
awarded  Yearling
Jul
11
comment How or why does intutionistic logic proof negations from within the theory, constructively?
@NikolajK True. I extended the answer showing how one can interpret $A\to\bot$.
Jul
11
revised How or why does intutionistic logic proof negations from within the theory, constructively?
added 2359 characters in body
Jul
8
comment Lamport claims there is an error in Kelley's proof of the Schroeder-Bernstein theorem. What is it?
Would the proof be correct if we counted the (in)finiteness of ancestral sequences, instead of their cardinality? That is, count cycles as infinite sequences.
Jul
7
answered How or why does intutionistic logic proof negations from within the theory, constructively?
Jan
8
comment Automatic theorem prover for proving simple theorems?
Are you interested in propositional logic or first-order logic?
Aug
8
awarded  Yearling
Jun
29
comment Intuition of implication in propositional logic
Another analogy is: If you don't eat your vegetables, you don't get your desert. If you don't eat the vegetables, I keep the promise and I won't give you the desert. If you do eat them, I don't have to do anything (because the premise is false). Neither way I'm obliged to give you the desert.
Jun
29
comment Prove p from ¬¬p
No problem, I added it to my answer.