Search Results
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 |
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 …