MathOverflow
David Roberts's user avatar
David Roberts's user avatar
David Roberts's user avatar
David Roberts
Moderator
  • Member for 14 years
  • Last seen this week
Profile Activity
Stats
33,142
reputation
1.1m
reached
306
answers
189
questions
Communities
View all
About

Pure mathematician interested in category theory and foundations.

Badges
View all badges
10
gold badges
113
silver badges
315
bronze badges
Top tags
View all tags
563
Score
163
Posts
33
Posts %
295
Score
82
Posts
17
Posts %
286
Score
72
Posts
15
Posts %
178
Score
39
Posts
8
Posts %
177
Score
54
Posts
11
Posts %
146
Score
61
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
226
Most memorable titles
Nov 1, 2010
answer
77
Titles composed entirely of math symbols
Jul 11, 2011
question
72
A bestiary of topologies on Sch
Sep 5, 2011
answer
65
Czelakowski's claimed proof of the Twin Prime Conjecture
Oct 30, 2022
question
63
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Nov 29, 2012
question
58
How true are theorems proved by Coq?
Mar 25, 2011
question
53
How much of the ATLAS of finite groups is independently checked and/or computer verified?
Aug 19, 2015
answer
42
Do we have non-abelian sheaf cohomology?
Aug 24, 2010
answer
42
What are some noteworthy "mic-drop" moments in math?
Mar 10, 2019
answer
41
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Sep 4, 2015
Top Meta posts
22
31
66
At what point should MO recognise it needs to leave Stack Exchange Inc?
59
Stack Exchange moderation strike
54
We have our first user with more than 200K reputation!
54
What MO is for and what is *your* aim in participation?
47
Moderation strike update 1
Top network posts
View all network posts
101
What package allows Elvish in TeX?
54
Double blind peer review when paper cites author's GitHub repo for code
46
Why is the number of orcs thousands instead of millions in "The Lord of the Rings"?
30
Use of "we have a large backlog" euphemism by journal editors when rejecting articles without sending them out for review
29
Did Frodo and Gimli ever discuss the adventures of Bilbo and Glóin with each other?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.