Information Theory, Theorem Proving, Formal Methods, Quantitative Analysis of Information