Лекції Людвіга Вітгенштайна про основи математики

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

Може містити помилки.