Skip to main content
MathOverflow
Russell O'Connor's user avatar
Russell O'Connor's user avatar
Russell O'Connor's user avatar
Russell O'Connor
  • Member for 14 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
1,439
reputation
221k
reached
12
answers
8
questions
Communities
View all
About
Ph.D. from Radboud University Nijmegen in Computer Mathematics.
Badges
View all badges
1
gold badge
13
silver badges
15
bronze badges
Top tags
View all tags
56
Score
10
Posts
50
Posts %
29
Score
1
Posts
5
Posts %
17
Score
1
Posts
5
Posts %
12
Score
3
Posts
15
Posts %
11
Score
4
Posts
20
Posts %
8
Score
3
Posts
15
Posts %
Top posts
View all questions and answers
answer
246
Proofs without words
Mar 7, 2010
answer
29
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
Jul 15, 2010
answer
17
Why is it so difficult to write complete (computer verifiable) proofs?
Feb 20, 2011
question
13
Primitive element theorem without building field extensions
Jun 27, 2010
question
10
What is the tensor product for the Eilenberg-Moore category of a commutative monad?
Sep 20, 2011
question
9
Categorical semantics of W-types
Feb 7, 2012
question
8
Ordinal Analysis of Peano Arithmetic with Restricted Induction
Mar 10, 2011
answer
7
Can dependent sums be encoded as dependent products?
Feb 26, 2010
question
6
Why no morphisms from the contradictory proposition to the inconsistent context?
Feb 13, 2012
question
5
Conservation of Hyperarithmetic Sentences over AC and CH.
May 3, 2010
Top network posts
View all network posts
109
Why does Haskell's `head` crash on an empty list (or why *doesn't* it return an empty list)? (Language philosophy)
55
What is the Store comonad?
34
Critique of the IO monad being viewed as a state monad operating on the world
29
Inductive types for large countable ordinal notations.
18
Creating a doubly linked list from a list in OCaml