This book argues against the view that mathematical knowledge is a priori, contending that mathematics is an empirical science and develops historically, just as natural sciences do. Kitcher presents a complete, systematic, and richly detailed account of the nature of mathematical knowledge and its historical development, focusing on such neglected issues as how and why mathematical language changes, why certain questions assume overriding importance, and how standards of proof are modified.