Activity
Kurt Gödel 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.
In any consistent system of rules strong enough for arithmetic, there are true statements that the rules can neither prove nor disprove. So no one system can answer every question of mathematics.