То что производила машина энигма 4

В 1928 году немецкий математик Давид Гильберт привлёк внимание мировой общественности к проблеме разрешения (Entscheidungsproblem).В своей работе «On Computable Numbers, with an Application to the Entscheidungsproblem», опубликованной 12 ноября 1936 года.