Stack Exchange

David Roberts

Adelaide, Australia

http://ncatlab.org/nlab/show/David+Roberts

Pure mathematician interested in category theory and foundations.

My blog: theHigherGeometer

top accounts reputation activity bookmarks subscriptions
Top Questions
83 votes

What package allows Elvish in TeX?

fonts packages languages asked Mar 9 '11 at 8:43
tex.stackexchange.com

62 votes

A bestiary of topologies on Sch

ag.algebraic-geometry grothendieck-topology ct.category-theory asked Sep 5 '11 at 2:06
mathoverflow.net

48 votes

How much of the ATLAS of finite groups is independently checked and/or computer verified?

gr.group-theory rt.representation-theory finite-groups formal-proof character-theory asked Aug 19 '15 at 3:16
mathoverflow.net

47 votes

Double blind peer review when paper cites author's GitHub repo for code

publications peer-review mathematics code asked Aug 8 '19 at 7:26
academia.stackexchange.com

44 votes

How true are theorems proved by Coq?

foundations type-theory proof-assistants formal-proof coq asked Mar 25 '11 at 5:57
mathoverflow.net

44 votes

Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?

gr.group-theory asked Nov 29 '12 at 23:59
mathoverflow.net

32 votes

What is the reverse mathematical strength of the fundamental theorem of algebra?

lo.logic reverse-math asked Jun 30 '15 at 0:35
mathoverflow.net

30 votes

Why is this “the first elliptic curve in nature”?

ag.algebraic-geometry arithmetic-geometry elliptic-curves ho.history-overview diophantine-equations asked May 20 at 4:42
mathoverflow.net

28 votes

Use of “we have a large backlog” euphemism by journal editors when rejecting articles without sending them out for review

journals mathematics editors rejection asked Nov 12 '15 at 22:48
academia.stackexchange.com

27 votes

Next steps on formal proof of classification of finite simple groups

gr.group-theory finite-groups ho.history-overview formal-proof coq asked Jun 23 '15 at 3:20
mathoverflow.net

1 2 3 4 5 … 10

Top Answers
178
Most memorable titles
mathoverflow.net

69
Titles composed entirely of math symbols
mathoverflow.net

41
Do we have non-abelian sheaf cohomology?
mathoverflow.net

37
Vladimir Voevodsky's works
mathoverflow.net

36
What is a Frobenioid?
mathoverflow.net

35
What are some noteworthy “mic-drop” moments in math?
mathoverflow.net

28
Did Frodo and Gimli ever discuss the adventures of Bilbo and Glóin with each other?
scifi.stackexchange.com

27
Why are there so many smooth functions?
mathoverflow.net

27
What universities have laid off tenured math faculty for financial reasons?
mathoverflow.net

26
Conjectures in Grothendieck's “Pursuing stacks”
mathoverflow.net

23
Who computed the third stable homotopy group?
mathoverflow.net

22
Did JRR Tolkien ever write any music for the many songs in The Lord of the Rings?
scifi.stackexchange.com

21
What Are Some Naturally-Occurring High-Degree Polynomials?
mathoverflow.net

20
The relationship between group cohomology and topological cohomology theories
mathoverflow.net

20
The concept of Duality
mathoverflow.net

20
Fundamental group of R^2-Q^2
mathoverflow.net

18
Decent Texts on Categorical Logic
mathoverflow.net

18
Anabelian geometry ~ higher category theory
mathoverflow.net

18
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
mathoverflow.net

17
Contemporary philosophy of mathematics
mathoverflow.net

16
Manin's algebraic geometry textbook?
mathoverflow.net

16
Arguments against large cardinals
mathoverflow.net

16
What are some very important papers published in non-top journals?
mathoverflow.net

15
What is the homotopy theory of categories?
mathoverflow.net

14
Book on mathematical “rigorous” String Theory?
mathoverflow.net

14
Mathematical ideas named after places
mathoverflow.net

14
Request for examples: verifying vs understanding proofs
mathoverflow.net

14
Why does Mochizuki insist on “forgetting the previous history of an object”?
math.stackexchange.com

14
Most memorable titles
mathoverflow.net

14
Computing `$\pi_1 S^1$` using groupoids
mathoverflow.net

1 2 3 4 5