MathOverflow
David Roberts's user avatar
David Roberts's user avatar
David Roberts's user avatar
David Roberts
Moderator
  • Member for 13 years, 6 months
  • Last seen this week
Profile Activity
Stats
32,174
reputation
1.0m
reached
300
answers
187
questions
Communities
View all
About

Pure mathematician interested in category theory and foundations.

Badges
View all badges
9
gold badges
108
silver badges
301
bronze badges
Top tags
View all tags
543
Score
159
Posts
33
Posts %
288
Score
80
Posts
16
Posts %
282
Score
72
Posts
15
Posts %
177
Score
39
Posts
8
Posts %
175
Score
54
Posts
11
Posts %
141
Score
60
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
225
Most memorable titles
Nov 1, 2010
answer
74
Titles composed entirely of math symbols
Jul 11, 2011
question
69
A bestiary of topologies on Sch
Sep 5, 2011
answer
63
Czelakowski's claimed proof of the Twin Prime Conjecture
Oct 30, 2022
question
56
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Nov 29, 2012
question
55
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
What are some noteworthy "mic-drop" moments in math?
Mar 10, 2019
answer
42
Do we have non-abelian sheaf cohomology?
Aug 24, 2010
answer
38
What is a Frobenioid?
Feb 3, 2015
Top Meta posts
15
25
54
We have our first user with more than 200K reputation!
54
What MO is for and what is *your* aim in participation?
33
News of potential interest to the MO community
26
News of potential interest to the MO community
23
News of potential interest to the MO community
Top network posts
View all network posts
98
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
28
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.