Alfred Tarski

Abstract Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both personal and by mail, which begins with a letter to Tarski from Gödel in 1931, extended at least to 1970; the relationship between them over this entire period is traced in S. Feferman 1999. The entire collection, whose sole source is the Gödel Nachlaß, consists of 22 items, of which five are from Gödel to Tarski (not all of which were sent). Following the first letter, there is nothing more until 1942; from then until 1944, all but one of the letters and cards from Tarski are of a personal nature, and so are not included here. Moreover, up until that date all the correspondence is in German; from 1945 it is all in English. The complete correspondence from Tarski to Gödel from 1942 to 1947 has been translated and edited by Jan Tarski, and has been published as Tarski 1999. After 1947, there were only three letters between them. The first, from Gödel to Tarski in 1961, is reproduced below. The second and third, from May 1970, concern the manuscript *1970a that