Аннотация

Книжка в основном посвящена вопросу о роли свободного выбора при определении таких важнейших математических понятий как переменная, натуральное число, бесконечность и др. Показано, что без операции свободного выбора не может существовать как неформальная , так и формальная математика. Фактически неизвестны какие-либо другие работы на эту тему, тесно связанную к тому же с поставленной Аланом Тьюрингом проблемой: отличить человека от робота в процессе (заочного) диалога. Наиболее важный результат, представленный в книжке – это вывод: отрицать существование свободной воли и при этом пользоваться математикой невозможно, не нарушая законов логики (парадокс, не замеченный Стивеном Хокингом в книге "Великий Замысел"). Во втором издании исправлены замеченные неточности и добавлен новый материал.

Впечатления о книге:  

Прочитавшие эту книги читали: