Logic, foundations of mathematics, and computability theory ((Philosophy of science, 1975)