Evolving social networks, attitudes and beliefs and counter terrorism

'The Princeton Companion to Applied Mathematics' is an introduction to applied mathematics for students, teachers, and professionals. This article is for the "Application Areas" part of the book, which comprises articles on connections between applied mathematics and other disciplines.

Computer Theorem Proving and HoTT

Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms chosen for the particular logic and the ‘moves’ are the rules of inference. Now, the Univalent Foundations Program at IAS Princeton and the resulting ‘HoTT’ book on Homotopy Type Theory have demonstrated the success of a new kind of experimental mathematics using computer theorem proving.

Creativity and Growth in: Edmund Phelps (2013),Mass Flourishing. How Grassroots Innovation Created Jobs, Challenge and Change

This article reviews the thesis presented by Edmund Phelps, Mass Flourishing. How Grassroots Innovation Created Jobs, Challenge and Change (Princeton University Press, 2013) that modern economic growth is an indirect outcome of human creativity, and that the object of enlightened policy ought to be to promote this creativity, or flourishing, rather than economic growth per se. The book is a remarkable contribution to the literature on economic growth, with its focus on how entrepreneurship and innovation generates endogenous growth and, more importantly to the author, improves human satisfaction.