Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Godel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.

Why is 7 such a lucky number and 13 so unlucky? Why does a jury traditionally have `12 good men and true', and why are there 24 hours in the day and 60 seconds in a minute? This fascinating new book explores the world of numbers from pin numbers to book titles, and from the sixfold shape of snowflakes to the way our roads, houses and telephone numbers are designated in fact and fiction. Using the numbers themselves as its starting point it investigates everything from the origins and meaning of counting in early civilizations to numbers in proverbs, myths and nursery rhymes and the ancient `science' of numerology. It also focuses on the quirks of odds and evens, primes, on numbers in popular sports - and much, much more. So whether you've ever wondered why Heinz has 57 varieties, why 999 is the UK's emergency phone number but 911 is used in America, why Coco Chanel chose No. 5 for her iconic perfume, or how the title Catch 22 was chosen, then this is the book for you. Dip in anywhere and you'll find that numbers are not just for adding and measuring but can be hugely entertaining and informative whether you're buying a diamond or choosing dinner from the menu.

'A hugely entertaining and well-written tour of the links between math and literature. Hart's lightness of touch and passion for both subjects make this book a delight to read. Bookworms and number-lovers alike will discover much they didn't know about the creative interplay between stories, structure and sums.' - Alex Bellos We often think of mathematics and literature as polar opposites. But what if, instead, they were fundamentally linked? In this insightful, laugh-out-loud funny book, Once Upon a Prime, Professor Sarah Hart shows us the myriad connections between maths and literature, and how understanding those connections can enhance our enjoyment of both. Did you know, for instance, that Moby-Dick is full of sophisticated geometry? That James Joyce's stream-of-consciousness novels are deliberately checkered with mathematical references? That George Eliot was obsessed with statistics? That Jurassic Park is undergirded by fractal patterns? That Sir Arthur Conan Doyle and Chimamanda Ngozi Adichie wrote mathematician characters? From sonnets to fairytales to experimental French literature, Once Upon a Prime takes us on an unforgettable journey through the books we thought we knew, revealing new layers of beauty and wonder. Professor Hart shows how maths and literature are complementary parts of the same quest, to understand human life and our place in the universe.

Basic Mathematics is aimed primarily at management students preparing to write the GMAT test which requires a strong foundation in fundamentals of mathematics. It is also of value to anyone wanting a general revision of basic mathematics. The text focuses only on those areas of mathematics required for the GMAT test, consisting of four main topics: basic arithmetic; fundamental algebra; geometry and introductory statistics. After a brief review of each topic's basic rules and methods, there is at least one worked example followed by an extensive set of self-practice exercises. The student should attempt as many exercises as is necessary to master the topic.

Quadratic equations, Pythagoras' theorem, imaginary numbers, and pi - you may remember studying these at school, but did anyone ever explain why? Never fear - bestselling science writer, and your new favourite maths teacher, Michael Brooks, is here to help. In The Maths That Made Us, Brooks reminds us of the wonders of numbers: how they enabled explorers to travel far across the seas and astronomers to map the heavens; how they won wars and halted the HIV epidemic; how they are responsible for the design of your home and almost everything in it, down to the smartphone in your pocket. His clear explanations of the maths that built our world, along with stories about where it came from and how it shaped human history, will engage and delight. From ancient Egyptian priests to the Apollo astronauts, and Babylonian tax collectors to juggling robots, join Brooks and his extraordinarily eccentric cast of characters in discovering how maths made us who we are today.

Why is -(-1) = 1? Why do odd and even numbers alternate? What's the point of algebra? Is maths even real? From imaginary numbers to the perplexing order of operations we all had drilled into us, Eugenia Cheng - mathematician, writer and woman on a mission to rid the world of maths phobia - brings us maths as we've never seen it before, revealing how profound insights can emerge from seemingly unlikely sources. Written with intelligence and passion, Is Maths Real? is a celebration of the true, curious spirit of the discipline.

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

Geometry for the Artist is based on a course of the same name which started in the 1980s at Maharishi International University. It is aimed both at artists willing to dive deeper into geometry and at mathematicians open to learning about applications of mathematics in art. The book includes topics such as perspective, symmetry, topology, fractals, curves, surfaces, and more. A key part of the book's approach is the analysis of art from a geometric point of view-looking at examples of how artists use each new topic. In addition, exercises encourage students to experiment in their own work with the new ideas presented in each chapter. This book is an exceptional resource for students in a general-education mathematics course or teacher-education geometry course, and since many assignments involve writing about art, this text is ideal for a writing-intensive course. Moreover, this book will be enjoyed by anyone with an interest in connections between mathematics and art. Features Abundant examples of artwork displayed in full color. Suitable as a textbook for a general-education mathematics course or teacher-education geometry course. Designed to be enjoyed by both artists and mathematicians.

Phanes (fa-nays) means "manifester" or "revealer", and is related to the Greek words "light" and "to shine forth".

Phanes Press was founded in 1985 to publish quality books on the spiritual, philosophical, and cosmological traditions of the Western world. Since that time, we have published 45 books, including five volumes of Alexandria, a book-length journal of cosmology, philosophy, myth, and culture.

The year 2000 marks our fifteen-year anniversary, and we are working to bring out more interdisciplinary works, including books on creativity, psychology, literature, and the intersections between science, spirituality, and culture.

The longest work on number symbolism to survive from the ancient world. Contains helpful footnotes, an extensive glossary, bibliography, & foreword by Keith Critchlow.

This book seeks to work out which commitments are minimally sufficient to obtain an ontology of the natural world that matches all of today's well-established physical theories. We propose an ontology of the natural world that is defined only by two axioms: (1) There are distance relations that individuate simple objects, namely matter points. (2) The matter points are permanent, with the distances between them changing. Everything else comes in as a means to represent the change in the distance relations in a manner that is both as simple and as informative as possible. The book works this minimalist ontology out in philosophical as well as mathematical terms and shows how one can understand classical mechanics, quantum field theory and relativistic physics on the basis of this ontology. Along the way, we seek to achieve four subsidiary aims: (a) to make a case for a holistic individuation of the basic objects (ontic structural realism); (b) to work out a new version of Humeanism, dubbed Super-Humeanism, that does without natural properties; (c) to set out an ontology of quantum physics that is an alternative to quantum state realism and that avoids any ontological dualism of particles and fields; (d) to vindicate a relationalist ontology based on point objects also in the domain of relativistic physics.

* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century * 176 articles contributed by authors of 18 nationalities * Chronological table of main events in the development of mathematics * Fully integrated index of people, events and topics * Annotated bibliographies of both classic and contemporary sources * Unique coverage of Ancient and non-Western traditions of mathematics

Mathematical Puzzle Tales from Mount Olympus uses fascinating tales from Greek Mythology as the background for introducing mathematics puzzles to the general public. A background in high school mathematics will be ample preparation for using this book, and it should appeal to anyone who enjoys puzzles and recreational mathematics. Features: Combines the arts and science, and emphasizes the fact that mathematics straddles both domains. Great resource for students preparing for mathematics competitions, and the trainers of such students.

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras' Theorem or Fermat's Last Theorem? The metaphysical question of what numbers are and the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics' unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true-no one doubts that 2 + 3 = 5-but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about.

* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century
* 176 articles contributed by authors of 18 nationalities
* Chronological table of main events in the development of mathematics
* Fully integrated index of people, events and topics
* Annotated bibliographies of both classic and contemporary sources
* Unique coverage of Ancient and non-Western traditions of mathematics



eBook available with sample pages: 0203014588

'The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubts' Bertrand Russell 'Science is what you know. Philosophy is what you don't know' Bertrand Russell discovered mathematics at the age of eleven. It was, he recalled, a transporting experience: 'as dazzling as first love'. From that moment on, he would pursue his passion with undying devotion and fervour. Mathematics might succeed, he felt, where philosophy had failed, reducing thought to its purest form, and freeing knowledge from doubt and contradiction. And for a time, so it seemed. Russell's mathematical investigations effortlessly resolved at a stroke some of philosophy's most intractable problems. Yet if mathematics could be a liberating mistress, she was also an unreliable one... Opening up the work of one of our age's undisputed giants, Ray Monk's exhilaratingly clear, readable guide tells a compelling human tale too: a moving story of love and loss, of ecstatic triumph and deep disillusion.

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 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.

Offers an English translation and in-depth commentary on the ten extant books of Diophantus of Alexandria's Arithmetica.

Features Provides an accessible introduction to mathematics in art Supports the narrative with a self-contained mathematical theory, with complete proofs of the main results (including the classification theorem for similarities) Presents hundreds of figures, illustrations, computer-generated graphics, designs, photographs, and art reproductions, mainly presented in full color Includes 21 projects and about 280 exercises, about half of which are fully solved Covers Euclidean geometry, golden section, Fibonacci numbers, symmetries, tilings, similarities, fractals, cellular automata, inversion, hyperbolic geometry, perspective drawing, Platonic and Archimedean solids, and topology New to the Second Edition New exercises, projects and artworks Revised, reorganised and expanded chapters More use of color throughout

Spherical Geometry and Its Applications introduces spherical geometry and its practical applications in a mathematically rigorous form. The text can serve as a course in spherical geometry for mathematics majors. Readers from various academic backgrounds can comprehend various approaches to the subject. The book introduces an axiomatic system for spherical geometry and uses it to prove the main theorems of the subject. It also provides an alternate approach using quaternions. The author illustrates how a traditional axiomatic system for plane geometry can be modified to produce a different geometric world - but a geometric world that is no less real than the geometric world of the plane. Features: A well-rounded introduction to spherical geometry Provides several proofs of some theorems to appeal to larger audiences Presents principal applications: the study of the surface of the earth, the study of stars and planets in the sky, the study of three- and four-dimensional polyhedra, mappings of the sphere, and crystallography Many problems are based on propositions from the ancient text Sphaerica of Menelaus

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.

The controversial matters surrounding the notion of anachronism are difficult ones: they have been broached by literary and art critics, by philosophers, as well as by historians of science. This book adopts a bottom-up approach to the many problems concerning anachronism in the history of mathematics. Some of the leading scholars in the field of history of mathematics reflect on the applicability of present-day mathematical language, concepts, standards, disciplinary boundaries, indeed notions of mathematics itself, to well-chosen historical case studies belonging to the mathematics of the past, in European and non-European cultures. A detailed introduction describes the key themes and binds the various chapters together. The interdisciplinary and transcultural approach adopted allows this volume to cover topics important for history of mathematics, history of the physical sciences, history of science, philosophy of mathematics, history of philosophy, methodology of history, non-European science, and the transmission of mathematical knowledge across cultures.

PYTHAGORAS (fl. 500 B.C.E.), the first man to call himself a philosopher, was both a brilliant mathematician and spiritual teacher. This anthology is the largest collection of Pythagorean writings ever to appear in the English language. It contains the four ancient biographies of Pythagoras and over twenty-five Pythagorean and Neopythagorean writings from the classical and Hellenistic periods. The Pythagorean ethical and political tractates are especially interesting, for they are based on the premise that the universal principles of Harmony, Proportion, and Justice govern the physical cosmos, and these writings show how individuals and societies alike attain their peak of excellence when informed by these same principles. Indexed, illustrated, with appendices and an extensive bibliography, this work also contains an introductory essay by David Fideler.