Search Results - "Incompleteness theorems"

Breaking the speed limit. (cover story)

Authors: Elwes, Richard (AUTHOR)

Source: New Scientist. 4/25/2026, Vol. 270 Issue 3592, p38-41. 4p. 2 Color Photographs, 1 Cartoon or Caricature.

Subjects: Incompleteness theorems, Mathematical sequences, Mathematical logic, Graph theory, Mathematics theorems

Discussion on Consequences of Undecidability in Physics on the Theory of Everything.

Authors: Cui, Weicheng^1,2 cuiweicheng@westlake.edu.cn

Source: Journal of Holography Applications in Physics. Spring2026, Vol. 6 Issue 2, p125-131. 7p.

An analysis of Dummett's 'On the Philosophical Significance of Gödel's Theorem'.

Authors: Engler, Jann Paul¹ (AUTHOR) jp.engler@web.de

Source: Erkenntnis. Mar2026, Vol. 91 Issue 3, p1103-1125. 23p.

Adventures in Gödel Incompleteness.

Authors: Friedman, Harvey M.¹ hmflogic@gmail.com

Source: History & Philosophy of Logic. Nov2025, Vol. 46 Issue 4, p474-487. 14p.

On Gödel's 'Much Weaker' Assumption.

Authors: Salehi, Saeed¹ root@SaeedSalehi.ir

Source: History & Philosophy of Logic. Nov2025, Vol. 46 Issue 4, p488-497. 10p.

The limitless first incompleteness theorem.

Authors: Cheng, Yong¹ (AUTHOR)

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-19. 19p.

Sveglia e risveglio: Lacan con Gödel.

Authors: SABBATINI, SERGIO¹

Source: Attualità Lacaniana. lug-dic2025, Issue 38, p111-117. 7p.

Serial properties, selector proofs and the provability of consistency.

Authors: Artemov, Sergei¹ (AUTHOR)

Source: Journal of Logic & Computation. Apr2025, Vol. 35 Issue 3, p1-18. 18p.

Subjects: Incompleteness theorems, Arithmetic, Contradiction

Correct and Complete Type Checking and Certified Erasure for Coq, in Coq.

Authors: Sozeau, Matthieu Forster, Yannick Lennon-Bertrand, Meven et al.

Source: Journal of the ACM. Feb2025, Vol. 72 Issue 1, p1-74. 74p.

Consequences of Undecidability in Physics on the Theory of Everything.

Authors: Faizal, Mir Krauss, Lawrence M. Shabir, Arshid et al.

Source: Journal of Holography Applications in Physics. Mar2025, Vol. 5 Issue 2, p10-21. 12p.

A Paradox for ZF-Class Nominalism.

Authors: Guanglong Luo¹ glluo@nankai.edu.cn

Source: Logic & Logical Philosophy. Mar2025, Vol. 34 Issue 1, p153-158. 6p.

Numeral completeness of weak theories of arithmetic.

Authors: Kahle, Reinhard Oitavem, Isabel Santos, Paulo Guilherme

Source: Journal of Logic & Computation. Jan2025, Vol. 35 Issue 1, p172-193. 22p.

Subjects: Incompleteness theorems, Arithmetic

Can quantum gravity be both consistent and complete?

Authors: Faizal, Mir Krauss, Lawrence M. Shabir, Arshid et al.

Source: International Journal of Modern Physics D: Gravitation, Astrophysics & Cosmology. Dec2025, Vol. 34 Issue 16, p1-16. 16p.

Subjects: Quantum gravity, Incompleteness theorems, Perspective (Philosophy), General relativity (Physics), Unified field theories, Algorithms, Mathematical singularities, Contextualism (Philosophy)

WITTGENSTEIN VS GÖDEL. ÎNTRE METAFIZICĂ, METAMATEMATICĂ ȘI NONSENS.

Alternate Title: WITTGENSTEIN VS GÖDEL. BETWEEN METAPHYSICS, METAMATHEMATICS, AND NONSENSE.

Authors: GRIGORIU, IULIAN¹

Source: Problems of Logic / Probleme de Logică. 2025, Vol. 28, p71-88. 18p.

LIMITELE LIMBAJULUI ȘI LIMITELE SISTEMELOR FORMALE.

Alternate Title: LIMITS OF LANGUAGE AND LIMITS OF FORMAL SYSTEMS.

Authors: ȘTEFAN, EMANUEL¹

Source: Problems of Logic / Probleme de Logică. 2025, Vol. 28, p195-215. 21p.

Robert Rosen's Relational Biology Theory and His Emphasis on Non-Algorithmic Approaches to Living Systems.

Authors: Lane, Patricia A.¹ (AUTHOR) patricia.lane@dal.ca

Source: Mathematics (2227-7390). Nov2024, Vol. 12 Issue 22, p3529. 29p.

90 years of Gödel's incompleteness theorems: Logic and computation.

Authors: Baaz, Matthias Ertel, Marcel Kahle, Reinhard et al.

Source: Journal of Logic & Computation. Sep2024, Vol. 34 Issue 6, p1003-1009. 7p.

Subjects: Incompleteness theorems, Unpublished materials, Logic, Curiosities & wonders, Conferences & conventions

Implicit commitment in a general setting.

Authors: ŁeŁyk, Mateusz Nicolai, Carlo

Source: Journal of Logic & Computation. Sep2024, Vol. 34 Issue 6, p1136-1158. 23p.

Subjects: Incompleteness theorems, Philosophy of mathematics, Logic programming, Open-ended questions, Motivation (Psychology)

A new perspective on completeness and finitist consistency.

Authors: Santos, Paulo Guilherme Sieg, Wilfried Kahle, Reinhard

Source: Journal of Logic & Computation. Sep2024, Vol. 34 Issue 6, p1179-1198. 20p.

Subjects: Incompleteness theorems, Recursive functions, Number systems, Axioms

A reunion of Gödel, Tarski, Carnap and Rosser.

Authors: Salehi, Saeed¹ (AUTHOR) salehipour@tabrizu.ac.ir

Source: Journal of Logic & Computation. Sep2024, Vol. 34 Issue 6, p1172-1178. 7p.

Subjects: Incompleteness theorems, Reunions