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

**8**

**1**answer

### Whence “Durchschnitt” and “Vereinigung”?

**67**

**5**answers

### Has incorrect notation ever led to a mistaken proof?

**9**

**2**answers

### What did the Intuitionists want to do with applied mathematics?

**8**

**1**answer

### Origin of the concept of “homomorphism”? [duplicate]

**0**

**0**answers

### Did Srinivasa Ramanujan have a surviving sibling? [migrated]

**34**

**5**answers

### “Long-standing conjectures in analysis … often turn out to be false”

**13**

**2**answers

### Who first chose the names Alice and Bob for players A and B? [closed]

**18**

**0**answers

### Eckmann-Hilton argument / Grothendieck

**4**

**1**answer

### Constructibility of the regular 17-gon [closed]

**26**

**1**answer

### Why did Euler consider the zeta function?

**4**

**2**answers

### Priority for lemniscate of Gerono?

**3**

**0**answers

### In history of algebra, who was the first to add one equation to another equation?

**3**

**0**answers

### Kodaira's Fields medal citation

**50**

**2**answers

### How were modular forms discovered?

**4**

**1**answer

### Citations graphs what is known?

**50**

**5**answers

### The Logic of Buddha: A Formal Approach

**13**

**1**answer

### Some clarifications on Connes' approach to RH

**4**

**0**answers

### History of the relation between $p$-adic measures and power series

**1**

**0**answers

### On the basis of a finite dimensional vector space (revised)

**16**

**1**answer

### New articles by Errett Bishop on constructive type theory?

**2**

**1**answer

### History of an open problem on partial tilting modules

**13**

**2**answers

### “This category obviously leads to paradoxes of set theory.” What is the paradox?

**10**

**1**answer

### Ehresmann's approach to differential geometry

**3**

**1**answer

### Who was the first to capitalize Real?

**7**

**1**answer

### Who was in the Fields committee for ICM 1962 (the first appointed by IMU)?

**24**

**4**answers

### What “metatheory” did early set theory/logic researchers use to prove semantic results?

**12**

**1**answer

### Historically, which came first: the Lie algebras or their classification?

**1**

**1**answer

### Different definitions of category

**7**

**0**answers

### What is your favourite wrong proof of RH? [closed]

**28**

**2**answers

### When did people start thinking of elliptic curves as groups?

**2**

**0**answers

### Properties of inverse Cayley-Menger matrices

**39**

**1**answer

### Did Hilbert laugh?

**1**

**1**answer

### Intuition behind the proof of key step in Minkowski's second inequality on successive minima

**3**

**0**answers

### Bound on local packing density of 2D Delaunay cell

**7**

**0**answers

### Where can I find Rademacher's wrong disproof of the Riemann Hypothesis?

**10**

**1**answer

### History of the classification of mathematical subjects

**8**

**1**answer

### What is the translation of this ancient Greek verb πυθαγοριζει

**2**

**1**answer

### History of Fargues-Fontaine curve

**19**

**1**answer

### Who was Heinrich Hake?

**8**

**1**answer

### Sophus Lie's contribution to solution of problems of variational type as in Euler and Lagrange

**8**

**2**answers

### On Street's “australian conspectus”

**2**

**1**answer

### Who first used the word “Homomorphism”? [duplicate]

**16**

**2**answers

### Who first used the word “Simplex”?

**11**

**1**answer

### History of publication of von Neumann's characterization of orthogonally invariant matrix norms

**2**

**1**answer

### Cantelli's inequality: the original source

**12**

**1**answer

### Lalouvère's activities as censor

**11**

**2**answers

### Who first defined locally convex topological vector spaces?

**3**

**0**answers

### Was Martin-Löf inspired by Peirce when he introduced the dependent sum and dependent product types?

**41**

**18**answers

### Mathematical research interrupted by a war

**9**

**0**answers