![]() |
![]() |
Your cart is empty |
||
Books > Science & Mathematics > Mathematics > Philosophy of mathematics
Das Buch ist eine unterhaltsame und formelfreie Darstellung der modernen Physik vom 19. Jahrhundert bis zur Gegenwart. Das Leben Albert Einsteins und seine wissenschaftlichen Leistungen ziehen sich als roter Faden durch den Text. Der Autor erlautert zentrale Begriffe und Ergebnisse der modernen Physik in popularwissenschaftlicher Form aus der historischen Perspektive. Der Leser erfahrt auf amusante Weise, wie sich die moderne Physik entwickelt hat. Wir begegnen Poincare, Lorentz und Hilbert, Boltzmann und Bohr, Minkowski, Planck, de Broglie, Hubble und Weyl, Gamow, Hahn und Meitner, Kapiza und Landau, Fermi und vielen anderen beruhmten Wissenschaftlern. Was hatte Eddington gegen Chandrasekhar und was hatte Einstein gegen Schwarze Locher? Warum sollten Raumtouristen, Traumtouristen und Weltraumtraumtouristen nicht am Loch Ness, sondern auf der sicheren Seite eines Schwarzen Loches Urlaub machen? Warum wetterte Pauli gegen Einstein? Stimmt die Sache mit der Atombombenformel? Vermatschte Materie, Urknall und kosmische Hintergrundstrahlung, Gravitationswellen und Doppelpulsare, die kosmologische Konstante und die Expansion des Universums sind weitere Themen, die den Leser in Atem halten und kein geistiges Vakuum aufkommen lassen."
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18-20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti.
In 1655, the philosopher Thomas Hobbes claimed he had solved the
centuries-old problem of "squaring of the circle" (constructing a
square equal in area to a given circle). With a scathing rebuttal
to Hobbes's claims, the mathematician John Wallis began one of the
longest and most intense intellectual disputes of all time.
"Squaring the Circle" is a detailed account of this controversy,
from the core mathematics to the broader philosophical, political,
and religious issues at stake.
This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.
Crispin Wright is widely recognised as one of the most important and influential analytic philosophers of the twentieth and twenty-first centuries. This volume is a collective exploration of the major themes of his work in philosophy of language, philosophical logic, and philosophy of mathematics. It comprises specially written chapters by a group of internationally renowned thinkers, as well as four substantial responses from Wright. In these thematically organized replies, Wright summarizes his life's work and responds to the contributory essays collected in this book. In bringing together such scholarship, the present volume testifies to both the enormous interest in Wright's thought and the continued relevance of Wright's seminal contributions in analytic philosophy for present-day debates;
This Element defends mathematical anti-realism against an underappreciated problem with that view-a problem having to do with modal truthmaking. Part I develops mathematical anti-realism, it defends that view against a number of well-known objections, and it raises a less widely discussed objection to anti-realism-an objection based on the fact that (a) mathematical anti-realists need to commit to the truth of certain kinds of modal claims, and (b) it's not clear that the truth of these modal claims is compatible with mathematical anti-realism. Part II considers various strategies that anti-realists might pursue in trying to solve this modal-truth problem with their view, it argues that there's only one viable view that anti-realists can endorse in order to solve the modal-truth problem, and it argues that the view in question-which is here called modal nothingism-is true.
Rudolf Carnap (1891-1970) and W. V. O Quine (1908-2000) have long been seen as key figures of analytic philosophy who are opposed to each other, due in no small part to their famed debate over the analytic/synthetic distinction. This volume of new essays assembles for the first time a number of scholars of the history of analytic philosophy who see Carnap and Quine as figures largely sympathetic to each other in their philosophical views. The essays acknowledge the differences which exist, but through their emphasis on Carnap and Quine's shared assumption about how philosophy should be done-that philosophy should be complementary to and continuous with the natural and mathematical sciences-our understanding of how they diverge is also deepened. This volume reshapes our understanding not only of Carnap and Quine, but of the history of analytic philosophy generally.
It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field.
An innovative, dramatic graphic novel about the treacherous pursuit of the foundations of mathematics. This exceptional graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But his most ambitious goal--to establish unshakable logical foundations of mathematics--continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity. This story is at the same time a historical novel and an accessible explication of some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a highly satisfying tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix "is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality.Apostolos Doxiadis studied mathematics at Columbia University. His international bestseller "Uncle Petros and Goldbach's Conjecture" spearheaded the impressive entrance of mathematics into the world of storytelling. Apart from his work in fiction, Apostolos has also worked in film and theater and is an internationally recognized expert on the relationship of mathematics to narrative. Christos H. Papadimitriou is C . Lester Hogan professor of computer science at the University of California, Berkeley. He was won numerous international awards for his pioneering work in computational complexity and algorithmic game theory. Christos is the author of the novel "Turing: A Novel about Computation." Alecos Papadatos worked for over twenty years in film animation in France and Greece. In 1997, he became a cartoonist for the major Athens daily "To Vima." He lives in Athens with his wife, Annie Di Donna, and their two children. Annie Di Donna studied graphic arts and painting in France and has worked as animator on many productions, among them "Babar" and "Tintin." Since 1991, she has been running an animation studio with her husband, Alecos Papadatos. This innovative graphic novel is based on the early life of the brilliant philosopher Bertrand Russell. Russell and his impassioned pursuit of truth. Haunted by family secrets and unable to quell his youthful curiosity, Russell became obsessed with a Promethean goal: to establish the logical foundation of all mathematics. In his agonized search for absolute truth, Russell crosses paths with legendary thinkers like Gottlob Frege, David Hilbert, and Kurt Godel, and finds a passionate student in the great Ludwig Wittgenstein. But the object of his defining quest continues to loom before him. Through love and hate, peace and war, Russell persists in the dogged mission that threatens to claim both his career and his personal happiness, finally driving him to the brink of insanity. "Logicomix" is at the same time a historical novel and an accessible explication to some of the biggest ideas of mathematics and modern philosophy. With rich characterizations and expressive, atmospheric artwork, the book spins the pursuit of these ideas into a captivating tale. Probing and ingeniously layered, the book throws light on Russell's inner struggles while setting them in the context of the timeless questions he spent his life trying to answer. At its heart, "Logicomix" is a story about the conflict between an ideal rationality and the unchanging, flawed fabric of reality. "At the heart of Logicomix stands Sir Bertrand Russell, a man determined to find a way of arriving at absolutely right answers. It's a tale within a tale, as the two authors and two graphic artists ardently pursue their own search for truth and appear as characters in the book. As one of them assures us, this won't be 'your typical, usual comic book.' Their quest takes shape and revolves around a lecture given by Russell at an unnamed American university in 1939, a lecture that is really, as he himself tells us, the story of his life and of his pursuit of real logical truth. With Proustian ambition and exhilarating artwork, "Logicomix"'s search for truth encounters head-on the horrors of the Second World War and the agonizing question of whether war can ever be the right choice. Russell himself had to confront that question personally: he endured six months in jail for his pacifism. Russell was determined to find the perfect logical method for solving all problems and attempted to remold human nature in his experimental school at Beacon Hill. Despite repeated failures, Russell never stopped being 'a sad little boy desperately seeking ways out of the deadly vortex of uncertainty.' The book is a visual banquet chronicling Russell's lifelong pursuit of 'certainty in total rationality.' As Logic and Mathematics, the last bastions of certainty, fail him, and as Reason proves not absolute, Russell is forced to face the fact that there is no Royal Road to Truth. Authors Dosiadis and Papadimitriou perfectly echo Russell's passion, with a sincere, easily grasped text amplified with breathtaking visual richness, making this the most satisfying graphic novel of 2009, a titanic artistic achievement of more than 300 pages, all of it pure reading joy."--Nick DiMartino, "Shelf Awareness" "This is an extraordinary graphic novel, wildly ambitious in daring to put into words and drawings the life and thought of one of the great philosophers of the last century, Bertrand Russell. The book is a rare intellectual and artistic achievement, which will, I am sure, lead its readers to explore realms of knowledge they thought were forbidden to them."--Howard Zinn "This magnificent book is about ideas, passions, madness, and the fierce struggle between well-defined principle and the larger good. It follows the great mathematicians--Russell, Whitehead, Frege Cantor, Hilbert--as they agonized to make the foundations of mathematics exact, consistent, and complete. And we see the band of artists and researchers--and the all-seeking dog Manga--creating, and participating in, this glorious narrative."--Barry Mazur, Gerhard Gade University Professor at Harvard University, and author of "Imagining Numbers (Particularly the Square Root of Minus Fifteen)" "The lives of ideas (and those who think them) can be as dramatic and unpredicteable as any superhero fantasy. "Logicomix" is witty, engaging, stylish, visually stunning, and full of surprising sound effects, a masterpiece in a genre for which there is as yet no name."--Michael Harris, professor of mathematics at Universite Paris 7 and member of the Institut Universitaire de France
We use addition on a daily basis--yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity? Summing It Up uses addition as a springboard to present a fascinating and accessible look at numbers and number theory, and how we apply beautiful numerical properties to answer math problems. Mathematicians Avner Ash and Robert Gross explore addition's most basic characteristics as well as the addition of squares and other powers before moving onward to infinite series, modular forms, and issues at the forefront of current mathematical research. Ash and Gross tailor their succinct and engaging investigations for math enthusiasts of all backgrounds. Employing college algebra, the first part of the book examines such questions as, can all positive numbers be written as a sum of four perfect squares? The second section of the book incorporates calculus and examines infinite series--long sums that can only be defined by the concept of limit, as in the example of 1+1/2+1/4+...=? With the help of some group theory and geometry, the third section ties together the first two parts of the book through a discussion of modular forms--the analytic functions on the upper half-plane of the complex numbers that have growth and transformation properties. Ash and Gross show how modular forms are indispensable in modern number theory, for example in the proof of Fermat's Last Theorem. Appropriate for numbers novices as well as college math majors, Summing It Up delves into mathematics that will enlighten anyone fascinated by numbers.
Cet ouvrage contient les correspondances actives et passives de Jules Houel avec Joseph-Marie De Tilly, Gaston Darboux et Victor-Amedee Le Besgue ainsi qu'une introduction qui se focalise sur la decouverte de l'impossibilite de demontrer le postulat des paralleles d'Euclide et l'apparition des premiers exemples de fonctions continues non derivables. Jules Houel (1823-1886) a occupe une place particuliere dans les mathematiques en France durant la seconde partie du 19eme siecle. Par ses travaux de traduction et ses recensions, il a vivement contribue a la reception de la geometrie non euclidienne de Bolyai et Lobatchevski ainsi qu'aux debats sur les fondements de l'analyse. Il se situe au centre d'un vaste reseau international de correspondances en lien avec son role de redacteur pour le Bulletin des sciences mathematiques et astronomiques.
This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.
This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.
In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be contradictions between different systems, and positing different frameworks serving different legitimate purposes. The essays refine and extend Hellman's modal-structuralist account of mathematics, developing a height-potentialist view of higher set theory which recognizes indefinite extendability of models and stages at which sets occur. In the first of three new essays written for this volume, Hellman shows how extendability can be deployed to derive the axiom of Infinity and that of Replacement, improving on earlier accounts; he also shows how extendability leads to attractive, novel resolutions of the set-theoretic paradoxes. Other essays explore advantages and limitations of restrictive systems - nominalist, predicativist, and constructivist. Also included are two essays, with Solomon Feferman, on predicative foundations of arithmetic.
In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M. Jesseph provides a bold reinterpretation of Berkeley's work. Jesseph challenges the prevailing view that Berkeley's mathematical writings are peripheral to his philosophy and argues that mathematics is in fact central to his thought, developing out of his critique of abstraction. Jesseph's argument situates Berkeley's ideas within the larger historical and intellectual context of the Scientific Revolution. Jesseph begins with Berkeley's radical opposition to the received view of mathematics in the philosophy of the late seventeenth and early eighteenth centuries, when mathematics was considered a science of abstractions. Since this view seriously conflicted with Berkeley's critique of abstract ideas, Jesseph contends that he was forced to come up with a nonabstract philosophy of mathematics. Jesseph examines Berkeley's unique treatments of geometry and arithmetic and his famous critique of the calculus in The Analyst. By putting Berkeley's mathematical writings in the perspective of his larger philosophical project and examining their impact on eighteenth-century British mathematics, Jesseph makes a major contribution to philosophy and to the history and philosophy of science.
Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterly fundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that arithmetic follows, purely logically, from a near definition. As Crispin Wright was the first to make clear, that means that Frege's logicism, long thought dead, might yet be viable. Heck probes the philosophical significance of the Theorem, using it to launch and then guide a wide-ranging exploration of historical, philosophical, and technical issues in the philosophy of mathematics and logic, and of their connections with metaphysics, epistemology, the philosophy of language and mind, and even developmental psychology. The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues. There are also new postscripts to five of the essays, which discuss changes of mind, respond to published criticisms, and advance the discussion yet further.
A new approach to understanding nonlinear dynamics and strange attractors The behavior of a physical system may appear irregular or chaotic even when it is completely deterministic and predictable for short periods of time into the future. How does one model the dynamics of a system operating in a chaotic regime? Older tools such as estimates of the spectrum of Lyapunov exponents and estimates of the spectrum of fractal dimensions do not sufficiently answer this question. In a significant evolution of the field of Nonlinear Dynamics, The Topology of Chaos responds to the fundamental challenge of chaotic systems by introducing a new analysis method–Topological Analysis–which can be used to extract, from chaotic data, the topological signatures that determine the stretching and squeezing mechanisms which act on flows in phase space and are responsible for generating chaotic data. Beginning with an example of a laser that has been operated under conditions in which it behaved chaotically, the authors convey the methodology of Topological Analysis through detailed chapters on:
Suitable at the present time for analyzing "strange attractors" that can be embedded in three-dimensional spaces, this groundbreaking approach offers researchers and practitioners in the discipline a complete and satisfying resolution to the fundamental questions of chaotic systems.
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.
Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects and structures where some contradictions are allowed, without collapse into incoherence. Over the past decades, this initiative has evolved into an area of non-classical mathematics known as inconsistent or paraconsistent mathematics. This Element provides a selective introductory survey of this research program, distinguishing between `moderate' and `radical' approaches. The emphasis is on philosophical issues and future challenges.
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.
This challenging book argues that a new way of speaking of
mathematics and describing it emerged at the end of the sixteenth
century. Leading mathematicians like Hariot, Stevin, Galileo, and
Cavalieri began referring to their field in terms drawn from the
exploration accounts of Columbus and Magellan. As enterprising
explorers in search of treasures of knowledge, these mathematicians
described themselves as sailing the treacherous seas of
mathematics, facing shipwreck on the shoals of paradox, and seeking
shelter and refuge on the shores of geometrical demonstrations.
Mathematics, formerly praised for its logic, clarity, and
inescapable truths, was for them a hazardous voyage in inhospitable
geometrical lands.
Is mathematics a highly sophisticated intellectual game in which
the adepts display their skill by tackling invented problems, or
are mathematicians engaged in acts of discovery as they explore an
independent realm of mathematical reality? Why does this seemingly
abstract discipline provide the key to unlocking the deep secrets
of the physical universe? How one answers these questions will
significantly influence metaphysical thinking about reality.
The ancient Greeks played a fundamental role in the history of mathematics and their ideas were reused and developed in subsequent periods all the way down to the scientific revolution and beyond. In this, the first complete history for a century. Reviel Netz offers a panoramic view of the rise and influence of Greek mathematics and its significance in world history. He explores the Near Eastern antecedents and the social and intellectual developments underlying the subject's beginnings in Greece in the fifth century BCE. He leads the reader through the proofs and arguments of key figures like Archytas, Euclid and Archimedes, and considers the totality of the Greek mathematical achievement which also includes, in addition to pure mathematics, such applied fields as optics, music, mechanics and, above all, astronomy. This is the story not only of a major historical development, but of some of the finest mathematics ever created.
Der Bericht uber das vielleicht grosste mathematische Genie des 20. Jahrhunderts liest sich wie ein spannender Roman." |
![]() ![]() You may like...
Every Day Is An Opening Night - Our…
Des & Dawn Lindberg
Paperback
![]()
|