589 reputation
28
bio website
location
age
visits member for 2 years, 1 month
seen Jun 24 '13 at 18:59
BA Mathematics Msc Theoretical Physics Interested in Continental & Eastern Philosophy.

Mar
9
awarded  Yearling
Jun
25
awarded  Suffrage
Jun
23
comment What is the analogue for the category of presheafs for complement toposes?
@Przyblek: It is quoted in the SEP, so it ought to have a reasonably serious content.
Jun
23
comment What is the analogue for the category of presheafs for complement toposes?
@Roberts: that is what I would have guessed, but then I found that paper.
Jun
22
accepted Why is the Tangent Groupoid useful in non-commutative geometry?
Jun
22
revised Why is the Tangent Groupoid useful in non-commutative geometry?
added 189 characters in body; edited title
Jun
22
revised Why is the Tangent Groupoid useful in non-commutative geometry?
added 1130 characters in body
Jun
21
asked What is the analogue for the category of presheafs for complement toposes?
Jun
21
asked What is the impact on Godels theorem of Paraconsistency?
Jun
15
comment Is there a categorical proof of Gödel's incompleteness theorem?
I think thats only a categorical formulation of the diagonal lemma there.
Jun
5
revised Is there a categorical proof of Gödel's incompleteness theorem?
added 43 characters in body; edited title
Jun
5
comment Is there a categorical proof of Gödel's incompleteness theorem?
Your assumption is correct, this is close to what I was looking for!
Jun
5
accepted Is there a categorical proof of Gödel's incompleteness theorem?
Jun
5
comment Is there a categorical proof of Gödel's incompleteness theorem?
@Lin: I will once I work out how to add in umlauts.
Jun
5
revised Is there a categorical proof of Gödel's incompleteness theorem?
added 410 characters in body
Jun
5
comment Is there a categorical proof of Gödel's incompleteness theorem?
@Roberts: Thanks. Thats the kind of result I was looking for.
Jun
5
comment Is there a categorical proof of Gödel's incompleteness theorem?
These are fair points. @Bauer: I did mean qualifier not quantifier, as an adjective qualifies.
Jun
5
asked Is there a categorical proof of Gödel's incompleteness theorem?
Jun
5
asked Is there a useful Galois connection between Languages and Grammars?
Jun
5
asked Is there a nice theorem that makes essential use of types in typed first-order logic?