Virginia Tech’s Irving John (Jack) Good, one of the founders of modern Bayesian inference and a member of the World War II code-breaking team at Bletchley Park, died of natural causes on April 5 in Radford
By Julie Rehmeyer
Web edition : Friday, November 14th, 2008
Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.