“Aren’t you implicitly conflating the hard sciences with computer programming? I

—“Aren’t you implicitly conflating the hard sciences with computer programming? It seems so. For you the sciences at hand are absolutely sufficient for every decision making, which (I assume, sorry) is boiling down to the Boolean algebra.”—Igor Rogov

I’m saying that there is only one ‘science’: truth telling, and that the scientific method, if completed (via testimonialism) unifies science, philosophy, law, and evolutionary biology.

properties > category > sets > operations > sequential operations > externalities from sequential operations > macro-patterns from externalities.

And that while computers can COMPUTE algorithms using TYPES, humans can CALCULATE ‘routes’ using CATEGORIES