Provide a detailed explanation of Gödel's incompleteness theorems, including their historical context, mathematical formulation, and proof strategy. Discuss the implications of these theorems for the foundations of mathematics, logic, and computation. Explore related concepts such as decidability, consistency, completeness, and their relevance to philosophy of mathematics and artificial intelligence.