by ggr2342 on 6/13/23, 4:42 AM with 1 comments
by 082349872349872 on 6/13/23, 8:38 AM
I suspect the subtleties of equality are why mathematicians are happy with classical logic, informaticians prefer constructive logic, and engineers seek to make things data-driven where possible.