|
|
|
|
|
|
by BaronSamedi
2205 days ago
|
|
|
This reminds me of my wish to see a unified theory (and notation) that encompasses formal logic and probability. On their own, each is lacking. A unified system, for example, in which we have all the tools of first order logic and Bayesian probability would be very powerful. |
|
|