MathOverflow
Meta user
Network profile
18,523
reputation
5
66
196

David Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

255
answers
166
questions
~711k
people reached

Communities (17)

Top Meta Posts
7
13

Top network posts

Top tags (208)

Score 370
Posts 136
Posts % 32
Score 244
Posts 70
Score 220
Posts 60
Score 130
Posts 35
Score 104
Posts 43
Score 96
Posts 50
View all tags →

Top posts (421) All Questions Answers | Votes Newest

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

Badges (267)

Gold

5

Rarest

Silver

66

Rarest

Bronze

196

Rarest

View all badges →