a refutation of penrose ' s godelian case against artificial intelligence .
Thinking may be more than computing