Text this: From an ivory tower : a discussion of philosophical problems originating in modern mathematics.