This book offers an alternative to current philosophy of mathematics: heuristic philosophy of mathematics. In accordance with the heuristic approach, the philosophy of mathematics must concern itself with the making of mathematics and in particular with mathematical discovery. In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works. On this basis, mainstream philosophy of mathematics has maintained that mathematics is theorem proving by the axiomatic method. This view has turned out to be untenable because of Goedel's incompleteness theorems, which have shown that the view that mathematics is theorem proving by the axiomatic method does not account for a large number of basic features of mathematics. By using the heuristic approach, this book argues that mathematics is not theorem proving by the axiomatic method, but is rather problem solving by the analytic method. The author argues that this view can account for the main items of the mathematical process, those being: mathematical objects, demonstrations, definitions, diagrams, notations, explanations, applicability, beauty, and the role of mathematical knowledge.

Praise for the Second Edition "An amazing assemblage of worldwide contributions in mathematics and, in addition to use as a course book, a valuable resource ...essential." CHOICE This Third Edition of The History of Mathematics examines the elementary arithmetic, geometry, and algebra of numerous cultures, tracing their usage from Mesopotamia, Egypt, Greece, India, China, and Japan all the way to Europe during the Medieval and Renaissance periods where calculus was developed. Aimed primarily at undergraduate students studying the history of mathematics for science, engineering, and secondary education, the book focuses on three main ideas: the facts of who, what, when, and where major advances in mathematics took place; the type of mathematics involved at the time; and the integration of this information into a coherent picture of the development of mathematics. In addition, the book features carefully designed problems that guide readers to a fuller understanding of the relevant mathematics and its social and historical context. Chapter-end exercises, numerous photographs, and a listing of related websites are also included for readers who wish to pursue a specialized topic in more depth. Additional features of The History of Mathematics, Third Edition include: * Material arranged in a chronological and cultural context * Specific parts of the history of mathematics presented as individual lessons * New and revised exercises ranging between technical, factual, and integrative * Individual PowerPoint presentations for each chapter and a bank of homework and test questions (in addition to the exercises in the book) * An emphasis on geography, culture, and mathematics In addition to being an ideal coursebook for undergraduate students, the book also serves as a fascinating reference for mathematically inclined individuals who are interested in learning about the history of mathematics.

A comprehensive look at four of the most famous problems in mathematics Tales of Impossibility recounts the intriguing story of the renowned problems of antiquity, four of the most famous and studied questions in the history of mathematics. First posed by the ancient Greeks, these compass and straightedge problems-squaring the circle, trisecting an angle, doubling the cube, and inscribing regular polygons in a circle-have served as ever-present muses for mathematicians for more than two millennia. David Richeson follows the trail of these problems to show that ultimately their proofs-which demonstrated the impossibility of solving them using only a compass and straightedge-depended on and resulted in the growth of mathematics. Richeson investigates how celebrated luminaries, including Euclid, Archimedes, Viete, Descartes, Newton, and Gauss, labored to understand these problems and how many major mathematical discoveries were related to their explorations. Although the problems were based in geometry, their resolutions were not, and had to wait until the nineteenth century, when mathematicians had developed the theory of real and complex numbers, analytic geometry, algebra, and calculus. Pierre Wantzel, a little-known mathematician, and Ferdinand von Lindemann, through his work on pi, finally determined the problems were impossible to solve. Along the way, Richeson provides entertaining anecdotes connected to the problems, such as how the Indiana state legislature passed a bill setting an incorrect value for pi and how Leonardo da Vinci made elegant contributions in his own study of these problems. Taking readers from the classical period to the present, Tales of Impossibility chronicles how four unsolvable problems have captivated mathematical thinking for centuries.

What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers--for the sake of truth, beauty, and practical applications--this book offers an eclectic panorama of the lives and values and hopes and fears of mathematicians in the twenty-first century, assembling material from a startlingly diverse assortment of scholarly, journalistic, and pop culture sources. Drawing on his personal experiences and obsessions as well as the thoughts and opinions of mathematicians from Archimedes and Omar Khayyam to such contemporary giants as Alexander Grothendieck and Robert Langlands, Michael Harris reveals the charisma and romance of mathematics as well as its darker side. In this portrait of mathematics as a community united around a set of common intellectual, ethical, and existential challenges, he touches on a wide variety of questions, such as: Are mathematicians to blame for the 2008 financial crisis? How can we talk about the ideas we were born too soon to understand? And how should you react if you are asked to explain number theory at a dinner party? Disarmingly candid, relentlessly intelligent, and richly entertaining, Mathematics without Apologies takes readers on an unapologetic guided tour of the mathematical life, from the philosophy and sociology of mathematics to its reflections in film and popular music, with detours through the mathematical and mystical traditions of Russia, India, medieval Islam, the Bronx, and beyond.

A. E. H. Love (1863-1940) was an English mathematician and geophysicist renowned for his work on elasticity and wave propagation. Originally published in 1927, as the fourth edition of a title first published in two volumes in 1892 and 1893, this is Love's classic account of the mathematical theory of elasticity. The text provides a detailed explanation of the topic in its various aspects, revealing important relationships with general physics and applications to engineering. Also included are a historical introduction to the theory, notes section, index of authors cited and index of matters treated. This book will be of value to anyone with an interest in elasticity, physics and mathematics.

The classic Heath translation, in a completely new layout with plenty of space and generous margins. An affordable but sturdy sewn hardcover student and teacher edition in one volume, with minimal notes and a new index/glossary.

This book is an attempt to describe the gradual development of the major schools of research on number theory in South India, Punjab, Mumbai, Bengal, and Bihar-including the establishment of Tata Institute of Fundamental Research (TIFR), Mumbai, a landmark event in the history of research of number theory in India. Research on number theory in India during modern times started with the advent of the iconic genius Srinivasa Ramanujan, inspiring mathematicians around the world. This book discusses the national and international impact of the research made by Indian number theorists. It also includes a carefully compiled, comprehensive bibliography of major 20th century Indian number theorists making this book important from the standpoint of historic documentation and a valuable resource for researchers of the field for their literature survey. This book also briefly discusses the importance of number theory in the modern world of mathematics, including applications of the results developed by indigenous number theorists in practical fields. Since the book is written from the viewpoint of the history of science, technical jargon and mathematical expressions have been avoided as much as possible.

Although she was famous as the "mother of modern algebra," Emmy Noether's life and work have never been the subject of an authoritative scientific biography. Emmy Noether - Mathematician Extraordinaire represents the most comprehensive study of this singularly important mathematician to date. Focusing on key turning points, it aims to provide an overall interpretation of Noether's intellectual development while offering a new assessment of her role in transforming the mathematics of the twentieth century.Hermann Weyl, her colleague before both fled to the United States in 1933, fully recognized that Noether's dynamic school was the very heart and soul of the famous Goettingen community. Beyond her immediate circle of students, Emmy Noether's lectures and seminars drew talented mathematicians from all over the world. Four of the most important were B.L. van der Waerden, Pavel Alexandrov, Helmut Hasse, and Olga Taussky. Noether's classic papers on ideal theory inspired van der Waerden to recast his research in algebraic geometry. Her lectures on group theory motivated Alexandrov to develop links between point set topology and combinatorial methods. Noether's vision for a new approach to algebraic number theory gave Hasse the impetus to pursue a line of research that led to the Brauer-Hasse-Noether Theorem, whereas her abstract style clashed with Taussky's approach to classical class field theory during a difficult time when both were trying to find their footing in a foreign country. Although similar to Proving It Her Way: Emmy Noether, a Life in Mathematics, this lengthier study addresses mathematically minded readers. Thus, it presents a detailed analysis of Emmy Noether's work with Hilbert and Klein on mathematical problems connected with Einstein's theory of relativity. These efforts culminated with her famous paper "Invariant Variational Problems," published one year before she joined the Goettingen faculty in 1919.

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Goedel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Goedel's incompleteness theorem. Goedel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Goedel. The second is a problem still wide open. Goedel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Goedel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Goedel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.

In this book the authors aim to endow the reader with an operational, conceptual, and methodological understanding of the discrete mathematics that can be used to study, understand, and perform computing. They want the reader to understand the elements of computing, rather than just know them. The basic topics are presented in a way that encourages readers to develop their personal way of thinking about mathematics. Many topics are developed at several levels, in a single voice, with sample applications from within the world of computing. Extensive historical and cultural asides emphasize the human side of mathematics and mathematicians. By means of lessons and exercises on "doing" mathematics, the book prepares interested readers to develop new concepts and invent new techniques and technologies that will enhance all aspects of computing. The book will be of value to students, scientists, and engineers engaged in the design and use of computing systems, and to scholars and practitioners beyond these technical fields who want to learn and apply novel computational ideas.

This book provides a fresh view on an important and largely overlooked aspect of the Euclidean traditions in the medieval mathematical texts, particularly concerning the interrelations between geometry and arithmetic, and the rise of algebraic modes of thought. It appeals to anyone interested in the history of mathematics in general and in history of medieval and early modern science.

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism. In Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability. In Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. Finally, in the new Part IV the author revisits the computability (Church-Turing) thesis in greater detail. He offers a systematic and detailed account of its origins, evolution, and meaning, he describes more powerful, modern versions of the thesis, and he discusses recent speculative proposals for new computing paradigms such as hypercomputing. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. This new edition is completely revised, with almost one hundred pages of new material. In particular the author applied more up-to-date, more consistent terminology, and he addressed some notational redundancies and minor errors. He developed a glossary relating to computability theory, expanded the bibliographic references with new entries, and added the new part described above and other new sections.

This volume commemorates the life, work, and foundational views of Kurt Godel (1906 1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency with the other widely accepted axioms of set theory of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Godel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Godel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers."

This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or extend a concept. More than 300 exercises engage the reader in extensive arguments and creative approaches, while exploring connections between fundamental mathematical topics. Divided into four parts, this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. A study of the fundamental concepts of logic, sets, and functions follows, before focus turns to methods of proof. Having covered the core of a transition course, the author goes on to present a selection of advanced topics that offer opportunities for extension or further study. Throughout, appendices touch on historical perspectives, current trends, and open questions, showing mathematics as a vibrant and dynamic human enterprise. This second edition has been reorganized to better reflect the layout and curriculum of standard transition courses. It also features recent developments and improved appendices. An Invitation to Abstract Mathematics is ideal for those seeking a challenging and engaging transition to advanced mathematics, and will appeal to both undergraduates majoring in mathematics, as well as non-math majors interested in exploring higher-level concepts. From reviews of the first edition: Bajnok's new book truly invites students to enjoy the beauty, power, and challenge of abstract mathematics. ... The book can be used as a text for traditional transition or structure courses ... but since Bajnok invites all students, not just mathematics majors, to enjoy the subject, he assumes very little background knowledge. Jill Dietz, MAA ReviewsThe style of writing is careful, but joyously enthusiastic.... The author's clear attitude is that mathematics consists of problem solving, and that writing a proof falls into this category. Students of mathematics are, therefore, engaged in problem solving, and should be given problems to solve, rather than problems to imitate. The author attributes this approach to his Hungarian background ... and encourages students to embrace the challenge in the same way an athlete engages in vigorous practice. John Perry, zbMATH

This volume combines an introduction to central collineations with an introduction to projective geometry, set in its historical context and aiming to provide the reader with a general history through the middle of the nineteenth century. Topics covered include but are not limited to: The Projective Plane and Central Collineations The Geometry of Euclid's Elements Conic Sections in Early Modern Europe Applications of Conics in History With rare exception, the only prior knowledge required is a background in high school geometry. As a proof-based treatment, this monograph will be of interest to those who enjoy logical thinking, and could also be used in a geometry course that emphasizes projective geometry.

The book offers a collection of essays on various aspects of Leibniz's scientific thought, written by historians of science and world-leading experts on Leibniz. The essays deal with a vast array of topics on the exact sciences: Leibniz's logic, mereology, the notion of infinity and cardinality, the foundations of geometry, the theory of curves and differential geometry, and finally dynamics and general epistemology. Several chapters attempt a reading of Leibniz's scientific works through modern mathematical tools, and compare Leibniz's results in these fields with 19th- and 20th-Century conceptions of them. All of them have special care in framing Leibniz's work in historical context, and sometimes offer wider historical perspectives that go much beyond Leibniz's researches. A special emphasis is given to effective mathematical practice rather than purely epistemological thought. The book is addressed to all scholars of the exact sciences who have an interest in historical research and Leibniz in particular, and may be useful to historians of mathematics, physics, and epistemology, mathematicians with historical interests, and philosophers of science at large.

This is a volume of chapters on the historical study of information, computing, and society written by seven of the most senior, distinguished members of the History of Computing field. These are edited, expanded versions of papers presented in a distinguished lecture series in 2018 at the University of Colorado Boulder - in the shadow of the Flatirons, the front range of the Rocky Mountains. Topics range widely across the history of computing. They include the digitalization of computer and communication technologies, gender history of computing, the history of data science, incentives for innovation in the computing field, labor history of computing, and the process of standardization. Authors were given wide latitude to write on a topic of their own choice, so long as the result is an exemplary article that represents the highest level of scholarship in the field, producing articles that scholars in the field will still look to read twenty years from now. The intention is to publish articles of general interest, well situated in the research literature, well grounded in source material, and well-polished pieces of writing. The volume is primarily of interest to historians of computing, but individual articles will be of interest to scholars in media studies, communication, computer science, cognitive science, general and technology history, and business.

The book starts with the assumption that vagueness is a fundamental property of this world. From a philosophical account of vagueness via the presentation of alternative mathematics of vagueness, the subsequent chapters explore how vagueness manifests itself in the various exact sciences: physics, chemistry, biology, medicine, computer science, and engineering.

Writings by early mathematicians feature language and notations that are quite different from what we're familiar with today. Sourcebooks on the history of mathematics provide some guidance, but what has been lacking is a guide tailored to the needs of readers approaching these writings for the first time. "How to Read Historical Mathematics" fills this gap by introducing readers to the analytical questions historians ask when deciphering historical texts.

Sampling actual writings from the history of mathematics, Benjamin Wardhaugh reveals the questions that will unlock the meaning and significance of a given text--Who wrote it, why, and for whom? What was its author's intended meaning? How did it reach its present form? Is it original or a translation? Why is it important today? Wardhaugh teaches readers to think about what the original text might have looked like, to consider where and when it was written, and to formulate questions of their own. Readers pick up new skills with each chapter, and gain the confidence and analytical sophistication needed to tackle virtually any text in the history of mathematics.Introduces readers to the methods of textual analysis used by historians Uses actual source material as examples Features boxed summaries, discussion questions, and suggestions for further reading Supplements all major sourcebooks in mathematics history Designed for easy reference Ideal for students and teachers

Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Goedel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Goedel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?" This book offers the first examination of Goedel's preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Goedel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Goedel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.

A little bucket, one-third full, is 8 inches deep, and its upper and lower diameters are 7 inches and 6 inches, respectively. How large is the frog which, jumping into the bucket, causes the water to rise 3 inches? Word problems not unlike this example are a staple on math tests and of abiding interest to students, teachers, and professional mathematicians alike. Frank Swetz, a highly regarded mathematics educator, gathers hundreds of these problems in this fun and fascinating introduction to mathematics from around the world.

"Mathematical Expeditions" is a collection of over 500 culturally and historically diverse mathematical problems carefully chosen to enrich mathematics teaching from middle school through the college level. What better way to teach students the multicultural aspects of math than by assigning them problems first composed on clay tablets by Babylonian scribes, included in the Rhind papyrus, or Vedic problems scratched on tree bark? From Egypt to Greece to China to India, Swetz's problems--both practical and abstract--span centuries and cultures.

Swetz has organized the problems by culture and historical period, showing, through the various constructs and contexts of the problems, the history and development of mathematics throughout the world. Along the way, he tells us what various cultures knew about math and how they came to learn it, providing instructors with a wonderful way to incorporate multicultural mathematics into the middle school, high school, and college classroom.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreation Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and Mastermind are fun and engrossing recreational activities, but they also share deep foundations in mathematical logic and are worthy of serious intellectual inquiry. Games for Your Mind explores the history and future of logic puzzles while enabling you to test your skill against a variety of puzzles yourself. In this informative and entertaining book, Jason Rosenhouse begins by introducing readers to logic and logic puzzles and goes on to reveal the rich history of these puzzles. He shows how Carroll's puzzles presented Aristotelian logic as a game for children, yet also informed his scholarly work on logic. He reveals how another pioneer of logic puzzles, Raymond Smullyan, drew on classic puzzles about liars and truthtellers to illustrate Kurt Goedel's theorems and illuminate profound questions in mathematical logic. Rosenhouse then presents a new vision for the future of logic puzzles based on nonclassical logic, which is used today in computer science and automated reasoning to manipulate large and sometimes contradictory sets of data. Featuring a wealth of sample puzzles ranging from simple to extremely challenging, this lively and engaging book brings together many of the most ingenious puzzles ever devised, including the "Hardest Logic Puzzle Ever," metapuzzles, paradoxes, and the logic puzzles in detective stories.

The aim of this monograph is to describe Greek mathematics as a literary product, studying its style from a logico-syntactic point of view and setting parallels with logical and grammatical doctrines developed in antiquity. In this way, major philosophical themes such as the expression of mathematical generality and the selection of criteria of validity for arguments can be treated without anachronism. Thus, the book is of interest for both historians of ancient philosophy and specialists in Ancient Greek, in addition to historians of mathematics. This volume is divided into five parts, ordered in decreasing size of the linguistic units involved. The first part describes the three stylistic codes of Greek mathematics; the second expounds in detail the mechanism of "validation"; the third deals with the status of mathematical objects and the problem of mathematical generality; the fourth analyzes the main features of the "deductive machine," i.e. the suprasentential logical system dictated by the traditional division of a mathematical proposition into enunciation, setting-out, construction, and proof; and the fifth deals with the sentential logical system of a mathematical proposition, with special emphasis on quantification, modalities, and connectors. A number of complementary appendices are included as well.

The genesis of the digital idea and why it transformed civilization A few short decades ago, we were informed by the smooth signals of analog television and radio; we communicated using our analog telephones; and we even computed with analog computers. Today our world is digital, built with zeros and ones. Why did this revolution occur? The Discrete Charm of the Machine explains, in an engaging and accessible manner, the varied physical and logical reasons behind this radical transformation. The spark of individual genius shines through this story of innovation: the stored program of Jacquard’s loom; Charles Babbage’s logical branching; Alan Turing’s brilliant abstraction of the discrete machine; Harry Nyquist’s foundation for digital signal processing; Claude Shannon’s breakthrough insights into the meaning of information and bandwidth; and Richard Feynman’s prescient proposals for nanotechnology and quantum computing. Ken Steiglitz follows the progression of these ideas in the building of our digital world, from the internet and artificial intelligence to the edge of the unknown. Are questions like the famous traveling salesman problem truly beyond the reach of ordinary digital computers? Can quantum computers transcend these barriers? Does a mysterious magical power reside in the analog mechanisms of the brain? Steiglitz concludes by confronting the moral and aesthetic questions raised by the development of artificial intelligence and autonomous robots. The Discrete Charm of the Machine examines why our information technology, the lifeblood of our civilization, became digital, and challenges us to think about where its future trajectory may lead.