a refutation of penrose ' s godelian case against artificial intelligence .
Analog computation via neural networks