G. J. Chaitin is at the IBM Thomas J. Watson Research Center in New York. He has shown that God plays dice not only in quantum mechanics, but even in the foundations of mathematics, where Chaitin discovered mathematical facts that are true for no reason, that are true by accident. This book collects his most wide-ranging and non-technical lectures and interviews, and it will be of interest to anyone concerned with the philosophy of mathematics, with the similarities and differences between physics and mathematics, or with the creative process and mathematics as an art."Chaitin has put a scratch on the rock of eternity."Jacob T. Schwartz, Courant Institute, New York University, USA"(Chaitin is) one of the great ideas men of mathematics and computer science."Marcus Chown, author of The Magic Furnace, in NEW SCIENTIST"Finding the right formalization is a large component of the art of doing great mathematics."John Casti, author of Mathematical Mountaintops, on Godel, Turing and Chaitin in NATURE"What mathematicians over the centuries - from the ancients, through Pascal, Fermat, Bernoulli, and de Moivre, to Kolmogorov and Chaitin - have discovered, is that it ÄrandomnessÜ is a profoundly rich concept."Jerrold W. Grossman in the MATHEMATICAL INTELLIGENCER

This work offers a re-edition of twelve mathematical tablets from the site of Tell Harmal, in the borders of present-day Baghdad. In ancient times, Tell Harmal was Saduppum, a city representative of the region of the Diyala river and of the kingdom of Esnunna, to which it belonged for a time. These twelve tablets were originally published in separate articles in the beginning of the 1950s and mostly contain solved problem texts. Some of the problems deal with abstract matters such as triangles and rectangles with no reference to daily life, while others are stated in explicitly empirical contexts, such as the transportation of a load of bricks, the size of a vessel, the number of men needed to build a wall and the acquisition of oil and lard. This new edition of the texts is the first to group them, and takes into account all the recent developments of the research in the history of Mesopotamian mathematics. Its introductory chapters are directed to readers interested in an overview of the mathematical contents of these tablets and the language issues involved in their interpretation, while a chapter of synthesis discusses the ways history of mathematics has typically dealt with the mathematical evidence and inquires how and to what degree mathematical tablets can be made part of a picture of the larger social context. Furthermore, the volume contributes to a geography of the Old Babylonian mathematical practices, by evidencing that scribes at Saduppum made use of cultural material that was locally available. The edited texts are accompanied by translations, philological, and mathematical commentaries.

Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. For Plato, mathematics was evidence of Being in the midst of Becoming, garden variety evidence apparent even to small children and the unphilosophical, and therefore of the highest educational significance. In the great central similes of The Republic it is the touchstone ofintelligibility for discourse, and in the Timaeus it provides in an oddly literal sense the framework of nature, insuring the intelligibility ofthe material world. For Descartes, mathematical ideas had a clarity and distinctness akin to the idea of God, as the fifth of the Meditations makes especially clear. Cartesian mathematicals are constructions as well as objects envisioned by the soul; in the Principles, the work ofthe physicist who provides a quantified account ofthe machines of nature hovers between description and constitution. For Kant, mathematics reveals the possibility of universal and necessary knowledge that is neither the logical unpacking ofconcepts nor the record of perceptual experience. In the Critique ofPure Reason, mathematics is one of the transcendental instruments the human mind uses to apprehend nature, and by apprehending to construct it under the universal and necessary lawsofNewtonian mechanics.

What was the basis for the adoption of mathematics as the primary mode of discourse for describing natural events by a large segment of the philosophical community in the seventeenth century? In answering this question, this book demonstrates that a significant group of philosophers shared the belief that there is no necessary correspondence between external reality and objects of human understanding, which they held to include the objects of mathematical and linguistic discourse. The result is a scholarly reliable, but accessible, account of the role of mathematics in the works of (amongst others) Galileo, Kepler, Descartes, Newton, Leibniz, and Berkeley. This impressive volume will benefit scholars interested in the history of philosophy, mathematical philosophy and the history of mathematics.

"Mathematics in Kant's Critical Philosophy" provides a much needed reading (and re-reading) of Kant's theory of the construction of mathematical concepts through a fully contextualized analysis. In this work Lisa Shabel convincingly argues that it is only through an understanding of the relevant eighteenth century mathematics textbooks, and the related mathematical practice, can the material and context necessary for a successful interpretation of Kant's philosophy be provided. This is borne out through sustained readings of Euclid and Woolf in particular, which, when brought together with Kant's work, allows for the elucidation of several key issues and the reinterpretation of many hitherto opaque and long debated passages.

First published in 1990, this is a reissue of Professor Hilary Putnam 's dissertation thesis, written in 1951, which concerns itself with The Meaning of the Concept of Probability in Application to Finite Sequences and the problems of the deductive justification for induction. Written under the direction of Putnam 's mentor, Hans Reichenbach, the book considers Reichenbach 's idealization of very long finite sequences as infinite sequences and the bearing this has upon Reichenbach 's pragmatic vindication of induction.

This wordless collection of strips by renowned artist/designer Rian Hughes reveals the lighter side of our obsession with social rankings. When everyone has a number, everyone knows their place. Lower numbers are better, higher numbers are less important, and that's just the way it is. But what if that number could change? You might try to buck the system and assert your individuality... or you might end up with a big fat zero. Big questions are explored and unexpected answers found in the first solo comics collection from award-winning designer & illustrator Rian Hughes. His whimsical, witty, and insightful strips will make you both smile and consider. Where do you stand in the pecking order? Is your number up?

TRENDS IN LINGUISTICS is a series of books that open new perspectives in our understanding of language. The series publishes state-of-the-art work on core areas of linguistics across theoretical frameworks, as well as studies that provide new insights by approaching language from an interdisciplinary perspective. TRENDS IN LINGUISTICS considers itself a forum for cutting-edge research based on solid empirical data on language in its various manifestations, including sign languages. It regards linguistic variation in its synchronic and diachronic dimensions as well as in its social contexts as important sources of insight for a better understanding of the design of linguistic systems and the ecology and evolution of language. TRENDS IN LINGUISTICS publishes monographs and outstanding dissertations as well as edited volumes, which provide the opportunity to address controversial topics from different empirical and theoretical viewpoints. High quality standards are ensured through anonymous reviewing.

The symposium celebrates the 300th anniversary of the publication of Newton's 'Principia'. Appearing in 1687 after the pioneering work of Copernicus, Galileo, and Descartes, the 'Principia' represents the culmination of the Scientific Revolution.The symposium focuses on Newton's discoveries and their impact on the modern world in the light of recent historical, methodological, as well as scientific studies.The proceedings contain papers devoted to the intellectual context of the 'Principia' (analysis of ancient mechanics and middle-age physics) and to the problems of developing physics and its methods. The influence of post-Newtonian physics on Science will also be considered.In view of the 'revolutionary-evolutionary' controversy concerning the character of the development of science, some authors will undertake the interesting problem of whether physics will ever shake itself free from Newtonian methodology.Distinguishing features are: The Methodologically and ideologically diverse views on the 'Principia' and their influence on modern science and philosophy (from neo-Thomism to neo-Marxism, from science to art); The Reception of Newton's ideas in Central Europe (Poland, Habsburg's Monarchy); and the Intellectual context of the 'Principia' with special emphasis on the impact of Wittelo's little known study of optics.

This reissue of D. A. Gillies highly influential work, first published in 1973, is a philosophical theory of probability which seeks to develop von Mises' views on the subject. In agreement with von Mises, the author regards probability theory as a mathematical science like mechanics or electrodynamics, and probability as an objective, measurable concept like force, mass or charge. On the other hand, Dr Gillies rejects von Mises' definition of probability in terms of limiting frequency and claims that probability should be taken as a primitive or undefined term in accordance with modern axiomatic approaches. This of course raises the problem of how the abstract calculus of probability should be connected with the actual world of experiments'. It is suggested that this link should be established, not by a definition of probability, but by an application of Popper's concept of falsifiability. In addition to formulating his own interesting theory, Dr Gillies gives a detailed criticism of the generally accepted Neyman Pearson theory of testing, as well as of alternative philosophical approaches to probability theory. The reissue will be of interest both to philosophers with no previous knowledge of probability theory and to mathematicians interested in the foundations of probability theory and statistics.

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.

The authors' novel approach to some interesting mathematical concepts - not normally taught in other courses - places them in a historical and philosophical setting. Although primarily intended for mathematics undergraduates, the book will also appeal to students in the sciences, humanities and education with a strong interest in this subject. The first part proceeds from about 1800 BC to 1800 AD, discussing, for example, the Renaissance method for solving cubic and quartic equations and providing rigorous elementary proof that certain geometrical problems posed by the ancient Greeks cannot be solved by ruler and compass alone. The second part presents some fundamental topics of interest from the past two centuries, including proof of G del's incompleteness theorem, together with a discussion of its implications.

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge. The author strives to make this book accessible to a very broad audience, suitable for professionals, students, and academics, as well as the enthusiastic amateur scientist/mathematician. This book also shows how Bayesianism sheds new light on nearly all areas of knowledge, from philosophy to mathematics, science and engineering, but also law, politics and everyday decision-making. Bayesian thinking is an important topic for research, which has seen dramatic progress in the recent years, and has a significant role to play in the understanding and development of AI and Machine Learning, among many other things. This book seeks to act as a tool for proselytising the benefits and limits of Bayesianism to a wider public. Features Presents the Bayesian approach as a unifying scientific method for a wide range of topics Suitable for a broad audience, including professionals, students, and academics Provides a more accessible, philosophical introduction to the subject that is offered elsewhere

During his lifetime, Henri PoincarA(c) published three major philosophical books which achieved great success: "La science et l'hypothA]se" (1902), "La valeur de la science" (1905) and "Science et mA(c)thode" (1908). After his death in 1913, a fourth volume of his philosophical works was published by his heirs as "DerniA]res pensA(c)es" (1913). The four books constitute the core of PoincarA(c)'s philosophic works and were given an ovation by scientific and general public. Around 1919, Gustave Le Bon wrote to PoincarA(c)'s widow. As the director of the "BibliothA]que de Philosophie Scientifique at Flammarion," he asked her permission to publish a second posthumous volume. "L'Opportunisme scientifique" was intended to be the fifth and final volume of PoincarA(c)'s philosophical writings. Louis Rougier had elaborated the project, with the collaboration of Gustave Le Bon, and the approval of the philosopher A0/00mile Boutroux and his son Pierre. Because of the reservations of the mathematician's heirs, this book was never published and DerniA]res pensA(c)es remained his last philosophical book. Nevertheless PoincarA(c)'s correspondence - which is kept in the PoincarA(c) Archives at University Nancy 2 - contains a large amount of documents concerning the project, its justification and the discussions between Louis Rougier and the mathematician's heirs. The aim of this book is to restore this episode, which gives some crucial informations about editorial practices of PoincarA(c) and about the posterity of his philosophic thinking.

In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert's program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of the consistency of such formalized theories. While interest in modi?ed v- sions of the original foundational programs is still thriving, in the second part of the twentieth century several philosophers and historians of mat- matics have questioned whether such foundational programs could exhaust the realm of important philosophical problems to be raised about the nature of mathematics. Some have done so in open confrontation (and hostility) to the logically based analysis of mathematics which characterized the cl- sical foundational programs, while others (and many of the contributors to this book belong to this tradition) have only called for an extension of the range of questions and problems that should be raised in connection with an understanding of mathematics. The focus has turned thus to a consideration of what mathematicians are actually doing when they produce mathematics. Questions concerning concept-formation, understanding, heuristics, changes instyle of reasoning, the role of analogies and diagrams etc.

This monograph uses the concept and category of "event" in the study of mathematics as it emerges from an interaction between levels of cognition, from the bodily experiences to symbolism. It is subdivided into three parts.The first moves from a general characterization of the classical approach to mathematical cognition and mind toward laying the foundations for a view on the mathematical mind that differs from going approaches in placing primacy on events.The second articulates some common phenomena-mathematical thought, mathematical sign, mathematical form, mathematical reason and its development, and affect in mathematics-in new ways that are based on the previously developed ontology of events. The final part has more encompassing phenomena as its content, most prominently the thinking body of mathematics, the experience in and of mathematics, and the relationship between experience and mind. The volume is well-suited for anyone with a broad interest in educational theory and/or social development, or with a broad background in psychology.

Mathematics is often considered as a body of knowledge that is essen tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of Results in Logic and Mathe matics) deals with some results in logic and mathematics which reveal that certain notions are in general not invariant with respect to different choices of language and of coding processes. Five example are given: 1) The validity of axioms and rules of classical propositional logic depend on the interpretation of sentential variables; 2) The language dependency of verisimilitude; 3) The proof of the weak and strong anti inductivist theorems in Popper's theory of inductive support is not invariant with respect to limitative criteria put on classical logic; 4) The language-dependency of the concept of provability; 5) The language dependency of the existence of ungrounded and paradoxical sentences (in the sense of Kripke). The requirements of logical rigour and consistency are not the only criteria for the acceptance and appreciation of mathematical proposi tions and theories."

The biological and social sciences often generalize causal conclusions from one context or location to others that may differ in some relevant respects, as is illustrated by inferences from animal models to humans or from a pilot study to a broader population. Inferences like these are known as extrapolations. The question of how and when extrapolation can be legitimate is a fundamental issue for the biological and social sciences that has not received the attention it deserves. In Across the Boundaries, Steel argues that previous accounts of extrapolation are inadequate and proposes a better approach that is able to answer methodological critiques of extrapolation from animal models to humans.
Across the Boundaries develops the thought that knowledge of mechanisms linking cause to effect can serve as a basis for extrapolation. Despite its intuitive appeal, this idea faces several obstacles. Extrapolation is worthwhile only when there are stringent practical or ethical limitations on what can be learned about the target (say, human) population by studying it directly. Meanwhile, the mechanisms approach rests on the idea that extrapolation is justified when mechanisms are the same or similar enough. Yet since mechanisms may differ significantly between model and target, it needs to be explained how the suitability of the model could be established given only very limited information about the target. Moreover, since model and target are rarely alike in all relevant respects, an adequate account of extrapolation must also explain how extrapolation can be legitimate even when some causally relevant differences are present.
Steel explains how his proposal can answer thesechallenges, illustrates his account with a detailed biological case study, and explores its implications for such traditional philosophy of science topics ceteris paribus laws and reductionism. Finally, he considers whether mechanisms-based extrapolation can work in social science.

First published in 2005. This study seeks to identify the specific mistakes that critics were alluding to in their passing asides on Wittgenstein's failure to grasp the mechanics of Godel's second incompleteness theorem. It also includes an understanding of his attack on meta-mathematics and Hilbert's Programme.

This volume contains the texts and translations of two Arabic treatises on magic squares, which are undoubtedly the most important testimonies on the early history of that science. It is divided into the three parts: the first and most extensive is on tenth-century construction methods, the second is the translations of the texts, and the third contains the original Arabic texts, which date back to the tenth century.

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz's theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz's grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

Do electrons and genes exist? If inclined to answer 'yes', let's ask a harder question: do numbers exist? This book argues that the answer should be, again, affirmative. It elaborates a philosophical position according to which all, and only, entities truly indispensable to the formulation of modern scientific theories should be recognized as existent, regardless of how we might be initially tempted to categorize them - as concrete-physical or abstract-mathematical. In addition to explicating the subtleties of the positive reasons supporting this form of realism, the book clarifies and rebuts a variety of objections raised against this position.

This collection of essays explores the ancient affinity between the mathematical and the aesthetic, focusing on fundamental connections between these two modes of reasoning and communicating. From historical, philosophical and psychological perspectives, with particular attention to certain mathematical areas such as geometry and analysis, the authors examine ways in which the aesthetic is ever-present in mathematical thinking and contributes to the growth and value of mathematical knowledge.

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Goettingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.