I’m reminded of the Wittgensteinian transformations of philosophy, first because the early Wittgenstein basically defined the symbol logic that all programmers operate with. Then the late Wittgenstein redefined epistemology through the phenomenon of use of language, instead of intrinsic, symbol meaning of language.