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-х годах была проблема разрешения: существует ли механическая процедура для отделения математических истин от математических ложностей.