Tarski's undefinability theorem
id:
tarski-s-undefinability-theorem-315-2776206
title:
Tarski's undefinability theorem
text:
Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1933, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that "arithmetical truth cannot be defined in arithmetic". The theorem applies more generally to any sufficiently strong formal system, showing that truth in the standard model of the system cannot be defined within the system.
brand slug:
wiki
category slug:
encyclopedia
description:
Theorem that arithmetical truth cannot be defined in arithmetic
original url:
https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem
date created:
date modified:
2024-03-23T19:21:02Z
main entity:
{"identifier":"Q574902","url":"https://www.wikidata.org/entity/Q574902"}
image:
fields total:
13
integrity:
14