Биркгофф Гаррет.

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