Turing's oracle: The computer that goes beyond logic

For 75 years, computers have worked within limits defined by Alan Turing. Now work has begun to fulfil his prophecy of a machine that can solve the unsolvable (full text available to subscribers)