“…In fact, Juliet Floyd (2016Floyd ( , 2018 has convincingly indicated another important change in Wittgenstein's thinking, this time probably brought about from his interactions with Alan Turing and a mutual influence respective their reactions to the Gödelian demonstration that Hilbert's decision problem can have no solution at all: while Turing proposed a step-by-step recursive procedure to compute numbers in a machine by finite means, intending that there can be many, and consequently not just one, procedures in which we can actually decide questions, Wittgenstein turned his attention to the general idea of rulefollowing in a variety of distinct language games within ordinary life, an extensive and deeply discussed topic throughout all the Remarks on the Foundations of Mathematics (Wittgenstein, 1978). Just at that time, actually in 1936, when he wrote the first manuscript version of the Philosophical Investigations (MS 142), Wittgenstein started using the concept of "forms of life" in relation to language games (Wittgenstein, 2009, § § 19, 23).…”