Michael Strevens' course notes on Bayesian Confirmation Theory. (HT: Jason Stanley)
Month: December 2006
Classic Logic Papers, pt. 1
Nice of LtU to link to a classic paper that everyone should (re)read: Hoare's Axiomatic basis for computer programming.
Kurt Gödel Centenary Research Prize Fellowship
(Organized by the Kurt Gödel Society with support from the John Templeton Foundation) The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor and celebration of Kurt Gödel's 100th birthday.The research fellowship prize program sponsored by the John Templeton Foundation will offer: two Ph.D. (pre-doctoral) fellowships of … Continue reading Kurt Gödel Centenary Research Prize Fellowship