Hilary Putnam Quotes
It was Rudolf Carnap's dream for the last three decades of his life to show that science proceeds by a formal syntactic method; today no one to my knowledge holds out any hope for that project.
Putnam, Hilary. "The 'Corroboration' of Theories." Mathematics, Matter and Method: Philosophical Papers, Volume 1, Cambridge University Press, 1975, p. 250.
Hilary Whitehall Putnam was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century. He made significant contributions to philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem.