In 1939, Wittgenstein gave a series of lectures on the Foundations of Mathematics, which Turing attended. During these lectures, Wittgenstein scoffed at what he regarded as the "superstitious" fear by mathematicians of inconsistency, and their search for consistency proofs of mathematical theories. Here he was met by stiff opposition by Turing, who argued, among other things, that "bridges would fall down" if engineering were based on a "hidden" contradiction. https://www.cantorsparadise.com/when-alan-turing-and-ludwig-wittgenstein-discussed-the-liar-paradox-3c2de0ff09d1 Source: h/t Simply Charley: https://www.youtube.com/watch?v=SuvdhC3HuKg