Logic, foundations of mathematics, and computability theory