MathOverflow
Profile Activity
Meta user
Network profile
29,109
reputation
6
89
240

David Roberts

Pure mathematician interested in category theory and foundations.

285
answers
179
questions
~870k
people reached

Communities (17)

Top Meta Posts
12
16

Top network posts

Top tags (224)

Score 494
Posts 154
Posts % 33
Score 268
Posts 76
Score 257
Posts 69
Score 162
Posts 50
Score 150
Posts 38
Score 129
Posts 60
View all tags →

Top posts (464)

All Questions Answers
Votes Newest
204 Most memorable titles Nov 1 '10
70 Titles composed entirely of math symbols Jul 11 '11
65 A bestiary of topologies on Sch Sep 5 '11
48 How much of the ATLAS of finite groups is independently checked and/or computer verified? Aug 19 '15
47 How true are theorems proved by Coq? Mar 25 '11
46 Where are the second- (and third-)generation proofs of the classification of finite simple groups up to? Nov 29 '12
42 Do we have non-abelian sheaf cohomology? Aug 24 '10
39 Vladimir Voevodsky's works Oct 2 '17
38 What is a Frobenioid? Feb 3 '15
37 What are some noteworthy “mic-drop” moments in math? Mar 10 '19
View all questions and answers →

Badges (335)

Gold

6

Rarest

Silver

89

Rarest

Bronze

240

Rarest

View all badges →

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.