front cover of A History of the Circle
A History of the Circle
Mathematical Reasoning and the Physical Universe
Zebrowski, Ernest
Rutgers University Press, 2000

The concept of the circle is ubiquitous. It can be described mathematically, represented physically, and employed technologically. The circle is an elegant, abstract form that has been transformed by humans into tangible, practical forms to make our lives easier.

And yet no one has ever discovered a true mathematical circle. Rainbows are fuzzy; car tires are flat on the bottom, and even the most precise roller bearings have measurable irregularities. Ernest Zebrowski, Jr., discusses why investigations of the circle have contributed enormously to our current knowledge of the physical universe. Beginning with the ancient mathematicians and culminating in twentieth-century theories of space and time, the mathematics of the circle has pointed many investigators in fruitful directions in their quests to unravel nature’s secrets. Johannes Kepler, for example, triggered a scientific revolution in 1609 when he challenged the conception of the earth’s circular motion around the sun. Arab and European builders instigated the golden age of mosque and cathedral building when they questioned the Roman structural arches that were limited to geometrical semicircles.

Throughout his book, Zebrowski emphasizes the concepts underlying these mathematicians’ calculations, and how these concepts are linked to real-life examples. Substantiated by easy-to-follow mathematical reasoning and clear illustrations, this accessible book presents a novel and interesting discussion of the circle in technology, culture, history, and science.

[more]

front cover of Mathematical Reasoning with Diagrams
Mathematical Reasoning with Diagrams
Mateja Jamnik
CSLI, 2001
Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.
[more]


Send via email Share on Facebook Share on Twitter