tarski's undefinability theorem
Tarski's undefinability theorem states that within a formal mathematical system, it is impossible to define the truth of all statements about arithmetic in terms of arithmetic itself.
Requires login.
Tarski's undefinability theorem states that within a formal mathematical system, it is impossible to define the truth of all statements about arithmetic in terms of arithmetic itself.
Requires login.