Reputation
1,652
Next privilege 2,000 Rep.
Edit questions and answers
Badges
4 17
Newest
 Critic
Impact
~18k people reached

Jan
20
comment Is it possible to formalize $T \models \sigma$ within the deductive calculus?
You might want to look up Tarski's undefinability theorem.
Nov
14
awarded  Critic
Oct
11
awarded  Nice Answer
Aug
11
awarded  Yearling
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