Есть множество абстрактных алгебр. К примеру алгебра Буля или алгебра кватернионов. В каких то формула теоремы Пифагора выполняется, в каких то не выполняется, отсюда необходимость доказывать. Какие то системы интерпретируются в действительных числах, какие то, как алгебра кватернионов, нет. В том, что абстрактные алгебры разрабатываются без доказательства их интерпретируемости на множествах чисел нет никакой, как автор утверждает, "логической дыры". Сечения Дедекинда не нужны для геометрии. То,что автор в данном случае рассуждает о "логической дыре" , означает, что он вообще не в курсе, что такое логика.
Критерий не строгий и универсальный, зато логичный. Для познания сложного нужны сложные инструменты. А когда инструментов познания нет, всеобщая ситуация в древности, познается только простое. Вот вам критерий красоты и простоты - древность.
Есть множество абстрактных алгебр. К примеру алгебра Буля или алгебра кватернионов. В каких то формула теоремы Пифагора выполняется, в каких то не выполняется, отсюда необходимость доказывать. Какие то системы интерпретируются в действительных числах, какие то, как алгебра кватернионов, нет. В том, что абстрактные алгебры разрабатываются без доказательства их интерпретируемости на множествах чисел нет никакой, как автор утверждает, "логической дыры". Сечения Дедекинда не нужны для геометрии. То,что автор в данном случае рассуждает о "логической дыре" , означает, что он вообще не в курсе, что такое логика.
А мультик вообще не доказательство.
Критерий не строгий и универсальный, зато логичный. Для познания сложного нужны сложные инструменты. А когда инструментов познания нет, всеобщая ситуация в древности, познается только простое. Вот вам критерий красоты и простоты - древность.