Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
MathOverflow
Meta user
Network profile
17,875
reputation
4
64
181

David Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

249
answers
163
questions
~684k
people reached

Communities (17)

Top Meta Posts
7
12

Top network posts

Top tags (201)

Score 362
Posts 134
Posts % 33
Score 230
Posts 69
Score 220
Posts 58
Score 129
Posts 34
Score 104
Posts 43
Score 80
Posts 45
View all tags →

Top posts (412) All Questions Answers | Votes Newest

176 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
45 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 (249)

Gold

4

Rarest

Silver

64

Rarest

Bronze

181

Rarest

View all badges →