Use this tag for questions concerning history of mathematics, historical primacies of results, and evolution of terminology, symbols, and notations.

learn more… | top users | synonyms (1)

15
votes
1answer
598 views

Polarization: etymology question

The polarization identity expresses a symmetric bilinear form on a vector space in terms of its associated quadratic form: $$ \langle v,w\rangle = \frac{1}{2}(Q(v+w) - Q(v) - Q(w)), $$ where $Q(v) ...
0
votes
1answer
201 views

Where does the % symbol originate from? [duplicate]

Possible Duplicate: What is mathematical basis for the percent symbol (%)? Where does the % symbol originate from?
7
votes
3answers
291 views

The Hopfian property for groups

Let $G$ be a group, which for my purposes would be abelian. To say that $G$ has the Hopf property is to say that every epimorphism of $G$ is an automorphism. Does anyone happen to recall the context ...
10
votes
3answers
906 views

Who introduced the notation $x^2$?

In the book 'Problem Solving and Number Theory' I read The law of quadratic reciprocity was discovered for the first time, in a complex form, by L. Euler who published it in his paper ...
10
votes
1answer
381 views

Is Hilbert's second problem about the real numbers or the natural numbers?

In his famous "23 problems" speech, Hilbert gave his second problem as follows: The axioms of arithmetic are essentially nothing else than the known rules of calculation, with the addition of the ...
2
votes
0answers
1k views

History of mathematical symbols, especially the symbol for right angle

Yesterday a child asked me, why (historically) a right angle is denoted by an arc and a dot like in this picture: I dont't know it, but I am interested in it too, so I post this question to this ...
0
votes
1answer
1k views

History of solving linear equations with matrices

I'm solving linear equations with matrices right now and I wonder, how did it start. Who, how, why came to idea that such kind of equations could be solved with matrices? What was first: matrix or ...
13
votes
2answers
2k views

Curious about math and Soviet Union

Why so many very good books were written by authors with Russian surnames?
11
votes
1answer
716 views

Why is $i$ called “imaginary”?

I was reading this question, and, after reading the responses, I felt like I had a much better understanding about how they're just another type of number definition. Why, then, are they called ...
18
votes
1answer
685 views

Did Leonardo of Pisa prove $n=4$ case of FLT?

Reputable on-line sources agree that Leonard 'Fibonacci' proved the nonexistence of positive-integer solutions to $c^4 - b^4 = a^2$ . Yet my change to Wikipedia to reflect this was reverted. I hope ...
7
votes
2answers
222 views

Which is the primary source of the Conway base 13 function?

I have been looking for the first appearance of the Conway base 13 function in the literature, but the only thing I have found is the wikipedia article whose unique element in the bibliography I ...
4
votes
2answers
274 views

Rota's “lure of the algorithm”?

Quoting Gian-Carlo Rota (from the Foreword to Richard Stanley's Enumerative Combinatorics Volume I), "In mathematics, however, the burden of choice faced by the writer is so heavy as to turn off all ...
22
votes
2answers
2k views

Origins of the modern definition of topology

The modern definition of topology is 'a family of subsets of a set $X$ containing the empty set and $X$, closed under unions and finite intersections'. In Grundzüge der Mengenlehre (1914) Hausdorff ...
3
votes
1answer
1k views

Why are variables lowercased?

While contemplating the existence of math, I came across an interesting problem: Why are variables often lowercased? There may not be a reason, but if there is, I would like to find out. Maybe it's ...
0
votes
1answer
185 views

When - during the study and development of- - and how were complex numbers introduced in the study of [real-valued] power series (expansions)?

Follow-up to: Mathematical reason for the validity of the equation: $S=1+x^2S$ and General question on relation between infinite series and complex numbers (This question seems broad at this stage, ...
1
vote
2answers
381 views

What is the origin of the prefix logic notation used in WFF 'N PROOF?

The classic "modern logic" game of WFF 'N PROOF uses a set of symbols to represent logical relations that I've seen used nowhere else: $C$ for then; $A$ for or; $K$ for and; $E$ for if and only if; ...
1
vote
1answer
392 views

Why is the zero factorial one i.e ($0!=1$)? [duplicate]

Possible Duplicate: Prove $0! = 1$ from first principles Why does 0! = 1? I was wondering why, $0! = 1$ Can anyone please help me understand it. Thanks.
3
votes
0answers
247 views

What's the origin of the terminology “Normalization” in commutative algebra?

Since the terminology "normal", "normalized", etc has different meanings in mathematics (some geometric in flavor, like when referring to perpendicularity) and I just read in Eisenbud's book on ...
18
votes
2answers
1k views

Once and for all - “Rational numbers” - because of ratio, or because they make sense?

This is a question I'm sure was asked before but I can't find it. There are many sources claiming that the term "rational number" for the elements of $\mathbb{Q}$ comes from the word "ratio", since a ...
8
votes
2answers
796 views

Historical basis and mathematical significance of Riemann surfaces

It is written in Riemann Surfaces (Oxford Graduate Texts in Mathematics) by Simon Donaldson, that: "[t]he theory of Riemann surfaces occupies a very special place in mathematics. It is a culmination ...
6
votes
2answers
185 views

History of the vocabulary for group extensions

In regular everyday English if you say something like "A was extended by B to get C", to me it means that A was in existence, B was added onto it, and now there is a larger object C. For example, ...
1
vote
1answer
246 views

Historical reason for calling $\nabla\cdot F$ divergence?

Consider the continuously differentiable vector field in ${\mathbb R}^3$: $$ F:{\mathbb R}^3\to{\mathbb R}^3,\qquad F(x,y,z)=(U,V,W) $$ where $$ U,V,W:{\mathbb R}^3\to{\mathbb R}. $$ According to ...
27
votes
3answers
2k views

Why is lambda calculus named after that specific Greek letter? Why not “rho calculus”, for example?

Where does the choice of the Greek letter $\lambda$ in the name of “lambda calculus” come from? Why isn't it, for example, “rho calculus”?
4
votes
1answer
144 views

Counting bases to which numbers are pseudoprime

Let $n=p_1^{a_1}\cdots p_k^{a_k}$ be an odd composite. Then the number of bases $1\le b\le n-1$ for which n is a strong pseudoprime is $$ \left(1 + \frac{2^{k\nu}-1}{2^k-1}\right) ...
4
votes
2answers
2k views

What did Simon Norton do after 1985?

Simon Norton is a mathematician that worked on finite simple groups and co-authored the Atlas of Finite Groups. With John Conway they proved there is a connection with the Monster group and the ...
27
votes
3answers
2k views

Where can I find the old papers of the Math Tripos?

Is there a repository on the Internet which has the old question papers of the tripos? I am specifically interested in the papers during the 1890-1910 era, which was the era before the reforms, ...
29
votes
4answers
6k views

Origin of the dot and cross product?

Most questions usually just relate to what these can be used for, that's fairly obvious to me since I've been programming 3D games/simulations for a while, but I've never really understood the inner ...
5
votes
1answer
522 views

Is the Unicode designed assuming the Continuum Hypothesis?

The Unicode chart for "letterlike symbols" states that א 2135 ALEF SYMBOL = first transfinite cardinal (countable) ב 2136 BET SYMBOL = second transfinite cardinal (the continuum) I ...
1
vote
1answer
2k views

Proofs of Hyperbolic Functions

I know that functions which are associated with the geometry of the conic section called a hyperbola are called hyperbolic functions. But where on earth did '$e$' come from? I really don't ...
120
votes
1answer
11k views

Why are rings called rings?

I've done some search in Internet and other sources about this question. Why the name ring to this particular object? Just curiosity. Thanks.
15
votes
6answers
3k views

Motivation of the Gaussian Integral

I read on Wikipedia that Laplace was the first to evaluate $$\int\nolimits_{-\infty}^\infty e^{-x^2} \, \mathrm dx$$ Does anybody know what he was doing that lead him to that integral? Even better, ...
8
votes
1answer
541 views

What is the primary source of Hilbert's famous “man in the street” statement?

I read somewhere a long time ago that Hilbert once said words (no doubt in German) to the effect that any mathematician worth his salt ought to be able to explain his results to any man in the street. ...
3
votes
2answers
506 views

When was the last prime number discovered? [closed]

By last, I mean the most recently discovered prime number. What was the length of time between the discovery of the last two prime numbers?
17
votes
1answer
929 views

What was the last mathematical paper published in Latin?

From an answer to a previous question I learned that Peano published in Latin as long as 1889. What was the last mathematical paper/book of recognized importance published in Latin?
27
votes
5answers
2k views

Who invented $\vee$ and $\wedge$, $\forall$ and $\exists$?

I can rather easily imagine that some mathematician/logician had the idea to symbolize "it E xists" by $\exists$ - a reversed E - and after that some other (imitative) mathematician/logician had the ...
13
votes
2answers
2k views

Hardy / Wright's intro to number theory is highly praised but has no exercises

"An introduction to the theory of numbers, G.H Hardy, E.M. Wright, revised by D.R. Heath-Brown, J.H. Silverman. Originally published 1938. Sixth edition 2008 with a foreword by Andrew Wiles" is AFAIK ...
12
votes
2answers
406 views

What's the history of the result that $p_{n+1} < p_n^2$, and how difficult is the proof?

In Edsger Dijkstra's monograph "Notes on Structured Programming", he describes a simple imperative program for generating an array of the first $n$ primes. For each prime $p_n$, it finds the next ...
11
votes
3answers
2k views

Provenance of Hilbert quote on table, chair, beer mug

All over the web one can find statements to the effect that: "One must be able to say at all times--instead of points, straight lines, and planes--tables, chairs, and beer mugs" There are many ...
11
votes
2answers
416 views

What's the “geometry” in “geometric multiplicity”?

The geometric multiplicity of an eigenvalue is defined as the dimension of the associated eigenspace, i.e. number of linearly independent eigenvectors with that eigenvalue. Here are my questions: ...
42
votes
1answer
4k views

Was Grothendieck familiar with Stone's work on Boolean algebras?

In short, my question is: Was Grothendieck familiar with Stone's work on Boolean algebras? Background: In an answer to Pierre-Yves Gaillard's question Did Zariski really define the Zariski ...
32
votes
0answers
1k views

Irrationality of $e$

I have a question about the irrationality of $e$: In proving the irrationality of $e$, one can prove the irrationality of $e^{-1}$ by using the series $$e^x = 1+x+\frac{x^2}{2!} + \cdots + ...
18
votes
2answers
946 views

Did Zariski really define the Zariski topology on the prime spectrum of a ring?

The question is not: “Did Zariski really define the Zariski topology?” It is: “Did Zariski really define the Zariski topology on the prime spectrum of a ring?” Here is the motivation. --- On page ...
9
votes
1answer
455 views

who first defined a tangent to a circle as a line meeting it only once?

From googling, it seems commonly believed that Euclid did this, but it seems nowhere in Euclid does he even state this property of a tangent line explicitly. Rather Euclid gives 4 other equivalent ...
18
votes
1answer
1k views

About a paper of Zermelo

This about the famous article Zermelo, E., Beweis, daß jede Menge wohlgeordnet werden kann, Math. Ann. 59 (4), 514–516 (1904), available here. Edit: Springer link to the ...
115
votes
10answers
8k views

Why do people use “it is easy to prove”?

Math is not generally what I am doing, but I have to read some literature and articles in dynamic systems and complexity theory. What I noticed is that authors tend to use (quite frequently) the ...
9
votes
0answers
406 views

notation for ramification index and inertial degree

For a prime $Q$ lying over a prime $P$, I have seen the ramification index of $Q$ over $P$ denoted by $e(Q|P)$ and the inertial degree of $Q$ over $P$ by $f(Q|P)$. What is the origin of the ...
19
votes
3answers
2k views

What is the origin of the expression “Yoneda Lemma”?

Thank you very much in advance for telling where the expression “Yoneda Lemma” comes from. EDIT 1. On page -14 of Reprints in Theory and Applications of Categories, No. 3, 2003. Abelian Categories, ...
5
votes
3answers
1k views

Understanding of the Mean Value Theorem in PDE

I learned the following theorem in Folland's Introduction to Partial Differential Equations(p.69 Chapter 2): Suppose $u$ is harmonic on an open set $\Omega\subset{\mathbb R}^n$. If $x\in\Omega$ ...
4
votes
2answers
347 views

Models of hyperbolic geometry

Wikipedia states the following: [The Poincaré half-plane model of hyperbolic geometry] is named after Henri Poincaré, but originated with Eugenio Beltrami, who used it, along with the Klein model ...
12
votes
1answer
2k views

Proof of Euler's Theorem without abstract algebra?

Every proof I've seen of Euler's Theorem (that $\gcd(a,m) = 1 \implies a^{\phi(m)} \equiv 1 \pmod m$) involves the fact that the units of $\mathbb{Z}/m\mathbb{Z}$ form a group of order $\phi(m)$. ...