Question

Математиком, который показал возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, считается... (это НЕ Тьюринг) Ответ, желательно чтобы был развернут, или с ссылкой на источник. Спасибо!

Answer 1

Ответ:

Чарлз Бэббидж,

смотри вики

Answer 2

Математиком, который показал возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, несмотря на то, что это НЕ Алан Тьюринг, является Алонзо Чёрч.

Алонзо Чёрч разработал математическую концепцию, известную как "л-исчисление" (lambda calculus) в 1930-х годах. Лямбда-исчисление является формальной системой, которая описывает вычисления с функциями и аргументами, и позволяет определить вычислимость и вычислительную универсальность. Чёрч показал, что с помощью лямбда-исчисления можно выразить любую вычислимую функцию, что делает его универсальным формализмом для вычислений.

Алан Тьюринг, с которым часто связывают идею универсальной машины (так называемой машины Тьюринга), разработал аналогичную концепцию независимо от Чёрча, и они пришли к одним и тем же выводам о вычислимости.

Следовательно, как Алонзо Чёрч, так и Алан Тьюринг внесли важный вклад в понимание того, что любая эффективная процедура может быть вычислена универсальной вычислительной машиной, и их работа в этой области часто рассматривается как вклад в основания теории вычислений.