 1953 Lectures in Helsinki, where he stays with Von Wright. Lecture tour through the USA (among others MIT, Princeton, University of Wisconsin-Madison, Berkeley, Chicago) and Canada (Canadian Mathematical Congress in Kingston, Ontario). In Princeton, he visits Gödel.