3 ms·
I mean mathematicians have encoded a decent amount of the operations you mean for messy versus true / false. Turing machines are built from mere Boolean logic,
by sigbottle 3mo ago
I mean mathematicians have encoded a decent amount of the operations you mean for messy versus true / false. Turing machines are built from mere Boolean logic, but also notions of compression, information theory, projections, function mappings, etc. provide all the math-crank language you want to reformulate knowledge work.
The issue is that mathematics really does not have a good answer for how things update.
- seanhunter 3mo agoNot really sure what you’re getting at here. Maths has a very good answer (Bayes’ Theorem[1]) about how, in an uncertain world, one should update our belief in a hypothesis in the light of updated information. [1] https://mathworld.wolfram.com/BayesTheorem.html https://mathworld.wolfram.com/BayesTheorem.html
- deleted 3mo ago[deleted]