Le temps de la foi en une suprématie à venir des ordinateurs pour résoudre tous les problèmes qu'ils appréhendent est révolu. Informaticiens et mathématiciens savent bien que certains problèmes n'ont tout simplement pas de solution.