Математикам нужны доказательства, чтобы они были честными. Все технические области человеческой деятельности нуждаются в проверке реальности. Недостаточно верить, что что -то работает, что это хороший способ продолжить или даже что это правда. Нам нужно знать, почему это правда. В противном случае мы вообще ничего не узнаем.
