David Corfield provides a variety of innovative approaches to research in the philosophy of mathematics. His study ranges from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics to the use of analogy; the prospects for a Bayesian confirmation theory; the notion of a mathematical research program; and the ways in which new concepts are justified. This highly original book will challenge philosophers as well as mathematicians to develop the broadest and most complete philosophical resources for research in their disciplines.

Die innerdeutsche Grenze verlief nicht nur zwischen zwei Staaten, sondern spiegelte sich sogar in den Grundlagenwissenschaften wie der Mathematik wider. Aus personlicher Sicht zeigt der Autor den subjektiven Umgang mit Erzeugung, Bewertung und Propagierung wissenschaftlicher Resultate in den zwei unterschiedlichen Gesellschaftssystemen. Auf unterhaltsame Art werden Innensichten aus Forschungsinstitutionen, der Wissenschaftsforderung und die verschiedenen Einstellungen zur Zweckbestimmung reiner und angewandter Forschung dargelegt."

Dieses zweibAndige Werk handelt von Mathematik und ihrer Geschichte. Die sorgfAltige Analyse dessen, was die Alten bewiesen - meist sehr viel mehr, als sie ahnten -, fA1/4hrt zu einem besseren VerstAndnis der Geschichte und zu einer guten Motivation und einem ebenfalls besseren VerstAndnis heutiger Mathematik.
Der zweite Band beginnt mit der groAen Arbeit von Lagrange von 1770/71, die spAter Galois inspirierte. Um sie zu verstehen, benAtigt man den Begriff der Resultanten von Polynomen. Dieser wird bereitgestellt, zusammen mit Algorithmen zu ihrer Berechnung, die aus dem 20. Jahrhundert stammen. Zentral sind dann Arbeiten von Steinitz und Galois. FA1/4r diese wird transfiniten Methoden und Gruppen sowie der Geschichte beider Themen entsprechender Raum gewidmet. Viel gesagt wird auch A1/4ber die Kreisteilungspolynome. Um die Transzendenz von Pi zu beweisen, werden schlieAlich auch noch topologische Methoden behandelt.

Artists and scientists view the world in quite different ways. Nevertheless, they are united in a search for hidden order beneath surface appearances. The quest for eternal geometrical designs is also seen in the sacred mathematical patterns created by the world's great religions. Tibetan monks fashion chalk mandalas representing the emergence of order in the universe. Moslem architects wrap their buildings in elaborate abstract tessellating designs. Celestial Tapestry places mathematics within a vibrant cultural and historical context. Threads are woven together telling of surprising influences that pass between the Arts and Mathematics. The story involves intriguing characters: the soldier who laid the foundations for fractals and computer art while recovering in hospital after suffering serious injury in the First World War; the mathematician imprisoned for bigamy whose books had a huge influence on twentieth century art; the pioneer clockmaker who suffered from leprosy; the Victorian housewife who amazed mathematicians with her intuition for higher-dimensional space.

Dieses zweibAndige Werk handelt von Mathematik und ihrer Geschichte. Die sorgfAltige Analyse dessen, was die Alten bewiesen - meist sehr viel mehr, als sie ahnten -, fA1/4hrt zu einem besseren VerstAndnis der Geschichte und zu einer guten Motivation und einem ebenfalls besseren VerstAndnis heutiger Mathematik.
Die Themen des ersten Bandes reichen von der Konstruktion der reellen Zahlen mittels dedekindscher Schnitte bis hin zum Fundamentalsatz der Algebra. Dazwischen werden die BA1/4cher V bis X der euklidischen Elemente abgehandelt, wobei insbesondere die eudoxische Proportionenlehre (Buch V) eine zentrale Rolle spielt. Sie bietet einen eleganten Zugang zu den Logarithmen, so dass auch Neper ausfA1/4hrlich zu Wort kommt. Weitere Themen sind die natA1/4rlichen Zahlen und das Induktionsprinzip; die Entdeckung der LAsungsformeln der Gleichungen dritten und vierten Grades; Polynomringe in beliebig vielen Unbestimmten; symmetrische Polynome und der Satz von Waring.

Contemporary thinking on philosophy and the social sciences has primarily focused on the centrality of language in understanding societies and individuals; important developments which have been under-utilised by researchers in mathematics education. In this revised and extended edition this book reaches out to contemporary work in these broader fields, adding new material on how progression in mathematical learning might be variously understood. A new concluding chapter considers how teachers experience the new demands they face.

This book studies the important issue of the possibility of conceptual change--a possibility traditionally denied by logicians--from the perspective of philosophy of mathematics. The author also looks at aspects of language, and his conclusions have implications for a theory of concepts, truth and thought. The book will appeal to readers in the philosophy of mathematics, logic, and the philosophy of mind and language.

A conversation between Euclid and the ghost of Socrates. . . the paths of the moon and the sun charted by the stone-builders of ancient Europe. . .the Greek ideal of the golden mean by which they measured beauty. . . Combining historical fact with a retelling of ancient myths and legends, this lively and engaging book describes the historical, religious and geographical background that gave rise to mathematics in ancient Egypt, Babylon, China, Greece, India, and the Arab world. Each chapter contains a case study where mathematics is applied to the problems of the era, including the area of triangles and volume of the Egyptian pyramids; the Babylonian sexagesimal number system and our present measure of space and time which grew out of it; the use of the abacus and remainder theory in China; the invention of trigonometry by Arab mathematicians; and the solution of quadratic equations by completing the square developed in India. These insightful commentaries will give mathematicians and general historians a better understanding of why and how mathematics arose from the problems of everyday life, while the author's easy, accessible writing style will open fascinating chapters in the history of mathematics to a wide audience of general readers.

Marcus Giaquinto tells the story of one of the great intellectual adventures of the modern era -- the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.

Originally published in 1964. This lively, challenging book, written with enthusiasm, conviction and clarity, sets out to elucidate the shadowy concept of Time. This involves central philosophical issues, which are vigorously discussed. Also relativity theory, in a clear-cut exposition, is made intelligible in a new light. All who are interested in science and its philosophical implications will find this book highly controversial but certainly readable. The author believes philosophy to be important, not only for its professionals, but for everyman. He believes that the fact that this is no longer realised shows that something is wrong with professional philosophy; he also indicates what this is. The book ends, surprisingly but pertinently, with a bold plunge into the questions of telepathy, precognition and psychical research generally. Whilst the phenomena are reasonably admitted, trenchant criticism of their significance confronts parapsychologists.

Originally published in 1980. What is time? How is its structure determined? The enduring controversy about the nature and structure of time has traditionally been a diametrical argument between those who see time as a container into which events are placed, and those for whom time cannot exist without events. This controversy between the absolutist and the relativist theories of time is a central theme of this study. The author's impressive arguments provide grounds for rejecting both these theories, firstly by establishing that 'empty' time is possible, and secondly by showing, through a discussion of the structure of time which involves considering whether time might be cyclical, branching, beginning or non-beginning, that the absolutist theory of time is untenable. This book then advances two new theories, and succeeds in shifting the traditional debate about time to a consideration of time as a theoretical structure and as a theoretical framework.

The Twentieth Century has seen a dramatic rise in the use of probability and statistics in almost all fields of research. This has stimulated many new philosophical ideas on probability.
Philosophical Theories of Probability is the first book to present a clear, comprehensive and systematic account of these various theories and to explain how they relate to one another. Gillies also offers a distinctive version of the propensity theory of probability, and the intersubjective interpretation, which develops the subjective theory.

Originally published in 1937. This book is a classic work on the philosophy of time, looking at the pshychology, physics and logic of time before investigating the views of Kant, Bergson, Alexander, McTaggart and Dunne. The second half of the book contains more indepth consideration of prediction, the concepts of past and future, and reality.

The book treats two approaches to decision theory: (1) the normative, purporting to determine how a 'perfectly rational' actor ought to choose among available alternatives; (2) the descriptive, based on observations of how people actually choose in real life and in laboratory experiments. The mathematical tools used in the normative approach range from elementary algebra to matrix and differential equations. Sections on different levels can be studied independently. Special emphasis is made on 'offshoots' of both theories to cognitive psychology, theoretical biology, and philosophy.

Is anything truly random? Does infinity actually exist? Could we ever see into other dimensions?

In this delightful journey of discovery, David Darling and extraordinary child prodigy Agnijo Banerjee draw connections between the cutting edge of modern maths and life as we understand it, delving into the strange would we like alien music? and venturing out on quests to consider the existence of free will and the fantastical future of quantum computers. Packed with puzzles and paradoxes, mind-bending concepts and surprising solutions, this is for anyone who wants life s questions answered even those you never thought to ask.

Originally published in 1969. This book is for undergraduates whether specializing in philosophy or not. It assumes no previous knowledge of logic but aims to show how logical notions arise from, or are abstracted from, everyday discourse, whether technical or non-technical. It sets out a knowledge of principles and, while not historical, gives an account of the reasons for which modern systems have emerged from the traditional syllogistic logic, demonstrating how certain central ideas have developed. The text explains the connections between everyday reasoning and formal logic and works up to a brief sketch of systems of propositional calculus and predicate-calculus, using both the axiomatic method and the method of natural deduction. It provides a self-contained introduction but for those who intend to study the subject further it contains many suggestions and a sound basis for more advanced study.

The first European Congress of Mathematics was held in Paris from July 6 to July 10, 1992, at the Sorbonne and Pantheon-Sorbonne universities. It was hoped that the Congress would constitute a symbol of the development of the community of European nations. More than 1,300 persons attended the Congress. The purpose of the Congress was twofold. On the one hand, there was a scientific facet which consisted of forty-nine invited mathematical lectures that were intended to establish the state of the art in the various branches of pure and applied mathematics. This scientific facet also included poster sessions where participants had the opportunity of presenting their work. Furthermore, twenty four specialized meetings were held before and after the Congress. The second facet of the Congress was more original. It consisted of sixteen round tables whose aim was to review the prospects for the interactions of mathe matics, not only with other sciences, but also with society and in particular with education, European policy and industry. In connection with this second goal, the Congress also succeeded in bringing mathematics to a broader public. In addition to the round tables specifically devoted to this question, there was a mini-festival of mathematical films and two mathematical exhibits. Moreover, a Junior Mathematical Congress was organized, in parallel with the Congress, which brought together two hundred high school students."

The Third Kurt G-del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational logic and proof theory. While proof theory traditionally is a discipline of mathematical logic, the central activity in computational logic can be foundin computer science. In both disciplines methods were invented which arecrucial to one another. This volume contains the proceedings of the symposium. It contains contributions by 36 authors from 10 different countries. In addition to 10 invited papers there are 26 contributed papers selected from over 50 submissions.

This original and exciting study offers a completely new perspective on the philosophy of mathematics. Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things at all. Jody Azzouni argues that mathematical knowledge is a special kind of knowledge that must be gathered in its own unique way. He analyzes the linguistic pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics sensitive both to mathematical practice and to the ontological and epistemological issues that concern philosophers. The book will be of special interest to philosophers of science, mathematics, logic, and language. It should also interest mathematicians themselves.

This is a volume of essays and reviews that delightfully explores mathematics in all its moods - from the light and the witty, and humorous to serious, rational, and cerebral. These beautifully written articles from three great modern mathematicians will provide a source for supplemental reading for almost any math class. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and broad applications of mathematics. Readers will also find coverage of history and philosophy, including discussion of the work of Ulam, Kant, and Heidegger, among others.

This book is a sympathetic reconstruction of Henri Poincar's anti-realist philosophy of mathematics. Although Poincar is recognized as the greatest mathematician of the late 19th century, his contribution to the philosophy of mathematics is not highly regarded. Many regard his remarks as idiosyncratic, and based upon a misunderstanding of logic and logicism. This book argues that Poincar's critiques are not based on misunderstanding; rather, they are grounded in a coherent and attractive foundation of neo-Kantian constructivism.

"Creative mathematicians seldom write for outsiders, but when they do, they usually do it well. Jerry King is no exception. His informal, nontechnical book, as its title implies, is organized around what Bertrand Russell called the 'supreme beauty' of mathematics--a beauty 'capable of a stern perfection such as only the greatest art can show.'"
NATURE
In this clear, concise, and superbly written volume, mathematics professor and poet Jerry P. King reveals the beauty that is at the heart of mathematics--and he makes that beauty accessible to all readers. Darting wittily from Euclid to Yeats, from Poincare to Rembrandt, from axioms to symphonies, THE ART OF MATHEMATICS explores the difference between real, rational, and complex numbers; analyzes the intellectual underpinnings of pure and applied mathematics; and reveals the fundamental connection between aesthetics and mathematics. King also sheds light on how mathematicians pursue their research and how our educational system perpetuates the damaging divisions between the "two cultures."

Die preisgekronte Biographie des norwegische Schriftstellers Atle Naess fuhrt den Leser auf eine fesselnde Reise durch die Hohen und Tiefen des Lebens einer der schillerndsten Personlichkeiten der europaischen Wissenschaftsgeschichte - Galileo Galilei. Mit feinsinniger Empathie entwickelt Naess das Portrait eines Mannes, der sich selbst durch die Zwange der romischen Inquisition nicht von seinen wegweisenden Forschungen abbringen liess.

Aus den Rezensionen der norwegischen Ausgabe:

"Mit umfassender Kenntnis und sicherem Erzahlstil hebt Naess die epochemachenden Arbeiten hervor, die die Grundlage der modernen experimentellen Naturwissenschaften bilden. Er packt all die vielen Stationen Galileis] Lebens in ein sehr lesenswertes Buch, das in vielerlei Hinsicht hervorsticht."

Per Anders Madsen, Aftenposten Morgen

"Diese Biographie stellt eine faszinierende kulturhistorische Studie dar und ist daher nicht nur fur Leser mit Interesse an Naturwissenschaft und Wissenschaftsgeschichte geeignet. Sie kann auch hervorragend als Roman gelesen werden."

Atle Abelsen, Teknisk Ukeblad

"

Biographie des ungarischen Mathematikers Janos Bolyai (1802-1860), der etwa gleichzeitig mit dem russischen Mathematiker Nikolai Lobatschewski und unabhangig von ihm die nichteuklidische Revolution eingeleitet hat. Diese erbrachte den Nachweis, dass die euklidische Geometrie keine Denknotwendigkeit ist, wie Kant irrtumlicherweise annahm. Das Verstandnis fur die kuhnen Gedankengange verbreitete sich allerdings erst in der zweiten Halfte des 19. Jahrhunderts durch die Arbeiten von Riemann, Beltrami, Klein und Poincare. Die nichteuklidische Revolution war eine der Grundlagen fur die Entwicklung der Physik im 20. Jahrhundert und fur Einsteins Erkenntnis, dass der uns umgebende reale Raum gekrummt ist. Tibor Weszely schildert das wechselvolle Leben des Offiziers der K.u.K.-Armee, der krank und vereinsamt starb. Bolyai hat sich auch intensiv mit den komplexen Zahlen und mit Zahlentheorie befasst, ebenso auch mit philosophischen und sozialen Fragen ( Allheillehre ) sowie mit Logik und Grammatik.

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.