You are viewing a single comment's thread.

view the rest of the comments →

0
3

[–] corsairio [S] 0 points 3 points (+3|-0) ago 

Programming is awesome. There is a style of proof that shows that there are at least two branches of human activity that can never be totally replaced by a system. Mathematics, and programming. For programming it is called the Halting Problem.