Size: a a a

Clojure — русскоговорящее сообщество

2021 March 28

TL

Timur Latypoff in Clojure — русскоговорящее сообщество
Damir Farazetdinov
Вот меня иной раз ночью мучает вопрос:
Можно ли придумать операцию, сходную по всем свойствам с + и * , но чтобы для неё нулем было число 2.
#(* 2 (* (/ %1 2) (/ %2 2)))
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
Запахло разочарованием в матиюематике.
источник

VP

Vladimir Pavlyuk in Clojure — русскоговорящее сообщество
ну почему) если можно доказать, что нельзя, это тоже результат)
где то наверняка это уже сделали)
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
Timur Latypoff
#(* 2 (* (/ %1 2) (/ %2 2)))
Эквивалентно:
f(x,y) -> x*y / 2
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
Выглядит как «хак»
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Вроде можно любое множество и любые операции над ним
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Короче по-моему надо тебе в теорию категорий сходить
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Ну типа есть категория, есть отображения в другую категорию итд
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
Потому что:
А) гомологично операции *
Б) пользуясь этим правилом экстраполяции можно вывести операцию для произвольного «нуля», но не для 0, для которого должны были бы получить операцию +.
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Можно отображение в само себя
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Можно наверное и такое какое ты хочешь
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
Anton Chikin
Короче по-моему надо тебе в теорию категорий сходить
Дык да. Но я уже не так молод, чтобы с такими мельницами сражаться...
источник

AC

Anton Chikin in Clojure — русскоговорящее сообщество
Я так подозреваю что если углубиться и понять как - там окажется куча вещей поинтереснее чем 2 в качестве нуля а это окажется тривиальным и скучным
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
Да уж
источник

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
А ещё я допускаю, что третьим элементом того ряда будет вовсе и не 2 в качестве нуля и не Пи, и не число, а какое-то другое понятие, которое человеки пока не открыли.
И вот если кто-то откроет его, то это будет невиданный прорыв в математике, в науке.
Типа как щас все ищут новую физику, а это будет новая математика.
А может все просто и всё уже давно открыли, а я просто неуч.
источник
2021 March 29

DF

Damir Farazetdinov in Clojure — русскоговорящее сообщество
На самом деле вместо того,  чтобы фантазировать, сходил бы давно в теорию категорий. Мне бы там навешали.
источник

Г

Григорий in Clojure — русскоговорящее сообщество
Причем здесь теоркат? Может я и нубас в нем, но по-моему это чисто абстрактная алгебра - функан (за уши притянуть)
источник

OR

Oleg Roshchupkin in Clojure — русскоговорящее сообщество
Да, прямиком в алгебру.
источник

OR

Oleg Roshchupkin in Clojure — русскоговорящее сообщество
Нейтральный элемент.
источник

VP

Vladimir Pavlyuk in Clojure — русскоговорящее сообщество
Damir Farazetdinov
Эквивалентно:
f(x,y) -> x*y / 2
Поздравляем с открытием деления!)
источник