Individual differences | Methods | Statistics | Clinical |
Educational | Industrial | Professional items | World psychology
| Philosophy Index: Aesthetics · Epistemology · Ethics · Logic ·
Metaphysics · Consciousness · Philosophy of Language ·
Philosophy of Mind · Philosophy of Science · Social and
Political philosophy · Philosophies · Philosophers · List of
lists In mathematical logic, Tarski's Indefinability Theorem is
a theorem due to Alfred Tarski concerning the foundations of
mathematics. Informally, the theorem states that arithmetic
truth cannot be defined in arithmetic. Kurt Gödel discovered his
incompleteness theorems (1931) partly by showing how to
represent syntax within arithmetic. Each expression of the
language of arithmetic is assigned a distinct number. This
procedure is called Gödel-numbering or sometimes just coding;
more generally, arithmetization. If E is an expression, then let
#E be its code number, and let "E" be the linguistic numeral
denoting this code number. In particular, various s