 As we shall shortly see, the middle Wittgenstein is also drawn to strong formalism by a new concern with questions of decidability. Undoubtedly influenced by the writings of Brouwer and David Hilbert, Wittgenstein uses strong formalism to forge a new connection between mathematical meaningfulness and algorithmic decidability.