Reviewing classical interpretations of Cantor’s, Gödel’s, Tarski’s, and Turing’s reasoning and addressing some grey areas in the foundations of math/phil/logic