в мире всё больше будет рулить вычислительная математика, а не "формальная булевская логика"

[klausnick]

Все эти формально-логические онтологии становятся priors, и дальше их вычислять нужно не булевскими пруверами, а вполне себе методами вычислительной математики с плавающими числами.
Грядут "войны универсальных вычислителей", как были браузерные войны, войны фреймворков нейронных сетей. Но это "войны универсальных вычислителей", а не "войны

Comments

[peter314]

"Були" будут жить при делёжке водки на троих. В бутылке 27 булей.

[klausnick]

Булево деление.