Is there a ``Hilbert thesis?
From MaRDI portal
Publication:2631647
DOI10.1007/S11225-017-9776-2zbMATH Open1428.03021OpenAlexW2782676325MaRDI QIDQ2631647FDOQ2631647
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
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
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
- Hilbert on different notions of completeness: a conceptual and historical analysis
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)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Notes on Set Theory
- Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
- Computability and Logic
- Classical recursion theory. The theory of functions and sets of natural numbers
- An automata theoretic decision procedure for the propositional mu- calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Derivation-Indicator View of Mathematical Practice
- Title not available (Why is that?)
- On the limit of the finite. The Hilbert programme in the context of formalism and finitism
- Title not available (Why is that?)
- Informal proofs and mathematical rigour
- Title not available (Why is that?)
- Verificationism and Classical Realizability
- Does mathematics need new axioms?
- Origins of Recursive Function Theory
- Fixed points and self-reference
- Informal proof, formal proof, formalism
- From Dedekind to Zermelo versus Peano to Gödel
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conceptual Confluence in 1936: Post and Turing
Cited In (9)
- What is the Church-Turing Thesis?
- Discussing Hilbert's 24th problem
- General proof theory: introduction
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
- Dual axiomatics
- Direct proofs of Lindenbaum conditionals
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
- Hilbert’s Axiomatisches Denken
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)
