Доказательство того, что компьютеры не могут делать всё (Проблема остановки)

Если вы не согласны или запутались в этом видео, прочтите этот раздел FAQ: https://www.udiprod.com/halting-problem/#faq Посетите мою домашнюю страницу: https://www.udiprod.com В этом видео неформально излагается теорема об остановке Алана Тьюринга — серьёзный и весьма влиятельный результат в информатике. Ещё несколько комментариев к этому видео: 1) В этом видео для простоты опущены многие технические детали. В интернете можно легко найти множество строгих описаний этого доказательства. 2) Действительно существует непобедимая машина для шашек. См. здесь: http://en.wikipedia.org/wiki/Draughts#Computer_draughts