Современное формальное определение алгоритма было дано в 30 - 50-е годы XX века в работах Тьюринга , Поста , Чёрча ( тезис Чёрча - Тьюринга ) , Н. Винера , А. А. Маркова .
современный$1170 формальный$1170 определение$1066 алгоритм$1052 быть$1248 дать$1084 в$0 30$1238 -$0 50-й$1244 год$1246 xx$28 век$1052 в$0 работа$1250 Тьюринг$1040 ,$0 Пост$1040 ,$0 Чёрч$1040 ($0 тезис$1036 Чёрч$1040 -$0 Тьюринг$1040 )$0 ,$0 Н.$1040 Винер$1040 ,$0 А.$1040 А.$1040 Марков$1040 .$0