As early as 1934, Popper wrote of the search for truth as "one of the strongest motives for scientific discovery. What book by Alfred Tarski was published in 1972?