Ang dalawang ito ay nagtalo at hindi nagkasundo dahil sa pagtatanggol ni Turing ng pormalismo samantalang si Wittgenstein ay nangatwiran na ang matematika ay hindi tumutuklas ng mga basehang katotohanan kundi lumilikha lamang nito.
