Includes writings that tackle the problem of giving an account of the nature, purpose, and justification of mathematics as actually done by real live mathematicians. This book is suitable for mathematics philosophers as well as for mathematics educators interested in changing dominant conceptions of what is mathematics.