Although initially skeptical, by 1946 Gödel argued in favor of this thesis: "Tarski has stressed in his lecture (and I think justly) the great importance of the concept of general recursiveness (or Turing's computability).
Deși inițial sceptic, prin 1946, Gödel a susținut și el această teză: "Tarski a subliniat în prelegerea sa (și cred că pe bună dreptate) marea importanță a conceptului general de recursivitate (sau calculabilitatea lui Turing).