Proof of Bayes' rule

So8res v1.22.0Jul 11th 2016 GMT (+531) 2

So8res v1.21.0Jul 7th 2016 GMT 2

So8res v1.20.0Jul 7th 2016 GMT (+2310/-3001) Split off the probability proof, and cleaned up the notation a bit. 2

So8res v1.19.0Jul 2nd 2016 GMT (+253/-511) 2

So8res v1.18.0Jul 2nd 2016 GMT (+26/-18) 2

Eliezer Yudkowsky v1.17.0Jul 2nd 2016 GMT (+39/-26) 2

So8res v1.16.0Mar 3rd 2016 GMT (+776/-321) 2

Eliezer Yudkowsky v1.15.0Feb 23rd 2016 GMT (+12/-12) 2

Eliezer Yudkowsky v1.14.0Feb 11th 2016 GMT (+11/-11) 2

Eliezer Yudkowsky v1.13.0Feb 10th 2016 GMT (+9) 2

Eliezer Yudkowsky v1.12.0Feb 10th 2016 GMT (+10/-6) 2

Eliezer Yudkowsky v1.11.0Feb 10th 2016 GMT (+44/-2) 2

Eliezer Yudkowsky v1.10.0Feb 10th 2016 GMT (+36/-20) 2

Eliezer Yudkowsky v1.9.0Feb 10th 2016 GMT (+18/-2) 2

Eliezer Yudkowsky v1.8.0Feb 10th 2016 GMT (+36/-6) 2

Eliezer Yudkowsky v1.7.0Feb 10th 2016 GMT (+426/-17) 2

Eliezer Yudkowsky v1.6.0Feb 10th 2016 GMT 2

Eliezer Yudkowsky v1.5.0Feb 10th 2016 GMT 2

Eliezer Yudkowsky v1.4.0Feb 10th 2016 GMT (+65) 2

Eliezer Yudkowsky v1.3.0Feb 10th 2016 GMT (+1166/-60) 2