Work

A constructive proof of Tarski's undefinability theorem and Gödel's incompleteness theorems

Year: 2026

Type: article

Abstract: The paper presents a fundamentally new constructive proof of Tarski's theorem on the undefinability of truth and Gödel's incompleteness theorems, based on the inexpressibility, by purely formal means, of the existential content of a theory (the "ostension deficit"), without which formalism loses its meaning. It is shown why the classical Gödel theorem arises from the same reason.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.20275007

Author: Torgashin, Alexey

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7161576615

FWCI:

Cites:

Cited by:

Related to: