Formalism and Hilbert's understanding of consistency problems

DOI10.1007/s00153-021-00782-7zbMath1469.00011OpenAlexW3173105602MaRDI QIDQ2042732

Michael E. Detlefsen

Publication date: 21 July 2021

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00782-7

zbMATH Keywords

Hilbertproof theoryFregeformalismformal reasoningaxiomatic methodBrouwerproofWeylDedekindHeinerigorBernaysconceptions of consistencydirect approach to consistencymodel-construction approach to consistencyobservational orientation towards consistency problemsThomae

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Gentzen’s Anti-Formalist Views
• Grundlagen der Mathematik I
• David Hilbert and his mathematical work
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formalism and Hilbert's understanding of consistency problems