One of the famous mathematician David Hilbert quotes:
“Wir müssen wissen. Wir werden wissen."
(We must know. We will know.)
What is the deep meaning of this quotes acording to Sir David Hilbert logics ?
One of the famous mathematician David Hilbert quotes:
“Wir müssen wissen. Wir werden wissen."
(We must know. We will know.)
What is the deep meaning of this quotes acording to Sir David Hilbert logics ?
That was in Hilbert's radio speech. He wanted to axiomatize the whole mathematics, and believed that every axiomatic system is decidable. So, in particular, every well formulated math problem has a solution. It was before G$\ddot{o}$del.