Origins of Formal Structure

Saunders Mac Lane
Additional contact information
Saunders Mac Lane: University of Chicago, Department of Mathematics

Chapter Chapter I in Mathematics Form and Function, 1986, pp 6-41 from Springer

Abstract: Abstract Mathematics, at the beginning, is sometimes described as the science of Number and Space—better, of Number, Time, Space, and Motion. The need for such a science arises with the most primitive human activities. These activities presently involve counting, timing, measuring, and moving, using numbers, intervals, distances, and shapes. Facts about these operations and ideas are gradually assembled, calculations are made, until finally there develops an extensive body of knowledge, based on a few central ideas and providing formal rules for calculation. Eventually this body of knowledge is organized by a formal system of concepts, axioms, definitions, and proofs. Thus Euclid provided an axiomatization of geometry, with careful demonstrations of the theorems from the axioms; this axiomatization was perfected by Hilbert about 1900, as we will indicate in Chapter III. Similarly the natural numbers arise from counting, with notation which provides to every number the next one—its successor, and with formal rules for calculating sums and products of numbers. It then turns out that all these formal rules can be deduced from a short list of axioms (Peano-Dedekind) on the successor function (Chapter II). Finally, the measurements of time and space eventually are codified in the axioms (Chapter IV) for the real numbers.

Keywords: Natural Number; Formal Structure; Topological Space; Rational Number; Binary Relation (search for similar items in EconPapers)
Date: 1986
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4612-4872-9_2

Ordering information: This item can be ordered from
http://www.springer.com/9781461248729

DOI: 10.1007/978-1-4612-4872-9_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().