В непрофессиональных околоматематических сообществах любят обсуждать теорему Гёделя о неполноте, вопросы разрешимости, проблему остановки, природу динамического хаоса и всевозможные математические парадоксы. При этом участники дискуссии, иной раз увлекшись, подвергают сомнению математику в целом, поскольку «она несостоятельна в своих основах», допускает незнание, как корректный ответ и, вообще, формально доказать можно «что угодно», вот, хоть что 1 + 2 + 3 + ... = –1/12. Короче, ерундой математики занимаются, нет чтобы научиться погоду предсказывать, или стоимость акций...

Машина Тьюринга – это теоретическая модель вычислений, предложенная Аланом Тьюрингом в 1936 году. Она представляет собой абстрактное устройство, состоящее из: 1. Бесконечной ленты: Лента разделена на ячейки, каждая из которых содержит один символ из конечного алфавита. Лента может быть как бесконечной вправо, так и вправо и влево, но важно, чтобы она была бесконечной в каком-то направлении. 2. Головки чтения/записи: Головка может двигаться по ленте влево или вправо, читать символ в текущей ячейке, записывать в неё другой символ и изменять своё состояние...