Hacker News new | ask | show | jobs
by yew 4008 days ago
It certainly spectacularly fails to provide any advice on the practical problem of engineering AI [1]. The same is true of many non-constructive mathematical proofs, though - and I can't say I find such proofs any less insightful for that.

[1] Though, at least in my opinion, the cognitive science and AI research people have made great progress here - by studying real brains and the formalisms underlying computation.