Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Questions that are about research in mathematics, or about the job of a research mathematician, without being mathematical problems or statements in the strictest sense. Do not use this tag for easy or supposedly easy mathematical questions.
13
votes
Accepted
Polymath-type projects for textbooks?
The Homotopy Type Theory book is massively collaborative and regularly updated (through version control). It's also the definitive textbook in its field, and I think Voevodsky himself contributed to i …
6
votes
What is the longest recorded gap between "proof" of a "theorem" and discovery that the resul...
There have been several historic 'proofs' of the parallel postulate in terms of Euclid's other four postulates, and it would be unsurprising if one of those holds the record:
http://en.wikipedia.org/ …
7
votes
Accepted
Is there a 3d equivalent of this picture?
The restriction to conformal maps is a natural one, as it means that there is no affine distortion in the neighbourhood of a point. Specifically, the Voronoi cells of the points will not be oblated or …
11
votes
What are examples of (collections of) papers which "close" a field?
Alfred Tarski essentially 'closed' the ancient field of Euclidean geometry. Specifically, he provided a simple first-order axiomatisation of Euclidean geometry (where a model is a set of points endowe …