Что такое тезис Чёрча-Тьюринга?

Описание: Здесь мы показываем истинность «тезиса Чёрча-Тьюринга», который, по сути, утверждает, что наше «интуитивное» представление об алгоритме эквивалентно машине Тьюринга. Мы показываем это, показывая, что все части «современных» алгоритмов, а именно сложение, вычитание, умножение, деление и возведение в степень, могут быть выполнены машиной Тьюринга. Все «современные» алгоритмы представляют собой конечную комбинацию любого из этих операторов, работающих с двоичными числами.

Сайт Easy Theory: https://www.easytheory.org
Стать участником:    / @easytheory  
Пожертвование (отображается в трансляциях): https://streamlabs.com/easytheory1/tip
Paypal: https://paypal.me/easytheory
Patreon:   / easytheory  
Discord:   / discord  

#easytheory

Прямые трансляции на YouTube (по воскресеньям) — подписывайтесь, чтобы быть в курсе.

Социальные сети:
Страница в Facebook:   / easytheory  
Группа в Facebook:   / easytheory  
Твиттер:   / easytheory  

Товары:
Одежда Language Hierarchy: https://teespring.com/language-hierar...
Одежда Pumping Lemma: https://teespring.com/pumping-lemma-f...

Если вам нравится этот контент, подпишитесь на мой канал:    / @easytheory  

Золотой спонсор: Мика Вуд
Серебряный спонсор: Тимми Ги

▶ОТПРАВЬТЕ МНЕ ТЕОРИЮ ВОПРОСЫ◀
[email protected]

▶ОБО МНЕ◀
Я профессор компьютерных наук и увлечён теорией вычислительной техники. Я преподавал множество курсов в разных университетах, включая несколько разделов теоретических курсов для студентов бакалавриата и магистратуры.