Teixeira, J. de F. Some Remarks on the Logic and Epistemology of Computation. TECCOGS 2021.