Скачай бесплатно Основы философии. Общие работы

Неразрешимости

Основы философии. Общие работы

Т. Х. Керимов

Язык: русский

2007 г.

222 стр.

Технологии культуры

Скачать

В формате pdf, txt, rtf, fb2, fb3, ePub

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Большой прогресс в формализации этих понятий был достигнут в начале XX века Гильбертом и его школой.

Машина Тьюринга является расширением модели конечного автомата, расширением, включающим потенциально бесконечную память с возможностью перехода движения от обозреваемой в данный момент ячейки к ее левому или правому соседу. Решимые и нерешимые алгоритмические проблемы. С другой стороны, если исчисление не обладает рекурсивно перечислимым множеством аксиом, как например, логика второго порядка , оно, очевидно, не может быть разрешимым.