Reputation
1,608
Next privilege 2,000 Rep.
Edit questions and answers
Badges
3 15
Newest
 Caucus
Impact
~15k people reached

Mar
13
reviewed Reviewed Solving Homogeneous Laplace Equations
Mar
4
revised $x^2 +y^2 + z^2$ is irreducible in $\mathbb C [x,y,z]$
added 2 characters in body
Feb
9
answered If six points of an elliptic curve are contained in a conic, then their sum is $O$.
Dec
24
accepted Is any morphism with at most one right inverse a mono?
Dec
24
comment Is any morphism with at most one right inverse a mono?
Now I see, I just kept composing the arrows in the wrong direction... I guess the terms "left inverse" and "right inverse" confuse me as well.
Dec
23
asked Is any morphism with at most one right inverse a mono?
Dec
20
awarded  Caucus
Nov
22
accepted Formal notion of computational content
Oct
23
comment Formal notion of computational content
Thank you. Although I am familiar with type theory and this doesn't really answer my question, it's a nice explanation for those who don't know about the Curry-Howard correspondence.
Oct
23
revised Formal notion of computational content
clarified question
Oct
23
comment Formal notion of computational content
Thank you both for your suggestions. I am familiar with the Curry-Howard correspondence: I'll expand the question to clarify what I'm looking for (although it looks like the book by Schwichtenberg and Wainer may already have the answer).
Oct
23
asked Formal notion of computational content
Aug
11
awarded  Yearling
Jul
2
awarded  Curious
May
11
awarded  Mortarboard
May
9
accepted Existence and uniqueness of particular binary operations on a lattice
May
8
awarded  Revival
May
4
reviewed Reviewed Is the Dirac measure named after P.A.M. Dirac?
May
4
answered Axiom of Choice - Type Theory (Proof)
Apr
27
comment Diagonalization out of partial recursive functions
What makes you think that $\phi$ should be recursive? Can you give an effective procedure for computing $\phi$?