Hilbert's logic. From axiomatics to proof theory
type: Item
instance of: scholarly article
title: Hilbert's logic. From axiomatics to proof theory
zbMATH Open document ID: 0908.01010
DOI: 10.1007/BF02913699
author: Volker Peckhaus
published in: NTM. Neue Serie
publication date: 1999-03-02T00:00:00Z
review text: This is a well-documented survey of the development of David Hilbert's views on foundational questions, starting with the foundations of geometry in the 1890s and ending with the proof-theoretical programme of the 1920s. The paper is organized around the question of Hilbert's understanding of logic and of its function in mathematics, the influences under which that understanding evolved, as well as its position in the foundational world of the 20th century.
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 00A30
zbMATH DE Number: 1208069
zbMATH Keywords: proof theory
zbMATH Keywords: survey
zbMATH Keywords: development of David Hilbert's views on foundational questions
zbMATH Keywords: geometry
zbMATH Keywords: logic
reviewed by: Victor V. Pambuccian
MaRDI profile type: Publication
cites work: Q4697299
cites work: Hilbert's ϵ‐operator in intuitionistic type theories
cites work: Hilbert's \(\varepsilon{}\)-operator and classical logic
cites work: Q5617609
cites work: Q4108283
cites work: Q3244742
cites work: Q5288301
cites work: The consistency of arithmetics
cites work: Q5762262
cites work: Q5536199
cites work: Q4756727
cites work: Q5772177
cites work: Die Widerspruchsfreiheit der klassischen Analysis
cites work: Q3997466
cites work: Burali-Forti's paradox: A reappraisal of its origins
cites work: Q3999367
cites work: ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen
cites work: Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
cites work: Zermelo's discovery of the ''Russell paradox''
cites work: Q5587066
cites work: Q3816045
cites work: Q5641118
cites work: David Hilbert and his mathematical work
cites work: Q4357731
full work available at URL: https://doi.org/10.1007/bf02913699
OpenAlex ID: W2064017287
description: scientific article; zbMATH DE number 1208069