Имбирь - твой спиритический овощ. Войти !bnw Сегодня Клубы

Приснилось, что я придумал троичную логику. В этой логике есть три значения: 0 — ложь, ничто, никогда; 1 — может быть, иногда, в некоторых случаях, неизвестно; и 2 — истина, всё, всегда, во всех случаях. Также есть два логических действия: умножение (И) — a*b=min(a,b); и сложение (ИЛИ) — a+b=max(a,b). Во сне я это придумал для того, чтобы избавиться от модусов и кванторов, не помню зачем мне это было надо. Сейчас на свежую голову думаю, что удобнее было бы обозначить значения -1, 0 и 1 — тогда бы ещё и отрицание было бы легко определить как not(a):=-a. А вообще модель достаточно удобная, как мне кажется.

#T83301 / @goren / 3693 дня назад

придумай лучше водку
#T83301/NFM / @klava / 3693 дня назад
@klava Путен уже придумал.
#T83301/61F / @goren --> #T83301/NFM / 3693 дня назад
@goren она неоч
#T83301/K8I / @klava --> #T83301/61F / 3693 дня назад
@klava Что делать.
#T83301/GMC / @goren --> #T83301/K8I / 3693 дня назад
придумай лучше комплексные числа
#T83301/GXY / @238328 / 3693 дня назад
@238328 Однажды во сне я придумал октанионы. Комплексные числа мне не снятся, слишком просто.
#T83301/8JH / @goren --> #T83301/GXY / 3693 дня назад
@goren удобно!
#T83301/R6G / @238328 --> #T83301/8JH / 3693 дня назад
@goren придумай как обустроить Россиюшку
#T83301/IU5 / @anonymous --> #T83301/8JH / 3693 дня назад
#T83301/TYD / @goren --> #T83301/IU5 / 3693 дня назад
@goren пук
#T83301/4FU / @238328 --> #T83301/TYD / 3693 дня назад
Kleene's weak three-valued logic лучше придумай, и впили это в SMT солверы https://github.com/OCamlPro/alt-ergo/issues/15
#T83301/SYM / @j123123 / 2859 дней назад

@j123123 сорь, такое мне не снилось

#T83301/HX0 / @goren --> #T83301/SYM / 2859 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.