Code related to calculatibility: The optimal scientist (aka Goedel machine), probabilistic lambda-calculus, computational cognitive science, etc.