Восходит к Давиду Гильберту На рубеже 20 века сформулировал мировую проблему

жүктеу 1,59 Mb. бет 1/21 Дата 02.06.2020 өлшемі 1,59 Mb. #30822

Навигация по данной странице:

• Можно ли построить алгоритм, создающий необходимый алгоритм к любой, точно поставленной задаче

Машина Тьюринга (Бильгаева Н.Ц. Теория алгоритмов, формальных языков, грамматик и автоматов) Теория алгоритмов Восходит к Давиду Гильберту На рубеже 20 века сформулировал мировую проблему: Можно ли построить алгоритм, создающий необходимый алгоритм к любой, точно поставленной задаче? Такая постановка задачи неразрешима, т.к. фактически проблема сводится к логическому парадоксу брадобрея: Он бреет тех, кто не бреется сам. Если брадобрей бреется сам, то он принадлежит множеству тех жителей города, кто бреется сам, Но в объявлении утверждается, что наш брадобрей никогда не бреет тех, кто входит в это множество. Следовательно, наш брадобрей не может брить самого себя (Бертран Рассел) жүктеу 1,59 Mb. Достарыңызбен бөлісу:

©g.engime.org 2024
әкімшілігінің қараңыз