A experiência matemática - Davis, Philip J. (F. Alves, 1989)