The undecidable : - Davis, Martin, 1928- (Raven, 1965)