Skip to main content
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
Results tagged with
Search options not deleted user 22971

History and philosophy of mathematics, biographies of mathematicians, mathematics education, recreational mathematics, communication of mathematics.

27 votes
Accepted

How did the refereeing system of Gösta Mittag-Leffler's Acta Mathematica function from 1882 ...

Looking over the following references, I believe that they contain some of what is being asked after: Nickerson, Sylvia (2012). Referees, publisher’s readers and the image of mathematics in ninete …
Benjamin Dickman's user avatar
18 votes
Accepted

Thurston's senior thesis at New College

I've emailed you a pdf copy of "A Constructive Foundation for Topology" by Bill Thurston (June 14, 1967; New College Senior Thesis; submitted to Roger Renne). In consideration of the comments above, …
Benjamin Dickman's user avatar
19 votes
Accepted

Why is Gauss credited with this connection?

The short answer is we call it the Gauss–Manin connection because that's what Grothendieck called it. The name is attributed to Grothendieck in two early, seminal pieces: namely, Katz's thesis and a s …
Benjamin Dickman's user avatar
17 votes
Accepted

"'Category' was defined in order to define 'functor', which was defined in order to define '...

CW since some of the recent posts on MO have required little more than googling. Prior to the book you mentioned, MacLane attributed this saying to Peter Freyd in: MacLane, S. (1965). Categorical a …
4 votes

The half-life of a theorem, or Arnold's principle at work

(Not quite a theorem, but an interesting problem.) In an earlier MO question I wondered: Given $x_1 \leq \ldots \leq x_{2n + 1}$ with each $x_i \in \mathbb{R}$ (or $\mathbb{C}$), suppose that for …
9 votes

Negative impact of wrong or non-rigorous proofs

First, three possible areas of damage (though there are surely more): Subsequent results that make use of these "proofs" (especially when the claim is not true); Using the methods of the incorrect …
5 votes

Origin of the theorem on the existence of the smallest field of definition of an affine variety

I suspect that this theorem is indeed due to Weil. "Foundations of Algebraic Geometry" by Weil was published in 1946, but the 1944 paper "Some Properties of Ideals in Rings of Power Series" by Claud …
Benjamin Dickman's user avatar
25 votes
Accepted

Who named it the Snake Lemma?

I suspect the name just arose naturally (for obvious reasons) but that it would be tough to trace back to any single person. After Cartan-Eilenberg proved it in 1956 (Homological Algebra, p.40) the fi …
Benjamin Dickman's user avatar
2 votes

When was the continuum hypothesis born?

Since your question includes the reference-request tag, I would point you towards the following two sources as well (also written by Moore): Moore, G. H. (1988). The origins of forcing, Logic Colloqu …
Benjamin Dickman's user avatar
32 votes
2 answers
4k views

Similarities between Post's Problem and Cohen's Forcing

Remark: I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated 4 …
Benjamin Dickman's user avatar
10 votes

Origin of the term "generic" in set theory

In trying to trace the history of forcing in an earlier MO question, I came across G.H. Moore's The origins of forcing. I think you can find in Moore's piece an answer to your question, too. On p. 164 …
Benjamin Dickman's user avatar