ABSTRACT
This is an essay within a new field of study—the cognitive science of mathematics. The contribution we seek ultimately to make is a new one: to characterize precisely what mathematical ideas are. You might think that this enterprise would leave mathematics as it exists alone and simply add to it an account of the conceptual nature of mathematical understanding. You could not be more wrong.
