MathOverflow
Meta user
Network profile
18,052
reputation
4
64
188

David Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

251
answers
165
questions
~690k
people reached

Communities (17)

Top Meta Posts
7
12

Top network posts

Top tags (202)

Score 363
Posts 135
Posts % 32
Score 230
Posts 69
Score 220
Posts 60
Score 129
Posts 35
Score 104
Posts 43
Score 84
Posts 47
View all tags →

Top posts (416) All Questions Answers | Votes Newest

175 Most memorable titles Nov 1 '10
69 Titles composed entirely of math symbols Jul 11 '11
59 A bestiary of topologies on Sch Sep 5 '11
46 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
36 Vladimir Voevodsky's works Oct 2 '17
32 What is the reverse mathematical strength of the fundamental theorem of algebra? Jun 30 '15
32 What are some noteworthy “mic-drop” moments in math? Mar 10
View all questions and answers →

Badges (256)

Gold

4

Rarest

Silver

64

Rarest

Bronze

188

Rarest

View all badges →