Is there a ``Hilbert thesis?
From MaRDI portal
Publication:2631647
The paper is devoted to the so called Hilbert thesis stating that -- as J. Barwise put it -- ``The informal notion of provable used in mathematics is made precise by the formal notion \textit{provable in first-order logic}. Different variations of this thesis are discussed. The author also considers whether the very name ``Hilbert thesis is justified. The thesis is compared with Church's thesis concerning computability. The problem of the possibility of providing arguments towards the considered thesis is discussed.
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
- 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
- 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?)
- 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)
- Direct proofs of Lindenbaum conditionals
- General proof theory: introduction
- Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
- What is the Church-Turing Thesis?
- Hilbert’s Axiomatisches Denken
- Discussing Hilbert's 24th problem
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
- Dual axiomatics
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)
