Foundational problems of number theory

DOI10.1305/NDJFL/1093888210MaRDI QIDQ1844201zbMATH OpenOpenAlexFDO

Authors Yvon Gauthier

Publication date 1978

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093888210

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99) History of number theory (11-03)

Review text

This paper is essentially a critical discussion of some of the foundational problems of number theory. Classical results, such as the prime number theorem, Dirichlet's theorem, etc. \dots are stated in view of analysing the distinction between transcendental and constructive methods of proof. The author suggests informally a scheme -- the notion of ``effinite -- which is meant to replace the use of infinities in mathematics. The paper ends with a discussion of H. Putnam's modal interpretation of mathematics and G. Kreisel's criticisms. There are also historical remarks concerning the significance of H. Weyl's works on the problem of the continuum and recent work in number theory.

Recommendations

• scientific article; zbMATH DE number 4089494
• A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory
• Foundations of mathematics: an optimistic message
• Introduction
• scientific article; zbMATH DE number 1927123

Cited in

(1)

• A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory

This page was built for publication: Foundational problems of number theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1844201)