John von Neumann , the father of game theory , took up Godel 's cause in America ; in England , Alan Turing provided an alternative proof of Godel 's theorem while inventing theoretical computer science .