Hilbert's logic. From axiomatics to proof theory

DOI10.1007/BF02913699zbMath0908.01010OpenAlexW2064017287MaRDI QIDQ1267397

Volker Peckhaus

Publication date: 2 March 1999

Published in: NTM. Neue Serie (Search for Journal in Brave)

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

zbMATH Keywords

surveygeometryproof theorylogicdevelopment of David Hilbert's views on foundational questions

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (2)

Hilbert's Programs: 1917–1922 ⋮ Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic

Cites Work

• Zermelo's discovery of the Russell paradox
• Burali-Forti's paradox: A reappraisal of its origins
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Die Widerspruchsfreiheit der klassischen Analysis
• ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen
• Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
• Hilbert's ϵ‐operator in intuitionistic type theories
• David Hilbert and his mathematical work
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hilbert's logic. From axiomatics to proof theory