Hilbert's Plan




Hilbert decided to reconstruct mathematical reasoning to get rid of all the paradoxes
. He compared mathematics to a game
and proposed that
mathematicians temporarily forgot the meaning of their elaborate game with symbols
and concentrate on the game itself and its permissible moves.

Hilbert's definition of mathematics was

"making meaningless marks on a piece of paper and moving them round according to certain rules"