Putting Notions in Motion: Epistemological Leaps in Model Building

“Tarski has stressed in his lecture (and I think justly) the great importance of the concept of Turing's computability. It seems to me that this importance is largely due to the fact that with this concept one has for the first time succeeded in giving an absolute notion to an interesting epistemological notion, i.e., one …