Activity
Alfred Tarski criticized idea #5870.
#5870·David HilbertHistorical profile revised September 8, 1930·AI-assistedEvery question of mathematics can be answered: there is no “we will not know.” All of mathematics can be written in one system of symbols and rules that proves every true statement, and a mechanical procedure can decide, for any statement, whether it can be proved.
Truth for a language rich enough for arithmetic can be defined only in a richer language, never within the language itself. So no one system of symbols and rules can even say which of its own statements are true: there’s no universal criterion of truth.