**15**

votes

**4**answers

949 views

### Who first used the multiplication operator version of spectral theory

This is another history question.
Hilbert phrased the spectral theorem in terms of resolutions of the identity.
While this remained the form of Stone and von Neumann, they did also have the ...

**13**

votes

**3**answers

344 views

### Origin of number theoretic invariants associated to hyperbolic 3-manifolds

I've been studying number theoretic methods of classifying hyperbolic 3-manifolds for over a year now. In particular, there is are the trace field, invariant trace field, quaternion algebra, and ...

**64**

votes

**10**answers

7k views

### Have you solved problems in your sleep?

I have hit upon major (for me—relative to my trivial accomplishments)
insights in my research
in various sleep-deprived altered states of consciousness,
e.g., long solo car-drives extending ...

**18**

votes

**1**answer

1k views

### Reference for Diagonalization Trick

There is a standard trick in analysis, where one chooses a subsequence, then a subsequence of that... and wants to get an eventual subsubsequence of all of them and you take the diagonal. I've always ...

**2**

votes

**3**answers

769 views

### The Hidden Aspect of Set Theory [closed]

This question is inspired by a similar question at the beginning of Kunen's new book, "Set Theory".
Many mathematicians believe they are exploring a "real" universe. In such a Platonic point of ...

**1**

vote

**1**answer

133 views

### Original sources for two theorems by Bass, Matlis and Papp

It is an interesting fact that a commutative ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective, and if and only if every injective $R$-module is a direct sum of ...

**13**

votes

**2**answers

592 views

### What was the Question that led Euler to his Investigations on Polyhedra?

The question that led Euler to his investigations on graphs is the well-known question related to the seven bridges of Königsberg, and that story is a must in every introduction to graph theory.
...

**4**

votes

**1**answer

318 views

### What is the early history of the concepts of probabilistic independence and conditional probability/expectation?

In the 1738 second edition of The Doctrine of Chances, de Moivre writes,
Two Events are independent, when they have no connexion one with the other, and that the happening of one neither forwards ...

**7**

votes

**2**answers

605 views

### $\aleph$ looks like $\mathbb N$?

We all know the notation $\aleph_\lambda$ for the $\lambda$th (or, I guess, $\lambda+1$st) infinite cardinal number; in particular $\aleph_0$ is the cardinality of the the set of natural numbers $\...

**1**

vote

**0**answers

471 views

### Is it possible to give a fair assessment of the influence of Bourbaki's “Eléments de mathématique”? [closed]

Well, I apologize if this "soft-question" (related to the "Arnold-Serre" debate) is considered as irrelevant for MO, and for possible misunderstandings in the two earlier versions of this post (which ...

**1**

vote

**1**answer

168 views

### First Parameterized Subset of Primes that was Related to a Mathematical Result

To my knowledge, Fermat primes, i.e. primes of the form $2^{2^n}+1$ were the first to play a role in a mathematical result, namely in the characterization of constructible regular n-gons. Gauss ...

**24**

votes

**2**answers

2k views

### Was Vinogradov's 1937 proof of the three-prime theorem effective?

Was Vinogradov's first proof of the three-prime theorem effective?
Reasons for my question: Vinogradov presented his proof in 1937 in a monograph; the English translation by K.F. Roth and A. ...

**10**

votes

**1**answer

485 views

### Who first resolved Hilbert's 20th problem?

Hilbert's 20th problem concerns the existence of solutions to the fundamental problem in the calculus of variations. I understand that Hilbert, Lesbesgue and Tonelli were pioneers in this area.
In ...

**9**

votes

**2**answers

2k views

### Ramanujan's tau function

Why was Ramanujan interested in the his tau function before the advent of modular forms? The machinery of modular forms used by Mordel to solve the multiplicative property seems out of context until I ...

**14**

votes

**2**answers

906 views

### Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman:
A connected open subset $D$ of the plane $\mathbb C$
is simply connected
if and only if its complement $\widetilde D = \mathbb C \setminus D$
...

**79**

votes

**9**answers

9k views

### Analogues of P vs. NP in the history of mathematics

Recently I wrote a blog post entitled "The Scientific Case for P≠NP". The argument I tried to articulate there is that there seems to be an "invisible electric fence" separating the problems in P ...

**6**

votes

**1**answer

954 views

### Source for Derogatory Quote About Graph Theory

(Edited in accordance with suggestions in comments.)
I remember once I read a quote that sounded like "graph theory is the scum of topology" (please approximate). I can not find it on the web, and I ...

**0**

votes

**3**answers

645 views

### Definition of Prime Numbers [duplicate]

The first time I heard of prime numbers, they were defined as natural numbers $n$ that can only be divided by 1 and themselves without remainder; later, when prime factorization was introduced, I ...

**26**

votes

**1**answer

5k views

### Who made the famous error in calculation that 'wasted' the final years of his life?

Sorry, I am merely a Middle School maths teacher at an Australian secondary school. I remember reading years ago about a famous mathematician (18th or 19th Century?) who calculated table upon table of ...

**10**

votes

**2**answers

439 views

### Historical quotation search: Equations/formulae in (Latin?) prose, before modern symbolic notation

I have been trying, without success, to find a vaguely-remembered quotation: the quadratic equation (or perhaps the quadratic formula), given in (Latin?) prose, along lines like “Consider that ...

**9**

votes

**1**answer

738 views

### Why are they called Specht Modules?

I know that the simple modules of $\mathbb{C}S_n$ are called Specht Modules, and they are named after the German Mathematician Wilhelm Specht because he studied them, but I think these modules were ...

**4**

votes

**1**answer

606 views

### Origin of “Woodin cardinal”

Sorry if this is a completely stupid question (I'm a not a set-theorist, though I've been doing some reading in the subject), but I was wondering, specifically, about the exact provenance of the name. ...

**18**

votes

**2**answers

1k views

### Felix Klein on mean value theorem and infinitesimals

This is a reference request prompted by some intriguing comments made by Felix Klein.
In 1908, Felix Klein formulated a criterion of what it would take for a theory of infinitesimals to be ...

**13**

votes

**2**answers

674 views

### Riemann's quote cited by Lakatos: what is the context?

"If only I had the theorems! Then I should find the proofs easily enough."
This quote is generally attributed to Bernhard Riemann. In particular,
on page 9 in Proofs and refutations by Imre Lakatos,...

**12**

votes

**0**answers

578 views

### How come Cartan did not notice the close relationship between symmetric spaces and isoparametric hypersurfaces?

Elie Cartan made fundamental contributions to the theory of Lie groups and their geometrical applications. Among those, we can list the introduction of the remarkable family of Riemannian symmetric ...

**3**

votes

**2**answers

318 views

### Is there a source linking Robinson's work in wing theory with his theory of infinitesimals?

Abraham Robinson worked in applied mathematics for several decades. MathSciNet lists 12 articles by Robinson in wing theory. His production included the book
Robinson, A.; Laurmann, J. A. Wing theory....

**11**

votes

**2**answers

290 views

### Did the notion of “angle” originate with Thales?

Thales (circa 600BC—roughly 50 years before Pythagoras, 200 years before Plato,
and 300 years before Euclid)
certainly knew and reasoned with the concept of a planar angle.
Are there earlier ...

**12**

votes

**0**answers

330 views

### Who stated and proved the “Hopf lemma” on bilinear maps?

If $A\otimes B\rightarrow C$ is a nondegenerate linear map, where $A, B, C$ are vector spaces over an algebraically closed field, then $\dim C\ge \dim A + \dim B -1$.
Nondegenerate here means that ...

**16**

votes

**2**answers

1k views

### Original manuscript of Archimedes' cattle problem

Wikipedia states that
[Archimedes' cattle problem] was discovered by Gotthold Ephraim Lessing in a Greek manuscript containing a poem of forty-four lines, in the Herzog August Library in ...

**2**

votes

**1**answer

302 views

### What are the Reasons for the Ambiguous Meaning of “Distribution” in Mathematics

The term "distribution" is commonly associated with statistics and, less commonly known, to generalized functions.
Questions:
what is known about the origin of the term in the two fields?
are the ...

**5**

votes

**1**answer

504 views

### Why does the gamma function use the symbol $\Gamma(\,)$?

I am aware of some of the history of the gamma function $\Gamma(z)$, partly through
a 2009(!) MO question "Who invented the gamma function?"—Euler, Bernoulli, etc.
My question does not seem to ...

**9**

votes

**0**answers

266 views

### From Frege to Gödel - German equivalent?

I know this question does not quite fit here, but I felt it could best be answered here. I recently stumbled upon the book From Frege to Gödel, which is a sourcebook containing some of the most ...

**20**

votes

**1**answer

1k views

### history of quaternion algebras

Who is responsible for the generalization of Hamilton's quaternions to other types of quaternion algebras, and when did this occur? In particular, Hamilton's quaternions are the 4-dimensional algebra ...

**9**

votes

**3**answers

945 views

### history of calculus of several variables

Everybody knows that Leibniz and Newton (or Newton and Leibniz, if you wish) invented calculus, i.e. they developed the notion of differentiability for a function of one real variable. But who had for ...

**37**

votes

**3**answers

2k views

### Why aren't fields called “bodies” instead?

The discrepancy regarding the names of commutative division algebras in German and English has always startled me. In English they are called fields, whereas their original German name is Körper (...

**12**

votes

**4**answers

1k views

### What properties of knots lead Lord Kelvin to hypothesize that atoms were knots in the ether?

I've often heard that Lord Kelvin was one of the first people to study knot theory, as he hypothesized that atoms were knots in the ether. I assume that he had some compelling evidence for this fact.
...

**2**

votes

**2**answers

323 views

### Origin of the name “Torelli group”

The genus $g$ Torelli group $I_g$ is the kernel of the action of the mapping class group of a genus $g$ surface on the first homology group of the surface.
The first paper I am aware of that uses the ...

**5**

votes

**2**answers

494 views

### How was Christoffel a 'whimsical eccentric'?

I've seen several citations of a letter from Weierstrass, talking about his dispute with Kronecker, in which he refers to Christoffel as a 'whimsical eccentric' (presumably the German original is ...

**6**

votes

**1**answer

461 views

### Origin of the term “weight” in representation theory

In representation theory, there are the related concepts of weights and roots. Since both are kinds of generalised eigenvalues, and eigenvalues are roots of e.g. the characteristic polynomial, the ...

**12**

votes

**3**answers

2k views

### History and motivation for Tannaka, Krein, Grothendieck, Deligne et al. works on Tannaka-Krein theory?

I am trying to wrap my mind around Tannaka-Krein duality and it seems quite mysterious for me, as well, as its history. So let me ask:
Question: What was the motivation and historical context for ...

**31**

votes

**3**answers

3k views

### Did ancient mathematicians know Euler's characteristic for convex polyhedra?

The formula $V-E+F=2$ is so simple that I can't believe that it was really Euler (or perhaps Descartes) who first observed it (I mean the formula itself in some generality, not necessarily a valid ...

**18**

votes

**2**answers

2k views

### Where are Georg Cantor's Original Manuscripts?

Georg Cantor is famous for introducing transfinite numbers and set theory.
A main part of his mathematical point of view about this new type of "numbers" and this new "realm of mathematics" cannot be ...

**43**

votes

**4**answers

4k views

### The Arnold – Serre debate

I have read (but I cannot now find where) that Arnold & Serre had a public debate on the value of Bourbaki. Does anyone have more details, or remember or know what was said?

**2**

votes

**1**answer

168 views

### why the difference between terms and propositional variables?

Reading some old logic texts (written around 1930) I noticed that these texts make no difference between propositional variables and terms.
They do make difference between identity and truthvalue
...

**62**

votes

**15**answers

7k views

### Mathematical research published in the form of poems

The article
Friedrich Wille: Galerkins Lösungsnäherungen bei monotonen Abbildungen,
Math. Z. 127 (1972), no. 1, 10-16
is written in the form of a lengthy poem, in a style similar to that
of the ...

**7**

votes

**0**answers

248 views

### Reference Request: Topological h-cobordism theorem in higher dimensions

I think this question on math.stackexchange is more appropriate on mathoverflow. Correct me, if you don't think so.
The h-cobordism theorem is true in the topological and in the smooth category in ...

**2**

votes

**0**answers

206 views

### Does anyone know what is the right reference for the following simple lemma from harmonic analysis?

The lemma says that given $\lambda\geq 1$, $p\geq 1$, $a_j\geq 0$, for a collection of balls $\{B_j\}_{j\in\mathbb{N}}$ in $\mathbb{R}^n$, it holds
$$\|\sum_j a_j\chi_{\lambda B_j}\|_p\leq C(n,p,\...

**59**

votes

**22**answers

9k views

### Examples of major theorems with very hard proofs that have NOT dramatically improved over time

This question complement a previous MO question: Examples of theorems with proofs that have dramatically improved over time.
I am looking for a list of
Major theorems in mathematics whose proofs ...

**10**

votes

**1**answer

503 views

### Why did Alonzo Church choose the letter $\lambda$ as the “binding operator”?

Is there any known reason why Alonzo Church chose Greek $\lambda$ as the "binding operator" for the Lambda Calculus?

**7**

votes

**1**answer

668 views

### History of Jordan Canonical Form?

Can anyone suggest a reference that discusses the history of the Jordan canonical form? In particular, I am interested in:
When and how was it first stated? (I understand it was independently stated ...