Embedded Files
В 1928 году немецкий математик Давид Гильберт привлёк внимание мировой общественности к проблеме разрешения (Entscheidungsproblem). В своей работе, опубликованной 12 ноября 1936 года, Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга, благодаря которым показал, что не существует решения Entscheidungsproblem.
В 1928 году немецкий математик Давид Гильберт привлёк внимание мировой общественности к проблеме разрешения (Entscheidungsproblem). В своей работе, опубликованной 12 ноября 1936 года, Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга, благодаря которым показал, что не существует решения Entscheidungsproblem.
На идее«Универсальной Машины»,способной произвести любые математические вычисления, основана концепция современного компьютера. Машины Тьюринга по-прежнему являются основным объектом исследования теории алгоритмов.
На идее«Универсальной Машины»,способной произвести любые математические вычисления, основана концепция современного компьютера. Машины Тьюринга по-прежнему являются основным объектом исследования теории алгоритмов.
Google Sites
Report abuse