About: Tarski's undefinability theorem

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Tarski's undefinability theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdfs:label	Tarski's undefinability theorem (en)
rdfs:comment	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. (en)
sameAs	Tarski's undefinability theorem Tarski's undefinability theorem
dbp:wikiPageUsesTemplate	dbt:Annotated_link dbt:Cite_journal dbt:Reflist dbt:Short_description dbt:Mathematical_logic dbt:Metalogic dbt:Theories_of_truth
Subject	Philosophy of logic Theories of truth Mathematical logic Metatheorems Theorems in the foundations of mathematics
gold:hypernym	Result
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Tarski's_undefinability_theorem?oldid=1065897860&ns=0
Wikipage page ID	583785 (xsd:integer)
page length (characters) of wiki page	13548 (xsd:nonNegativeInteger)
Wikipage revision ID	1065897860 (xsd:integer)
has abstract	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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Tarski's_undefinability_theorem
is Wikipage redirect of	The Concept of Truth in Formalized Languages Der Wahrheitsbegriff in den formalisierten Sprachen Indefinability theory of truth Undefinability of the notion of truth Undefinability of truth Undefinability theorem Tarski's Indefinability Theorem Tarski's Indefinablity Theorem Tarski's indefinability theorem Tarski's result on the undefinability of truth Tarski's truth theorem Tarski indefinability theorem Tarski undefinability theorem Tarskis indefinability theorem
is Link from a Wikipage to another Wikipage of	Foundations of mathematics List of theorems List of things named after Alfred Tarski Logical positivism Logicism Alfred Tarski Anil Gupta (philosopher) Arithmetical set History of mathematical notation Kurt Gödel Metalogic Definable real number Hyperarithmetical theory List of mathematical logic topics List of multiple discoveries List of scientific laws named after people Coherentism Computability theory Inaccessible cardinal Index of epistemology articles Index of logic articles Index of philosophy articles (R–Z) Dependence logic Diagonal argument Diagonal lemma Gödel's incompleteness theorems Inductivism Liar paradox Der Wahrheitsbegriff in den formalisierten Sprachen Indefinability theory of truth
is known for of	Alfred Tarski

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software