It's the author of "Randomness and Mathematical Proof".