Is there a ``Hilbert thesis?

DOI10.1007/S11225-017-9776-2MaRDI QIDQ2631647zbMATH OpenOpenAlexFDO

Authors Reinhard Kahle

Publication date 15 May 2019

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-017-9776-2

zbMATH Keywords

diagonalizationChurch's thesisformal proofsDavid Hilbert

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Beyond Hilbert’s Reach?
• Beyond Hilbert's reach?
• Hilbert vindicated?
• scientific article; zbMATH DE number 2137160
• Hilbert's axiomatics as `symbolic form'?
• Hilbert's Tenth Problem: What was done and what is to be done
• Hilbert’s Axiomatisches Denken
• scientific article; zbMATH DE number 5911935
• THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
• Hilbert on different notions of completeness: a conceptual and historical analysis

Cites work

• scientific article; zbMATH DE number 47306 (Why is no real title available?)
• scientific article; zbMATH DE number 3523506 (Why is no real title available?)
• scientific article; zbMATH DE number 1254487 (Why is no real title available?)
• scientific article; zbMATH DE number 6308207 (Why is no real title available?)
• scientific article; zbMATH DE number 6308208 (Why is no real title available?)
• scientific article; zbMATH DE number 5037198 (Why is no real title available?)
• scientific article; zbMATH DE number 3249766 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• An automata theoretic decision procedure for the propositional mu- calculus
• Classical recursion theory. The theory of functions and sets of natural numbers
• Computability and Logic
• Conceptual Confluence in 1936: Post and Turing
• Does mathematics need new axioms?
• Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
• Fixed points and self-reference
• From Dedekind to Zermelo versus Peano to Gödel
• Informal proof, formal proof, formalism
• Informal proofs and mathematical rigour
• Notes on Set Theory
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• Origins of Recursive Function Theory
• The Derivation-Indicator View of Mathematical Practice
• Untersuchungen über das logische Schliessen. I
• Verificationism and Classical Realizability

Cited in

(9)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
• What is the Church-Turing Thesis?
• Dual axiomatics
• Hilbert’s Axiomatisches Denken
• Direct proofs of Lindenbaum conditionals
• General proof theory: introduction
• Discussing Hilbert's 24th problem
• Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem

This page was built for publication: Is there a ``Hilbert thesis?

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