Этот общий и неудачный факт отсутствия адекватного представления основных идей и мотиваций практически любой математической теории, вероятно, связано с бинарной природой математического восприятия. Либо у вас нет внимания к идее, либо, как только вы поняли ее, сама идея кажется настолько смущающей очевидной, что вы не хотят говорить это вслух.
Но все, что можно назвать «строгостью», потеряно именно там, где вещи становятся интересными и не тривиальными.
Понимание того, что и почему не сработало, может быть более поучительным, чем праздновать наши успехи.
Но «физический уровень строгости» выше по уверенности, чем логичный, поскольку воспроизводимые эксперименты более надежны, чем кто -либо, будь то интуиция Гильберта, Эйнштейна или Гделя.
Математик вряд ли назвал бы переписку между набором из 64 тройков из четырех единиц и набором из двадцати других подразделений, «универсальным», в то время как такая переписка, вероятно, является наиболее фундаментальной общей чертой жизни на Земле.
Не существует существенной разницы между человеческой деятельностью и деятельностью по амебам и даже бактериями, ну, в грандиозном масштабе.
