Image de couverture de livre

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Cheng, Yong
Format:	Preprint
Publié:	2019
Sujets:	Logic 03F40, 03A05, 00A30
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Some reflections on the relationship between logical incompleteness and concrete incompleteness
par: Cheng, Yong
Publié: (2024)

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

Is Peirce's reduction thesis gerrymandered?
par: Koshkin, Sergiy
Publié: (2024)

Strict potentialism in modal mirrors
par: Linnebo, Øystein
Publié: (2026)

On the limits of comparing subset sizes within $\mathbb{N}$
par: Wenmackers, Sylvia
Publié: (2024)

A Constructive Fragment of Physical Propositions
par: Rosko, Milan
Publié: (2025)

Bilateralism with incompatible proofs and refutations
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

On a Theorem by Bezboruah & Shepherdson
par: Visser, Albert
Publié: (2026)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

Why the classes P and NP are not well-defined finitarily
par: Anand, Bhupinder Singh
Publié: (2024)

On Rosser theories
par: Cheng, Yong
Publié: (2024)

There are no minimal effectively inseparable theories
par: Cheng, Yong
Publié: (2022)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
par: Colomina-Alminana, Juan J.
Publié: (2026)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

What model companionship can say about the Continuum problem
par: Venturi, Giorgio, et autres
Publié: (2022)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

Truth and collection
par: Wcisło, Bartosz
Publié: (2024)

Classical determinate truth without induction
par: Wcisło, Bartosz
Publié: (2024)

On humanization of mathematics: aesthetic mathematics
par: Inoué, Takao
Publié: (2023)

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

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

Constructive validity of a generalized Kreisel-Putnam rule
par: Pezlar, Ivo
Publié: (2023)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
par: Bottazzi, Emanuele, et autres
Publié: (2025)

Extensional Independence
par: Kurahashi, Taishi, et autres
Publié: (2025)

On a Question of Hamkins'
par: Visser, Albert
Publié: (2025)

Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
par: Button, Tim
Publié: (2023)

The iterative conception of function and the iterative conception of set
par: Button, Tim
Publié: (2023)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

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

From Numbers to Container Strings
par: Visser, Albert
Publié: (2024)

Pour-El's Landscape
par: Kurahashi, Taishi, et autres
Publié: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

$Π^0_4$ conservation of Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2024)