One of the important problems for logicians in the 1930s was David Hilbert's Entscheidungsproblem, which asked whether there was a mechanical procedure for separating mathematical truths from mathematical falsehoods.
Један од важних проблема за логичаре 1930. био је Давид Хилбертов Entscheidungsproblem, која је затражила да ли је механички поступак за одвајање математичких истина од математичких неистина.