Аннотация
Книжка в основном посвящена вопросу о роли свободного выбора при определении таких важнейших математических понятий как переменная, натуральное число, бесконечность и др. Показано, что без операции свободного выбора не может существовать как неформальная , так и формальная математика. Фактически неизвестны какие-либо другие работы на эту тему, тесно связанную к тому же с поставленной Аланом Тьюрингом проблемой: отличить человека от робота в процессе (заочного) диалога. Наиболее важный результат, представленный в книжке – это вывод: отрицать существование свободной воли и при этом пользоваться математикой невозможно, не нарушая законов логики (парадокс, не замеченный Стивеном Хокингом в книге "Великий Замысел").
![Пока алгебра не разлучит нас [Теория групп и ее применение]](https://www.rulit.me/data/programs/images/poka-algebra-ne-razluchit-nas-teoriya-grupp-i-ee-primenenie_405638.jpg "В 1881 году французский ученый Анри Пуанкаре писал: «Математика — всего лишь история групп». Сегодня мы можем с уверенностью утверждать, что это высказывание...")
Комментарии к книге "Свободная воля и математика, или ошибка Хокинга"