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
Meta User
Network Profile
16,219
reputation
4
61
170

David Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

224
answers
161
questions
~606k
people reached

Communities (14)

Top Meta Posts
7
10

Top Network Posts

Top Tags (194)

Score 301
Posts 125
Posts % 32
Score 207
Posts 64
Score 204
Posts 54
Score 128
Posts 34
Score 93
Posts 42
Score 69
Posts 43
View all tags →

Top Posts (385) All Questions Answers | Votes Newest

174 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 (235)

Gold

4

Rarest

Silver

61

Rarest

Bronze

170

Rarest

View all badges →