If a paradigm shift is needed to get formal mathematical explanation of agents, abstractions, latent knowledge, subjective experience, and moral reasoning, let there be the Aprillion's axiom: The concept of usefulness is useful.
If a paradigm shift is needed to get formal mathematical explanation of agents, abstractions, latent knowledge, subjective experience, and moral reasoning, let there be the Aprillion's axiom: The concept of usefulness is useful.
sure, seems reasonable. I'll add a comment in the prelude.rs file "Todo: usefulness". sound good or was there more to your meaning than that?
See the
Humortag ¯\_(ツ)_/¯