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.
Turing și Wittgenstein a polemizat, Turing apărând formalismul, iar Wittgenstein promovând ideea sa că matematica nu descoperă adevăruri absolute, ci mai degrabă le inventează.