Computability Theory

Written on December 8, 2012 – 10:56 am | by Robin |

Mathematicians including Kurt Godel, Alan Turing, and Alonzo Church concluded that some basic problems cannot be solved by computers. One such problem is determining whether a mathematical statement is true or false.Though it seems that this kind of problems can be solved by computer because they lies strictly within the realm of mathematics, no computer […]