Is there a ``Hilbert thesis?
From MaRDI portal
Publication:2631647
DOI10.1007/s11225-017-9776-2zbMath1428.03021OpenAlexW2782676325MaRDI QIDQ2631647
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
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items
General proof theory: introduction ⋮ What is the Church-Turing Thesis? ⋮ Hilbert’s Axiomatisches Denken ⋮ Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Direct proofs of Lindenbaum conditionals ⋮ Discussing Hilbert's 24th problem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the limit of the finite. The Hilbert programme in the context of formalism and finitism
- Informal proofs and mathematical rigour
- Fixed points and self-reference
- An automata theoretic decision procedure for the propositional mu- calculus
- Classical recursion theory. The theory of functions and sets of natural numbers
- From Dedekind to Zermelo versus Peano to Gödel
- Untersuchungen über das logische Schliessen. I
- INFORMAL PROOF, FORMAL PROOF, FORMALISM
- Verificationism and Classical Realizability
- Notes on Set Theory
- Computability and Logic
- Conceptual Confluence in 1936: Post and Turing
- The Derivation-Indicator View of Mathematical Practice
- Origins of Recursive Function Theory
- Does Mathematics Need New Axioms?
This page was built for publication: Is there a ``Hilbert thesis?
