×

La théorie d’Artin et Schreier et l’analyse non-standard d’Abraham Robinson. (French) Zbl 0577.01033

In the introduction of his first paper on nonstandard analysis [Proc. K. Ned. Akad. Wet., Ser. A 64, 432-440 (1961; Zbl 0102.007)], A. Robinson refers to the work of Artin and Schreier on the algebraic construction of real fields. This paper analyzes the relations between this paper of Artin-Schreier and the genesis of Robinson’s nonstandard analysis, specially through a study of Robinson’s first book on the metamathematics of algebra. There, with his own methods, Robinson reproves the possibility of a non-archimedian ordered field where the basic theorems of real algebra (in particular the Bolzano theorem) are satisfied. The author concludes by claiming that Robinson’s nonstandard analysis is a consequence of progress made outside of analysis, namely Skolem’s extensions of the system of natural numbers and the concept of real closed field.
Reviewer: J.Mawhin

MSC:

01A60 History of mathematics in the 20th century
03H05 Nonstandard models in mathematics

Biographic References:

Artin, E.; Schreier, O.; Robinson, A.

Citations:

Zbl 0102.007
Full Text: DOI