An investigation of the concept “surveyability” as traced through thought Hilbert, Wittgenstein, and Turing. The communicability reproducibility proof, with certainty, are seen earmarked by symbols, sequences, structures proof in all these thinkers. Hilbert initiated idea within his metamathematics, Wittgenstein took up a kind game formalism 1920s early 1930s response. Turing carried Hilbert’s ...