Stack Exchange Network

Stack Exchange network consists of 174 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
16,688
reputation
4
62
174

David Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

230
answers
161
questions
~627k
people reached

Communities (14)

Top Meta Posts
7
10

Top Network Posts

Top Tags (196)

Score 315
Posts 127
Posts % 32
Score 223
Posts 66
Score 213
Posts 55
Score 128
Posts 34
Score 93
Posts 42
Score 69
Posts 43
View all tags →

Top Posts (391) All Questions Answers | Votes Newest

175 Most memorable titles Nov 1 '10
68 Titles composed entirely of math symbols Jul 11 '11
51 A bestiary of topologies on Sch Sep 5 '11
44 How much of the ATLAS of finite groups is independently checked and/or computer verified? Aug 19 '15
43 Where are the second- (and third-)generation proofs of the classification of finite simple groups up to? Nov 29 '12
42 How true are theorems proved by Coq? Mar 25 '11
38 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
31 What is a Frobenioid? Feb 3 '15
View all questions and answers →

Badges (240)

Gold

4

Rarest

Silver

62

Rarest

Bronze

174

Rarest

View all badges →