Foundations for analysis and proof theory
type: Item
instance of: scholarly article
title: Foundations for analysis and proof theory
zbMATH Open document ID: 0547.01013
DOI: 10.1007/BF00485460
author: Wilfried Sieg
published in: Synthese
publication date: 1984-01-01T00:00:00Z
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.
reviewed by: J. Goncerzewicz
Mathematics Subject Classification ID: 01A55
Mathematics Subject Classification ID: 01A50
Mathematics Subject Classification ID: 26-03
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 3871283
zbMATH Keywords: proof theory
zbMATH Keywords: arithmetization
zbMATH Keywords: consistency of arithmetic
zbMATH Keywords: metamathematics
zbMATH Keywords: conservative extension
MaRDI profile type: Publication
cites work: Q4101779
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Systems of predicative analysis
cites work: Q5622162
cites work: Q5619071
cites work: Bertrand Russell, as Mathematician
cites work: Grundlagen der Mathematik I
cites work: A survey of proof theory
cites work: Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
cites work: Functionals defined by transfinite recursion
cites work: Two Applications of Logic to Mathematics
cites work: Q5573940
full work available at URL: https://doi.org/10.1007/bf00485460
OpenAlex ID: W4241840281
description: scientific article; zbMATH DE number 3871283