[umutisik]

Being the first one to claim a formal proof to a theorem is not the most important thing. What's really important is to prove things that improve our understanding, which both Goedel and Turing have done, in the fields of logic and computing respectively.