Turing paused as he recollected the Cambridge hall, where Wittgenstien and him first exchanged words:
“I see mathematics as more of a language game. It merely follows agreed upon rules where meaning arises from its use within a particular context. Consider for example division by zero. It gives a nonsensical result. The solution is to ban these kinds of manipulations. Now, one may continue to modify their mathematical language as such, however, realise you are no longer making predictions in science, rather you are making retrodictions in this language since you keep updating it upon error…