PG
вот кстати, я честно пытался проходить SICP со схемой в лапах, но естессно все примеры приходится перетачивать
Да, сикп хочет MIT Scheme
Size: a a a
2020 June 24
PG
Потому что нулевой элемент в кольце по сложению - это 0, а в кольце по умножению - это 1
Зачем кольца и группы? Хватит моноида. Булев тип образует два моноида – {and, #t} и {or, #f}
IL
вот на эту тему как раз вопрос и есть. Нет, не пробовал
Вот это попробуй https://docs.racket-lang.org/sicp-manual/
a
a
А википедии написано, что всякая группа является моноидом.
PG
да, но моноид гораздо проще группы
a
А ну да, не всякий моноид группа получается :)
NR
вообще хз, но звучит так, будто моноид - это общее название
NR
с другой стороны, я зря в это лезу, не шарю
PG
есть название магма/группоид
a
так можно дойти и до слова на букву "М", которое нельзя называть
PG
У монад много законов, у моноидов меньше, у магм вообще минимум
AK
Гм. Тут больше подойдёт квазигруппа с нейтральным элементом, которая, если верить википедии, называется петля или лупа
AK
Приходят как-то магма и лупа строить аксиоматику, но Бурбаки опять всё перепутали...
PG
Гм. Тут больше подойдёт квазигруппа с нейтральным элементом, которая, если верить википедии, называется петля или лупа
почему?
AK
почему?
Ну речь изначально была о том, какой нейтральный элемент в группоидах, образованных операциями
or и andPG
в группоидах же нету нейтрального элемента
AK
(тут-то становится очевидно, у кого по линейной алгебре в универе была тройка)
PG
я вылетел до линала
AK
Значит, ты умнее меня)