Лекции Людвига Витгенштейна об основаниях математики

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

Может содержать ошибки.