The book presents the history of ICMI trough a prosopographical approach. In other words, it pays a lot of attention to the actors of the International movement. The portraits of the members of the ICMI Central Committees (1908-1936) and ICMI Executive Committees (1952-2008), and other eminent figures in ICMI history, who have passed away in the first 100 years of its life, are the guiding thread of the volume. Each portrait includes: · Biographical information · An outline of the various contributions made by the individual in question to the study of problems pertaining to mathematics teaching/education · Primary bibliography · Secondary with particular attention to the publications concerning the teaching of mathematics · Images: photos, book frontispieces, relevant manuscripts The authors of the portraits (30 altogether) are researchers in the history of mathematics, mathematics, and mathematics education. The focus on the officer’s role within ICMI and on his/her contributions to mathematics education, make the portraits different from usual biographies. In particular, since most officers were active mathematicians, the portraits shed light on aspects of their lesser-known activity. Connecting chapters place the action of these figures in the historical context and in the different phases of ICMI history.

Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.

This vividly illustrated history of the International Congress of Mathematicians- a meeting of mathematicians from around the world held roughly every four years- acts as a visual history of the 25 congresses held between 1897 and 2006, as well as a story of changes in the culture of mathematics over the past century. Because the congress is an int

At its meeting in April 1990 at the University of Cambridge, the Executive Committee of the International Mathematical Union (IMU) decided that the largely unorganized archives of the Union should be properly arranged and catalogued. Simultaneously, the Executive Committee expressed the wish that a history of the Union should be written [1). As Secretary of the Union, I had proposed that these issues be dis cussed at the Cambridge meeting, but without having had in mind any personal role in the practical execution of such projects. At that time, the papers of the IMU were stored in Zurich, at the Eidgenossische Technische Hochschule, and I saw no reason why they could not remain there. At about this time, Professor K. Chandrasekharan produced a handwritten article titled "The Prehistory of the International Mathematical Union" [2), and it seemed to me that this might serve as the beginning of a more compre hensive history. I had first thought that Tuulikki MakeUiinen, who during eight years as the Office Secretary ofthe IMU had become well acquainted with the Union, would do the arranging of the archives in Zurich. She had a preliminary look at the material there, but it soon became clear that the amount of work required to bring order to it was too great to be accomplished in a few short visits from Helsinki. The total volume of material was formidable.

Jens Hoyrup, recognized as the leading authority in social studies of pre-modern mathematics, here provides a social study of the changing mode of mathematical thought through history. His "anthropology" of mathematics is a unique approach to its history, in which he examines its pursuit and development as conditioned by the wider social and cultural context. Hoyrup moves from comparing features of Sumero-Babylonian, Mesopotamian, Ancient Greek, and Latin Medieval mathematics, to examining the character of Islamic practitioners of mathematics. He also looks at the impact of ideologies and philosophy on mathematics from Latin High Middle ages through the late Renaissance. Finally, he examines modern and contemporary mathematics, drawing out recurring themes in mathematical knowledge.

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.