MathOverflow
user avatar
user avatar
user avatar
David Roberts
  • Member for 12 years, 6 months
  • Last seen this week
Profile Activity
Stats
30,951
reputation
943k
reached
292
answers
184
questions
Communities
View all
About

Pure mathematician interested in category theory and foundations.

Badges
View all badges
7
gold badges
98
silver badges
266
bronze badges
Top tags
View all tags
518
Score
156
Posts
33
Posts %
277
Score
76
Posts
16
Posts %
262
Score
71
Posts
15
Posts %
172
Score
52
Posts
11
Posts %
158
Score
38
Posts
8
Posts %
138
Score
60
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
214
Most memorable titles
Nov 1, 2010
answer
70
Titles composed entirely of math symbols
Jul 11, 2011
question
67
A bestiary of topologies on Sch
Sep 5, 2011
question
53
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Nov 29, 2012
question
52
How true are theorems proved by Coq?
Mar 25, 2011
question
52
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
38
Vladimir Voevodsky's works
Oct 2, 2017
answer
38
What is a Frobenioid?
Feb 3, 2015
Top Meta posts
13
19
52
What MO is for and what is *your* aim in participation?
30
News of potential interest to the MO community
23
News of potential interest to the MO community
22
Why are we now getting 'hot network questions'?
20
Questions on Coq
Top network posts
View all network posts
91
What package allows Elvish in TeX?
54
Double blind peer review when paper cites author's GitHub repo for code
45
Why is the number of orcs thousands instead of millions in "The Lord of the Rings"?
29
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.