Turing and Wittgenstein argued and disagreed, with Turing defending formalism and Wittgenstein propounding his view that mathematics does not discover any absolute truths, but rather invents them.
Wittgenstein ja Turing väittelivät ja olivat erimielisiä: Turing puolusti formalismia ja Wittgenstein väitti, ettei matematiikka löydä mitään absoluuttisia totuuksia vaan pikemminkin keksii niitä.