News for hackers. Stuff that matters.
Re:Computational Knowledge and the Future of Pure Mathematics by proveit123 on Tuesday August 19, 2014 @03:05AM (#8196270)
> In principle

What principle is that? I've never heard of such a thing.

> any human activity that we understand can be automated simply by giving a computer sufficiently precise instructions

Care to back up this clearly false statement? I've heard only the opposite regarding computers. Also, hard AI being nothing more than an impossibility and (political)fantasy of know-nothings is a very real option. The peak of automation will be reached within this century and it won't be ``great'' in its ability.

> (2) there are many human activities that we do not understand.

You're just being pseudo-intellectual and making up false principles.

There are no comments on this comment yet.