Анон, поясни, почему следующее доказательство данного утверждения (a+b = b+a) недействительно: Пусть a+b = k, тогда a = k - b Отсюда a+b = b+k-b a+b = k a+b = a+b ч.т.д. И если это неправильно, то как тогда доказать утверждение?
Ну смотри, это ведь всё принципиально зависит от множества, в котором ты вводишь операцию сложения. Если мы рассматриваем множество действительных чисел, можно ограничиться аксиоматическим подходом (аксиомы поля, в которых уже сказано, что a+b=b+a, и аксиома непрерывности), а можно, например, ввести ту или иную модель действительных чисел, вроде этой https://ru.m.wikipedia.org/wiki/Дедекиндово_сечение . С помощью такой модели уже можно доказать коммутативность. А лично я советую тебе разобраться в том, как работает непрерывность.
>>596354 (OP) Аноны, вот мне одному, почему-то кажется, что следует пересмотреть операцию сложения?
Короче, я где-то видел в тиктоке видос, где баба говорила, что 1+1 не равно двум. Суть в следующем. Один нейрон, плюс один нейрон = два нейрона ПЛЮС СВЯЗИ МЕЖДУ НИМИ, и там ещё инфа. Короче, из простых вещей складываются сложные вещи, которые как-бы намного больше могут быть, чем просто сумма простых вещей. Такие дела.
Также, очевидно, что сумма простых вещей - это инфа неполная. Пусть 2 + 1 = 3. Но из 3, разве можно получить 2 + 1, однозначно? Нет. 3 = 2+1. Но 3 = 1+2. 3=3+0. 3 = 0+3. Обратить сумму однозначно нельзя - появляется многозначность. А вот если записать так: 2 + 1 = 3 (с комбинацией слагаемых 2 и 1 соответственно), то тогда, результат процесса, можно обратить, владея инфой о комбинации слагаемых. Сумма эту инфу отбрасывает, какбы, давая неполную инфу на выходе, и выдавая - наёбку.
>>596518 В целом, переодически задаюсь этой мыслью, как программист. Размышляя над тем как подружить школьную семантику, математическую и компьютерную n=n+1 не пишите только про == >А вот если записать так: 2 + 1 = 3 (с комбинацией слагаемых 2 и 1 соответственно), то тогда, результат процесса, можно обратить, владея инфой о комбинации слагаемых. Осталось придумать фазовый переход в нейрообучении или памяти для подобного, чтобы разворачивать память обратно во времени, получая воспоминания, либо прокручивать до нужной комбинации, сохраняя детали.
Чё вы хуйни понаписали? Вам ответили же во втором посте, что коммутативность сложения над числами не доказывается, а постулируется. Мы сами выбрали операцию сложения так, что a + b = b + a. В общем виде сложение и прочие операции коммутативными не являются.
>>596354 (OP) Вот тут ты обменял местами слагаемые, чтобы сократить b, хотя не доказал, что это можно. Всё что ты можешь, это добавлять попарно слагаемые либо слева, либо справа.. Типа a+b = k a+b-b = k-b тогда a = k-b
>>596706 Пздц шиза. Ты же считаешь нейроны, а не нейроны И связи между ними.Да и юзая подобную логику, мы рассматриваем модель при которой можем складывать нормально только 2 нейрона. Т.к. непонятно как тогда учитывать случаи, когда нейрон соеденяется с другими нейронамм через посредника, т.е. другой нейрон. Что блять, тогда 1+1 = 5 ( --*) или как? Так же невозможно посчитать сумму нейронов, если нейроны находятся достаточно далеко друг от друга, т.к. количество дополнительных связей невозможно нормально учесть.
Кароче, концепция просто говно, что-то на уровне теории двойного времени от Наки.