Большинство математиков полагает, что их устремления сложнее, чем устремления компьютеров: они надеются достичь не просто истины, но понимания того, что скрыто за этой истиной. Если компьютер проверяет истинность утверждения, но не дает такого понимания, им кажется, что их обманули.