8
votes
Hilbert's and Gödel's expanded definition of "Recursive Function"
In Recursive predicates and quantifiers (Trans. Amer. Math. Soc. 53 (1943), 41-73) Kleene gives a description of general recursive functions acording to Herbrand and Gödel, as understood before the ...
- 48k
6
votes
Etymology of “real numbers"
I believe the distinction between real and imaginary number was introduced first by Descartes; e.g.,
Au reste, tant les vraies racines que les fausses ne sont pas toujours réelles, mais quelquefois ...
- 15.4k
5
votes
Journal of serious opinions on weighty matters for mathematicians
This question was asked some time ago but remains on the unanswered queue. I want to echo Nate's comment regarding the Journal of Humanistic Mathematics. I've published two papers there. The first one ...
3
votes
Comparative analysis of history of mathematics
There is a lot of material on this topic, mostly scattered. But a good place to start is this book:
The Architecture of Modern Mathematics, ed. J. Ferreiros & J. Gray. Oxford Univ Press, 2006.
My ...
- 31
3
votes
Is there something I am missing about the computation of the $p$-part of the class groups of cyclotomic fields?
Recently, I stumbled coincidentally on the paper
Computation of invariants in the theory of cyclotomic fields K. Iwasawa and C. Sims J. Math. Soc. Japan Vol.18 (1966)
This explains in full details how ...
- 10.3k
1
vote
Accepted
A metric characterization of Hilbert spaces
Probably I.G. Nikolaev.
See Theorem 10.10.13 in Burago, Dmitri; Burago, Yuri; Ivanov, Sergei
"A course in metric geometry" [https://www.ams.org/books/gsm/033/][1]
Hat tip to A. Eskenazis who ...
- 361
1
vote
What do you call an object constructed as part of a proof?
Two kinds of "objects" popping up in proofs come to my mind:
One defines object X and then proves that X has some required properties. In this case I'd call X a "candidate" when ...
- 4,263
1
vote
Grothendieck on topological vector spaces
Maybe you will find interesting the following references
Grothendieck's Theorem, past and present, Pisier
or
Grothendieck’s works on Banach spaces and
their surprising recent repercussions
A. ...
Only top scored, non community-wiki answers of a minimum length are eligible