Skip to main content
MathOverflow
David Roberts's user avatar
David Roberts's user avatar
David Roberts's user avatar
David Roberts
Moderator
  • Member for 15 years, 1 month
  • Last seen this week
Profile Activity
Stats
35,371
reputation
1.2m
reached
315
answers
193
questions
Communities
View all
About

Pure mathematician interested in category theory and foundations.

Badges
View all badges
11
gold badges
124
silver badges
348
bronze badges
Top tags
View all tags
600
Score
168
Posts
33
Posts %
304
Score
85
Posts
17
Posts %
299
Score
72
Posts
14
Posts %
214
Score
56
Posts
11
Posts %
181
Score
39
Posts
8
Posts %
149
Score
62
Posts
12
Posts %
Top posts
View all questions and answers
answer
233
Most memorable titles
Nov 1, 2010
answer
79
Titles composed entirely of math symbols
Jul 11, 2011
question
73
A bestiary of topologies on Sch
Sep 5, 2011
answer
70
Czelakowski's claimed proof of the Twin Prime Conjecture
Oct 30, 2022
question
65
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Nov 29, 2012
question
59
How true are theorems proved by Coq?
Mar 25, 2011
question
55
How much of the ATLAS of finite groups is independently checked and/or computer verified?
Aug 19, 2015
answer
46
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Sep 4, 2015
answer
43
Do we have non-abelian sheaf cohomology?
Aug 24, 2010
answer
41
What are some noteworthy "mic-drop" moments in math?
Mar 10, 2019
Top Meta posts
22
39
68
At what point should MO recognise it needs to leave Stack Exchange Inc?
59
Stack Exchange moderation strike
55
We have our first user with more than 200K reputation!
55
What MO is for and what is *your* aim in participation?
48
Moderation strike update 1
Top network posts
View all network posts
104
What package allows Elvish in TeX?
55
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"?
36
Did Frodo and Gimli ever discuss the adventures of Bilbo and Glóin with each other?
31
Use of "we have a large backlog" euphemism by journal editors when rejecting articles without sending them out for review