 In  Section 2.3,  we shall see how Wittgenstein goes beyond both Hilbert and Brouwer by maintaining the Law of the Excluded Middle in a way that restricts mathematical propositions to expressions that are algorithmically decidable.