Image de couverture de livre

On Godel's treatment of the undecidable in 1931

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Cattabriga, Paola
Format:	Preprint
Publié:	2024
Sujets:	History and Overview Computational Complexity Logic in Computer Science 03F40
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)

What If Turing Had Preceded Gödel?
par: Oberhoff, Sebastian
Publié: (2024)

A note reviewing Turing's 1936
par: Cattabriga, Paola
Publié: (2013)

Secrets and Quantifiers
par: Bajnok, Bela, et autres
Publié: (2024)

Meaning as Use, Application, Employment, Purpose, Usefulness
par: de Queiroz, Ruy J. G. B.
Publié: (2025)

From the Notebooks to the Investigations and Beyond
par: de Queiroz, Ruy J. G. B.
Publié: (2025)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
par: Kamareddine, Fairouz, et autres
Publié: (2024)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
par: Dvorak, Martin
Publié: (2026)

Ablation and the Meno: Tools for Empirical Metamathematics
par: Fan, Zhengqin, et autres
Publié: (2026)

Mathematical Proof Between Generations
par: Bayer, Jonas, et autres
Publié: (2022)

Reflections on Russell's antinomy
par: Cattabriga, Paola
Publié: (2024)

From Gödel incompleteness to the consistency of circuit lower bounds
par: Atserias, Albert, et autres
Publié: (2026)

In Memory of Martin Davis
par: Calvert, Wesley, et autres
Publié: (2024)

Semi-Algebraic Proof Systems for QBF
par: Beyersdorff, Olaf, et autres
Publié: (2025)

Hilbert's Program and Infinity
par: Zach, Richard
Publié: (2026)

Constructive Mathematics
par: Mandelkern, Mark
Publié: (2024)

Notes on Category Theory with examples from basic mathematics
par: Perrone, Paolo
Publié: (2019)

Hard QBFs for Merge Resolution
par: Beyersdorff, Olaf, et autres
Publié: (2020)

Refutability as Recursive as Provability
par: Cattabriga, Paola
Publié: (2024)

Anatomy of a Formal Proof
par: Avigad, Jeremy, et autres
Publié: (2024)

Automated Mathematics and the Reconfiguration of Proof and Labor
par: Ochigame, Rodrigo
Publié: (2023)

A Theory for Probabilistic Polynomial-Time Reasoning
par: Chen, Lijie, et autres
Publié: (2026)

Gödel coding on fibrations and geminal categories
par: Ikeda, Yuto
Publié: (2026)

Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

Remembering Mark Sapir
par: Birget, Jean-Camille, et autres
Publié: (2024)

Artifical intelligence and inherent mathematical difficulty
par: Dean, Walter, et autres
Publié: (2024)

Advancing mathematics research with generative AI
par: Carbone, Lisa
Publié: (2025)

Comportamientos extraños del infinito: Gráficas Infinitas
par: Fernández-Bretón, David J., et autres
Publié: (2025)

A definição de verdade de Tarski
par: Cardoso, Guilherme, et autres
Publié: (2024)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
par: Neuwirth, Stefan, et autres
Publié: (2024)

Weyl's Quantifiers
par: Toader, Iulian D.
Publié: (2024)

Analytic proofs for logics of evidence and truth
par: Carnielli, Walter, et autres
Publié: (2024)

From real analysis to the sorites paradox via Reverse Mathematics
par: Dean, Walter, et autres
Publié: (2025)

Cantor's Powerset Theorem, Graph-Theoretically
par: Salehi, Saeed
Publié: (2026)

A correspondence problem for mathematical proof
par: DeDeo, Simon, et autres
Publié: (2026)

On a form of intrinsic optimism in Set Theory
par: Pérez, M. Muñoz
Publié: (2025)

The history of three wrong definitions
par: Boas, Harold P.
Publié: (2026)