AIC Seminar Series

A general mechanical procedure for reasoning about the probability calculus is presented. The procedure involves (1) a translation from probability calculus into the theory of real closed fields (TRCF), and (2) an application of a recent implementation of the CAD procedure for TRCF. The procedure is then used to solve various problems in Bayesian confirmation theory (some of which were open). Some issues of computational complexity and problem size will also be discussed. All necessary technical (and historical, and philosophical) background will be provided during the talk.

http://fitelson.org/vita.pdf