Evaluate the debate between Mathematical Platonism (mathematical entities exist independent of human thought) and Formalism (mathematics is about manipulating symbols according to rules). Discuss the implications of Godel's incompleteness theorems on these opposing views and argue which provides a more robust explanation for the effectiveness of mathematics in the natural sciences.