From the book Rationality A to Z, the general understanding of Lean( is an interactive theorem prover), Intuitive Interactive Bayes’ Theorem Visualization tool(example: https://​​allenkim67.github.io/​​bayes-demo/​​). I assumed that there should be a tool to help make a better decision. So the perfect result would be some assistance that helps to make a decision. The type of question I would like to answer: “Should I help this person?”, “Should I change the job?”. I am using a list of heuristics and questions for now. But it is hard for me to understand how to apply logic or Bayes’s theorem here. Thanks for any help 🌻
[Question] Could you please share a tool to help with reasoning or make better decisions?
From the book Rationality A to Z, the general understanding of Lean( is an interactive theorem prover), Intuitive Interactive Bayes’ Theorem Visualization tool(example: https://​​allenkim67.github.io/​​bayes-demo/​​).
I assumed that there should be a tool to help make a better decision. So the perfect result would be some assistance that helps to make a decision.
The type of question I would like to answer: “Should I help this person?”, “Should I change the job?”.
I am using a list of heuristics and questions for now. But it is hard for me to understand how to apply logic or Bayes’s theorem here.
Thanks for any help 🌻