![](./uploads/avatars/avatar_24426.jpg?dateline=1554375969)
Цитата:у коллеги ошибка на уровне понимания, от незнания закономерностей языка, того, как мысли на нем излагаютсяВот теперь вы изложили свою мысль понятно.
![]() Цитата:у коллеги ошибка на уровне понимания, от незнания закономерностей языка, того, как мысли на нем излагаютсяВот теперь вы изложили свою мысль понятно. 2019.04.04
![]() 2019.04.04 Цитата:ЗАКОН КОММУТАТИВНОСТИ — (переместительный закон) — свойство алгебраической операции, выражающее независимость суммы или произведения от перестановки слагаемых или сомножителей, напр. а + b = b + а; ab = ba. Примерами операций, не удовлетворяющих закону коммутативности, могут служить деление и вычитание чисел (напр. а: b ≠ b: а и а —b ≠ b —а). Есть две разные вещи 1) Задача доказательства коммутативности или ассоциативности операции сложения для определенного множества объектов. Пример, приведенный выше - это стандартный ход доказательства коммутативности для натуральных чисел, причем на базе аксиоматики Пеано (есть и другие аксиоматики). Здесь действительно это все превращается в задачу, которую можно доказать на основе более примитивных аксиом. Это все - область формальной арифметики. В ней ассоциативность и коммутативность - это теоремы. 2) Задача определения операций сложения для произвольного множества. Если речь идет о понятии "группы" в алгебре, то в этом случае свойства групповой операции вводятся сразу как аксиомы: а) ассоциативность: a+(b+c) = (a+b) + c б) наличие нейтрального элемента (нуль) : a+0=a в) наличие обратного элемента : a+(-a)=0 г) (опционально) наличие коммутативности: a+b = b+a Подобная операция по определению и называется сложением. Это все - область коммутативной алгебры. В ней ассоциативность и коммутативность - это уже аксиомы. При этом как формальная арифметика, так и коммутативная алгебра никакого особого отношения к математической логике не имеют, математическая логика - это отдельное, третье направление. 2019.04.04
Цитата:Если речь идет о понятии "группы" в алгебре ![]() Цитата:математическая логика - это отдельное, третье направлениеДвойка, да. Я ошибся 2019.04.04
2019.04.04 Абелевая это и есть синоним к слову "коммутативная". 2019.04.04
![]() Цитата:x+y =y+xВторой y выделен жирным. Это ошибка, или же это что-то значит? 2019.04.04
![]() Удивительная книга. Предисловие: ![]() Мне кажется, это полностью применимо и к китаистике 2019.04.04
2019.04.04 Это лучше у ![]() ![]() 2019.04.04
|