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 questions only not deleted user 28128

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

7 votes
0 answers
321 views

Gauss, Cantor, and infinite confusion

There is an interesting comment by Gauss on "infinite magnitude as a complete thing" that has invited varying interpretations. In a well-known passage, Gauss criticized the use of infinity in mathema …
7 votes
0 answers
76 views

Earliest historical work on Cauchy's infinitesimal delta functions?

As early as 1981, Hans Freudenthal briefly mentioned Cauchy's work on "singular integrals (i.e., integrals of infinitely large functions over infinitely small paths [$\delta$ functions])" on page 135 …
2 votes
0 answers
113 views

Robinson's views on Heyting's work?

Abraham Robinson and Arend Heyting had mutual respect (though holding differing philosophical views on the nature of mathematics). Heyting repeatedly expressed admiration for Robinson's work; see for …
41 votes
4 answers
7k views

Did Euler prove theorems by example?

In his 2014 book, Giovanni Ferraro writes at beginning of chapter 1, section 1 on page 7: Capitolo I Esempi e metodi dimostrativi Introduzione In The Calculus as Algebraic Analysis, Craig Fraser, r …
19 votes
2 answers
2k views

Did Hilbert discuss his 23 problems with Felix Klein?

Hilbert's lecture at the ICM in Paris in 1900 presented 10 of the famous 23 open problems. It is well known that the idea of the lecture came from Hermann Minkowski. Hilbert was at Göttingen at the ti …
13 votes
4 answers
993 views

Source for analysis of identification of structures in learner's mind and mathematical struc...

Concerning the structure of the learner's mind, psychologist Piaget claimed that There exists, as a function of the development of intelligence as a whole, a spontaneous and gradual construction of e …
17 votes
1 answer
2k views

Did Lagrange change his mind about infinitesimals?

Lagrange is famous for his attempt to found analysis algebraically using power series expansions, an approach that, as we know today, is limited to analytic functions. Lagrange is also known as the in …
7 votes
2 answers
517 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 …
7 votes
6 answers
3k views

Looking for a source for Intended Interpretation

Hao Wang writes: "The originally intended, or standard, interpretation takes the ordinary nonnegative integers $\{0, 1, 2, \ldots \}$ as the domain, the symbols $0$ and $1$ as denoting zero and one, a …
3 votes
2 answers
1k views

Reference for Connes Bourbaki membership or otherwise

Alain Connes being a leading French mathematician today one could ask whether he is a member of the Bourbaki group. Is there a published reference that would either refute or confirm this?
18 votes
2 answers
1k views

New articles by Errett Bishop on constructive type theory?

Recently two formerly unknown articles by Errett Bishop (1928-1983) were posted online by Martín Escardó. One is entitled "A general language", deals with constructive type theory, and is 28 pages lon …
4 votes
2 answers
914 views

Priority for lemniscate of Gerono?

The Lemniscate of Gerono is a special case of the Lissajous curves. The dates for the two mathematicians are fairly close: Gerono (1799-1891) and Lissajous (1822-1880). There seems to have been earl …
21 votes
3 answers
2k 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 successfu …
6 votes
1 answer
727 views

Did Bishop make those comments in his oral presentation?

The 1975 published version of a 1974 talk at a workshop by Errett Bishop contains the following comment: "A more recent attempt at mathematics by formal finesse is non-standard analysis. I gather …
7 votes
1 answer
284 views

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

The original impetus for Sophus Lie's work was apparently to streamline the solution of certain problems of variational type such as those treated in the work of Euler and Lagrange. This presumably i …

15 30 50 per page