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 16 years
  • Last seen more than 2 years ago
Profile Activity

Stats

1,439
reputation
234k
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
16
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
248
Proofs without words
Mar 7, 2010
29
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
Jul 15, 2010
17
Why is it so difficult to write complete (computer verifiable) proofs?
Feb 20, 2011
13
Primitive element theorem without building field extensions
Jun 27, 2010
10
What is the tensor product for the Eilenberg-Moore category of a commutative monad?
Sep 20, 2011
9
Categorical semantics of W-types
Feb 7, 2012
8
Ordinal Analysis of Peano Arithmetic with Restricted Induction
Mar 10, 2011
7
Can dependent sums be encoded as dependent products?
Feb 26, 2010
6
Why no morphisms from the contradictory proposition to the inconsistent context?
Feb 13, 2012
5
Conservation of Hyperarithmetic Sentences over AC and CH.
May 3, 2010

Top network posts

View all network posts
110
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