A Turing machine is Alan Turing’s original model of a basic computer. A Turing machine can model any computational process. In the 1930’s, Kurt Godel proved that there were certain mathematical problems that could not be proved. Later that decade Alan Turing and Alonzo Church both published papers suggesting that certain problems were unsolvable by a Turing machine (the Church-Turing thesis). Since a Turing machine can model any computer, these problems are unsolvable by any computer. It can also be interpreted that since a Turing machine cannot solve such problems, neither can a human. Since the human brain and body follow the laws of physics and can eventually be modelled by a computer or Turing machine, the same rule must apply to them. So the question is, are there certain problems that humans cannot solve?