In 1928, German mathematician David Hilbert had called attention to the "Entscheidungsproblem" (decision problem).
В 1928 году немецкий математик Давид Гильберт привлек внимание мировой общественности к проблеме разрешения (Entscheidungsproblem).