Original: Later in his life he emigrated to the United States to escape the effects of World War II.
Simplified: Gödel is best known for his two incompleteness theorems.