Hilbert's logic. From axiomatics to proof theory

DOI10.1007/BF02913699zbMATH Open0908.01010OpenAlexW2064017287MaRDI QIDQ1267397FDOQ1267397

Authors: 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

Recommendations

• Hilbert's programs and beyond
• scientific article; zbMATH DE number 2216773
• Hilbert, logicism, and mathematical existence
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

zbMATH Keywords

geometrysurveyproof theorylogicdevelopment of David Hilbert's views on foundational questions

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (23)

• On Hilbert's axiomatics of propositional logic
• David Hilbert's axiomatic program and critical philosophy
• The ways of Hilbert's axiomatics: structural and formal
• The ways of Hilbert's axiomatics: structural and formal
• Hilbert, logicism, and mathematical existence
• HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
• Title not available (Why is that?)
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• Hilbert, duality, and the geometrical roots of model theory
• Hilbert's Programs: 1917–1922
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The importance and neglect of conceptual analysis: Hilbert-Ackermann iii.3
• Abstraction, Axiomatization and Rigor: Pasch and Hilbert
• Internal logic. Foundations of mathematics from Kronecker to Hilbert
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hilbert on different notions of completeness: a conceptual and historical analysis
• Hilbert
• Axiomatic thinking I

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

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