theHigherGeometer

https://thehighergeometer.wordpress.com/

Pure mathematician interested in category theory and foundations.

top accounts reputation activity subscriptions

What package allows Elvish in TeX?

fonts packages languages asked Mar 9, 2011 at 8:43

tex.stackexchange.com

72 votes

A bestiary of topologies on Sch

ag.algebraic-geometry grothendieck-topology ct.category-theory asked Sep 5, 2011 at 2:06

mathoverflow.net

63 votes

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

gr.group-theory finite-groups asked Nov 29, 2012 at 23:59

mathoverflow.net

58 votes

How true are theorems proved by Coq?

foundations type-theory proof-assistants formal-proof coq asked Mar 25, 2011 at 5:57

mathoverflow.net

54 votes

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

publications peer-review mathematics code asked Aug 8, 2019 at 7:26

academia.stackexchange.com

53 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, 2015 at 3:16

mathoverflow.net

37 votes

What about stacks of categories in algebraic geometry?

ag.algebraic-geometry ct.category-theory stacks algebraic-stacks asked Mar 1, 2011 at 4:12

mathoverflow.net

32 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, 2015 at 3:20

mathoverflow.net

32 votes

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

lo.logic reverse-math asked Jun 30, 2015 at 0:35

mathoverflow.net

32 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, 2020 at 4:42

mathoverflow.net

Top Answers

226

Most memorable titles

mathoverflow.net

Titles composed entirely of math symbols

mathoverflow.net

Czelakowski's claimed proof of the Twin Prime Conjecture

mathoverflow.net

Why is the number of orcs thousands instead of millions in "The Lord of the Rings"?

scifi.stackexchange.com

What are some noteworthy "mic-drop" moments in math?

mathoverflow.net

Do we have non-abelian sheaf cohomology?

mathoverflow.net

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

mathoverflow.net

Vladimir Voevodsky's works

mathoverflow.net

What is a Frobenioid?

mathoverflow.net

When size matters in category theory for the working mathematician

mathoverflow.net

Did Frodo and Gimli ever discuss the adventures of Bilbo and Glóin with each other?

scifi.stackexchange.com

Why are there so many smooth functions?

mathoverflow.net

Conjectures in Grothendieck's "Pursuing stacks"

mathoverflow.net

What universities have laid off tenured math faculty for financial reasons?

mathoverflow.net

The concept of duality

mathoverflow.net

Who computed the third stable homotopy group?

mathoverflow.net

What Are Some Naturally-Occurring High-Degree Polynomials?

mathoverflow.net

The relationship between group cohomology and topological cohomology theories

mathoverflow.net

Did JRR Tolkien ever write any music for the many songs in The Lord of the Rings?

scifi.stackexchange.com

Fundamental group of R^2-Q^2

mathoverflow.net

Decent texts on categorical logic

mathoverflow.net

Most memorable titles

mathoverflow.net

Manin's algebraic geometry textbook?

mathoverflow.net

Contemporary philosophy of mathematics

mathoverflow.net

Anabelian geometry ~ higher category theory

mathoverflow.net

Where can I find the following math paper?

mathoverflow.net

What happened to online articles published in K-theory (Springer journal)?

mathoverflow.net

What are some very important papers published in non-top journals?

mathoverflow.net

Results that are widely accepted but no proof has appeared

mathoverflow.net

Inaccessible cardinals and Andrew Wiles's proof

mathoverflow.net