Thomas Sturm

Christoph Zengler

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education.

7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Automated Deduction in Geometry

Lorraine Daston

Michael D. Gordin

Rebecca Lemov

Paul Erickson

Judy L. Klein

In the United States at the height of the Cold War, roughly between the end of World War II and the early 1980s, a new project of redefining rationality commanded the attention of sharp minds, powerful politicians, wealthy foundations, and top military brass. Its home was the human sciences—psychology, sociology, political science, and economics, among others—and its participants enlisted in an intellectual campaign to figure out what rationality should mean and how it could be deployed. How Reason Almost Lost Its Mind brings to life the people—Herbert Simon, Oskar Morgenstern, Herman Kahn, Anatol Rapoport, Thomas Schelling, and many others—and places, including the RAND Corporation, the Center for Advanced Study in the Behavioral Sciences, the Cowles Commission for Research and Economics, and the Council on Foreign Relations, that played a key role in putting forth a “Cold War rationality.” Decision makers harnessed this picture of rationality—optimizing, formal, algorithmic, and mechanical—in their quest to understand phenomena as diverse as economic transactions, biological evolution, political elections, international relations, and military strategy. The authors chronicle and illuminate what it meant to be rational in the age of nuclear brinkmanship.

The Strange Career of Cold War Rationality

How Reason Almost Lost Its Mind

Thomas Sturm

Books

Your next favorite book is out there