Mathematics, Programming, Logic: We are looking at, like with the philosophical beginnings of the 20th century a question found in Hilbert, Russell, et al. Is m

Mathematics, Programming, Logic: We are looking at, like with the philosophical beginnings of the 20th century a question found in Hilbert, Russell, et al. Is mathematics reducible to a base system of logic. Today, we might see the cleanest expression of a theoretical framework answering to this question: free logic. At the same time, programming itself, like mathematics, is not a world of numbers or any of this, and is in fact the expression of complexity: the complexity of the sign as written or drafted by the mathematician, itself expressed in a non-denumerable set. Programming itself depends on the conventional expressions and idioms of programmers who write actual code. As Wittgenstein might say “Mathematics consists of calculations, not of propositions.” Like so: "Programming consists of executions, not of functions."