Foundations for analysis and proof theory

DOI10.1007/BF00485460MaRDI QIDQ798634zbMATH OpenOpenAlexFDO

Authors Wilfried Sieg

Publication date 1984

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00485460

zbMATH Keywords

arithmetizationconservative extensionconsistency of arithmeticmetamathematicsproof theory

Mathematics Subject Classification ID

History of mathematics in the 18th century (01A50) History of mathematics in the 19th century (01A55) Proof theory and constructive mathematics (03F99) History of real functions (26-03)

Review text

After some rather forced assertions of the primacy of arithmeticising tendencies in late 18th and early 19th-century analysis, the author recalls Dedekind's definition of an irrational number in terms of a cut, Hilbert's interest in the consistency of arithmetic, and Russell's and Whitehead's motivations in Principia mathematica. He then turns to aspects of Hilbert's metamathematics, especially as related to analysis, and moves on to recent studies in, and of, these areas. In his concluding section he appraises the interpretation of analysis as a conservative extension of arithmetic.

Recommendations

• Dedekind's analysis of number: Systems and axioms
• Hilbert's programs and beyond
• scientific article; zbMATH DE number 4051610
• scientific article; zbMATH DE number 1024384
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics

Cites work

• A survey of proof theory
• Bertrand Russell, as Mathematician
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Functionals defined by transfinite recursion
• Grundlagen der Mathematik I
• scientific article; zbMATH DE number 3523506 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3342822 (Why is no real title available?)
• scientific article; zbMATH DE number 3346319 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Systems of predicative analysis
• Two Applications of Logic to Mathematics

Cited in

(7)

• Proof theory and ordinal analysis
• scientific article; zbMATH DE number 5652610 (Why is no real title available?)
• Hilbert's Programs: 1917–1922
• Hilbert's program and the omega-rule
• scientific article; zbMATH DE number 1418078 (Why is no real title available?)
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• Hilbert's program revisited

This page was built for publication: Foundations for analysis and proof theory

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