| |||
![]()
|
![]() ![]() |
![]()
Я не знаю аналогичных примеров, ну я довольно мало знаю, конечно. Буду рад если вы расскажите. То есть Чёрч-Тьюринг-Марков-Пост-... -- конечно разные подходы и вполне эквивалентны, но никто из них не объявлял альтернативный подход туманным, запутанным и в целом не верным, хотя и дающим правдоподобные результаты. Они появились в достаточно близкое время и были сделаны по одним стандартам строгости, так что все друг друга прекрасно понимали. Для меня тут важным было то, что Ньютон, оказывается, не только отец, но ещё и не дурак. Что его способ мысли -- очень отличный от современного -- вполне корректен. А полученные результаты получены не случайно. Просто потом его не смогли понять. Конечно, никто не называл его дураком, это я для резкости написал :) Добавить комментарий: |
||||
![]() |
![]() |