How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand? What has been called 'the unreasonable effectiveness of mathematics' sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character, whereas others have pointed to the range of structures that mathematics offers. Otavio Bueno and Steven French offer a middle way, which focuses on the moves that have to be made in both the mathematics and the relevant physics in order to bring the two into appropriate relation. This relation can be captured via the inferential conception of the applicability of mathematics, which is formulated in terms of immersion, inference, and interpretation. In particular, the roles of idealisations and of surplus structure in science and mathematics respectively are brought to the fore and captured via an approach to models and theories that emphasize the partiality of the available information: the partial structures approach. The discussion as a whole is grounded in a number of case studies drawn from the history of quantum physics, and extended to contest recent claims that the explanatory role of certain mathematical structures in scientific practice supports a realist attitude towards them. The overall conclusion is that the effectiveness of mathematics does not seem unreasonable at all once close attention is paid to how it is actually applied in practice.

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists! This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

Bayesian ideas have recently been applied across such diverse fields as philosophy, statistics, economics, psychology, artificial intelligence, and legal theory. Fundamentals of Bayesian Epistemology examines epistemologists' use of Bayesian probability mathematics to represent degrees of belief. Michael G. Titelbaum provides an accessible introduction to the key concepts and principles of the Bayesian formalism, enabling the reader both to follow epistemological debates and to see broader implications Volume 1 begins by motivating the use of degrees of belief in epistemology. It then introduces, explains, and applies the five core Bayesian normative rules: Kolmogorov's three probability axioms, the Ratio Formula for conditional degrees of belief, and Conditionalization for updating attitudes over time. Finally, it discusses further normative rules (such as the Principal Principle, or indifference principles) that have been proposed to supplement or replace the core five. Volume 2 gives arguments for the five core rules introduced in Volume 1, then considers challenges to Bayesian epistemology. It begins by detailing Bayesianism's successful applications to confirmation and decision theory. Then it describes three types of arguments for Bayesian rules, based on representation theorems, Dutch Books, and accuracy measures. Finally, it takes on objections to the Bayesian approach and alternative formalisms, including the statistical approaches of frequentism and likelihoodism.

Often people have wondered why there is no introductory text on category theory aimed at philosophers working in related areas. The answer is simple: what makes categories interesting and significant is their specific use for specific purposes. These uses and purposes, however, vary over many areas, both "pure", e.g., mathematical, foundational and logical, and "applied", e.g., applied to physics, biology and the nature and structure of mathematical models. Borrowing from the title of Saunders Mac Lane's seminal work "Categories for the Working Mathematician", this book aims to bring the concepts of category theory to philosophers working in areas ranging from mathematics to proof theory to computer science to ontology, from to physics to biology to cognition, from mathematical modeling to the structure of scientific theories to the structure of the world. Moreover, it aims to do this in a way that is accessible to non-specialists. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, and in a way that builds on the concepts that are already familiar to philosophers working in these areas.

Fifty years ago when Jacques Hadamard set out to explore how mathematicians invent new ideas, he considered the creative experiences of some of the greatest thinkers of his generation, such as George Polya, Claude Levi-Strauss, and Albert Einstein. It appeared that inspiration could strike anytime, particularly after an individual had worked hard on a problem for days and then turned attention to another activity. In exploring this phenomenon, Hadamard produced one of the most famous and cogent cases for the existence of unconscious mental processes in mathematical invention and other forms of creativity. Written before the explosion of research in computers and cognitive science, his book, originally titled "The Psychology of Invention in the Mathematical Field," remains an important tool for exploring the increasingly complex problem of mental life.

The roots of creativity for Hadamard lie not in consciousness, but in the long unconscious work of incubation, and in the unconscious aesthetic selection of ideas that thereby pass into consciousness. His discussion of this process comprises a wide range of topics, including the use of mental images or symbols, visualized or auditory words, "meaningless" words, logic, and intuition. Among the important documents collected is a letter from Albert Einstein analyzing his own mechanism of thought."

In line with the emerging field of philosophy of mathematical practice, this book pushes the philosophy of mathematics away from questions about the reality and truth of mathematical entities and statements and toward a focus on what mathematicians actually do--and how that evolves and changes over time. How do new mathematical entities come to be? What internal, natural, cognitive, and social constraints shape mathematical cultures? How do mathematical signs form and reform their meanings? How can we model the cognitive processes at play in mathematical evolution? And how does mathematics tie together ideas, reality, and applications? Roi Wagner uniquely combines philosophical, historical, and cognitive studies to paint a fully rounded image of mathematics not as an absolute ideal but as a human endeavor that takes shape in specific social and institutional contexts. The book builds on ancient, medieval, and modern case studies to confront philosophical reconstructions and cutting-edge cognitive theories. It focuses on the contingent semiotic and interpretive dimensions of mathematical practice, rather than on mathematics' claim to universal or fundamental truths, in order to explore not only what mathematics is, but also what it could be. Along the way, Wagner challenges conventional views that mathematical signs represent fixed, ideal entities; that mathematical cognition is a rigid transfer of inferences between formal domains; and that mathematics' exceptional consensus is due to the subject's underlying reality. The result is a revisionist account of mathematical philosophy that will interest mathematicians, philosophers, and historians of science alike.

Why bother to praise mathematics when you claim, as Alain Badiou does, that philosophy is first and foremost a metaphysics of happiness, or else it s not worth an hour of trouble? What possible relationship can there be between mathematics and happiness? That is precisely the issue at stake in this dialogue, which serves as a very accessible introduction to what mathematics is and an exploration of the crucial influence it has always exerted on the greatest philosophers. Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness.

Realizing Reason pursues three interrelated themes. First, it traces the essential moments in the historical unfolding-from the ancient Greeks, through Descartes, Kant, and developments in the nineteenth century, to the present-that culminates in the realization of pure reason as a power of knowing. Second, it provides a cogent account of mathematical practice as a mode of inquiry into objective truth. And finally, it develops and defends a new conception of our being in the world, one that builds on and transforms the now standard conception according to which our experience of reality arises out of brain activity due, in part, to merely causal impacts on our sense organs. Danielle Macbeth shows that to achieve an adequate understanding of the striving for truth in the exact sciences we must overcome this standard conception and that the way to do that is through a more adequate understanding of the nature of mathematical practice and the profound transformations it has undergone over the course of its history, the history through which reason is first realized as a power of knowing. Because we can understand mathematical practice only if we attend to the systems of written signs within which to do mathematics, Macbeth provides an account of the nature and role of written notations, specifically, of the principal systems that have been developed within which to reason in mathematics: Euclidean diagrams, the symbolic language of arithmetic and algebra, and Frege's concept-script, Begriffsschrift.

Mathematical Explorations follows on from the author's previous book, Creative Mathematics, in the same series, and gives the reader experience in working on problems requiring a little more mathematical maturity. The author's main aim is to show that problems are often solved by using mathematics that is not obviously connected to the problem, and readers are encouraged to consider as wide a variety of mathematical ideas as possible. In each case, the emphasis is placed on the important underlying ideas rather than on the solutions for their own sake. To enhance understanding of how mathematical research is conducted, each problem has been chosen not for its mathematical importance, but because it provides a good illustration of how arguments can be developed. While the reader does not require a deep mathematical background to tackle these problems, they will find their mathematical understanding is enriched by attempting to solve them.

Hermann Weyl (1885-1955) was one of the twentieth century's most important mathematicians, as well as a seminal figure in the development of quantum physics and general relativity. He was also an eloquent writer with a lifelong interest in the philosophical implications of the startling new scientific developments with which he was so involved. "Mind and Nature" is a collection of Weyl's most important general writings on philosophy, mathematics, and physics, including pieces that have never before been published in any language or translated into English, or that have long been out of print. Complete with Peter Pesic's introduction, notes, and bibliography, these writings reveal an unjustly neglected dimension of a complex and fascinating thinker. In addition, the book includes more than twenty photographs of Weyl and his family and colleagues, many of which are previously unpublished.

Included here are Weyl's exposition of his important synthesis of electromagnetism and gravitation, which Einstein at first hailed as "a first-class stroke of genius"; two little-known letters by Weyl and Einstein from 1922 that give their contrasting views on the philosophical implications of modern physics; and an essay on time that contains Weyl's argument that the past is never completed and the present is not a point. Also included are two book-length series of lectures, "The Open World" (1932) and "Mind and Nature" (1934), each a masterly exposition of Weyl's views on a range of topics from modern physics and mathematics. Finally, four retrospective essays from Weyl's last decade give his final thoughts on the interrelations among mathematics, philosophy, and physics, intertwined with reflections on the course of his rich life.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts and methods originating from randomness enrich computability theory. The book covers topics such as lowness and highness properties, Kolmogorov complexity, betting strategies and higher computability. Both the basics and recent research results are desribed, providing a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory.

A guide to the practical art of plausible reasoning, this book has relevance in every field of intellectual activity. Professor Polya, a world-famous mathematician from Stanford University, uses mathematics to show how hunches and guesses play an important part in even the most rigorously deductive science. He explains how solutions to problems can be guessed at; good guessing is often more important than rigorous deduction in finding correct solutions. Vol. I, on Induction and Analogy in Mathematics, covers a wide variety of mathematical problems, revealing the trains of thought that lead to solutions, pointing out false bypaths, discussing techniques of searching for proofs. Problems and examples challenge curiosity, judgment, and power of invention.

During the Victorian era, industrial and economic growth led to a phenomenal rise in productivity and invention. That spirit of creativity and ingenuity was reflected in the massive expansion in scope and complexity of many scientific disciplines during this time, with subjects evolving rapidly and the creation of many new disciplines. The subject of mathematics was no exception and many of the advances made by mathematicians during the Victorian period are still familiar today; matrices, vectors, Boolean algebra, histograms, and standard deviation were just some of the innovations pioneered by these mathematicians.
This book constitutes perhaps the first general survey of the mathematics of the Victorian period. It assembles in a single source research on the history of Victorian mathematics that would otherwise be out of the reach of the general reader. It charts the growth and institutional development of mathematics as a profession through the course of the 19th century in England, Scotland, Ireland, and across the British Empire. It then focuses on developments in specific mathematical areas, with chapters ranging from developments in pure mathematical topics (such as geometry, algebra, and logic) to Victorian work in the applied side of the subject (including statistics, calculating machines, and astronomy). Along the way, we encounter a host of mathematical scholars, some very well known (such as Charles Babbage, James Clerk Maxwell, Florence Nightingale, and Lewis Carroll), others largely forgotten, but who all contributed to the development of Victorian mathematics.

The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is the product of the human mind. This provocative book, now available in a revised and expanded paperback edition, goes beyond foundationalist questions to offer what has been called a "postmodern" assessment of the philosophy of mathematics--one that addresses issues of theoretical importance in terms of mathematical experience. By bringing together essays of leading philosophers, mathematicians, logicians, and computer scientists, Thomas Tymoczko reveals an evolving effort to account for the nature of mathematics in relation to other human activities. These accounts include such topics as the history of mathematics as a field of study, predictions about how computers will influence the future organization of mathematics, and what processes a proof undergoes before it reaches publishable form.

This expanded edition now contains essays by Penelope Maddy, Michael D. Resnik, and William P. Thurston that address the nature of mathematical proofs. The editor has provided a new afterword and a supplemental bibliography of recent work.

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.
Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists
This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

Many philosophers these days consider themselves naturalists, but it's doubtful any two of them intend the same position by the term. In this book, Penelope Maddy describes and practices a particularly austere form of naturalism called "Second Philosophy." Without a definitive criterion for what counts as "science" and what doesn't, Second Philosophy can't be specified directly - "trust only the methods of science " or some such thing - so Maddy proceeds instead by illustrating the behaviors of an idealized inquirer she calls the "Second Philosopher." This Second Philosopher begins from perceptual common sense and progresses from there to systematic observation, active experimentation, theory formation and testing, working all the while to assess, correct and improve her methods as she goes. Second Philosophy is then the result of the Second Philosopher's investigations.
Maddy delineates the Second Philosopher's approach by tracing her reactions to various familiar skeptical and transcendental views (Descartes, Kant, Carnap, late Putnam, van Fraassen), comparing her methods to those of other self-described naturalists (especially Quine), and examining a prominent contemporary debate (between disquotationalists and correspondence theorists in the theory of truth) to extract a properly second-philosophical line of thought. She then undertakes to practise Second Philosophy in her reflections on the ground of logical truth, the methodology, ontology and epistemology of mathematics, and the general prospects for metaphysics naturalized.

In Cognition, Content, and the A Priori, Robert Hanna works out a unified contemporary Kantian theory of rational human cognition and knowledge. Along the way, he provides accounts of (i) intentionality and its contents, including non-conceptual content and conceptual content, (ii) sense perception and perceptual knowledge, including perceptual self-knowledge, (iii) the analytic-synthetic distinction, (iv) the nature of logic, and (v) a priori truth and knowledge in mathematics, logic, and philosophy. This book is specifically intended to reach out to two very different audiences: contemporary analytic philosophers of mind and knowledge on the one hand, and contemporary Kantian philosophers or Kant-scholars on the other. At the same time, it is also riding the crest of a wave of exciting and even revolutionary emerging new trends and new work in the philosophy of mind and epistemology, with a special concentration on the philosophy of perception. What is revolutionary in this new wave are its strong emphases on action, on cognitive phenomenology, on disjunctivist direct realism, on embodiment, and on sense perception as a primitive and proto-rational capacity for cognizing the world. Cognition, Content, and the A Priori makes a fundamental contribution to this philosophical revolution by giving it a specifically contemporary Kantian twist, and by pushing these new lines of investigation radically further.

This volume brings together many of Terence Horgan's essays on paradoxes: Newcomb's problem, the Monty Hall problem, the two-envelope paradox, the sorites paradox, and the Sleeping Beauty problem. Newcomb's problem arises because the ordinary concept of practical rationality constitutively includes normative standards that can sometimes come into direct conflict with one another. The Monty Hall problem reveals that sometimes the higher-order fact of one's having reliably received pertinent new first-order information constitutes stronger pertinent new information than does the new first-order information itself. The two-envelope paradox reveals that epistemic-probability contexts are weakly hyper-intensional; that therefore, non-zero epistemic probabilities sometimes accrue to epistemic possibilities that are not metaphysical possibilities; that therefore, the available acts in a given decision problem sometimes can simultaneously possess several different kinds of non-standard expected utility that rank the acts incompatibly. The sorites paradox reveals that a certain kind of logical incoherence is inherent to vagueness, and that therefore, ontological vagueness is impossible. The Sleeping Beauty problem reveals that some questions of probability are properly answered using a generalized variant of standard conditionalization that is applicable to essentially indexical self-locational possibilities, and deploys "preliminary" probabilities of such possibilities that are not prior probabilities. The volume also includes three new essays: one on Newcomb's problem, one on the Sleeping Beauty problem, and an essay on epistemic probability that articulates and motivates a number of novel claims about epistemic probability that Horgan has come to espouse in the course of his writings on paradoxes. A common theme unifying these essays is that philosophically interesting paradoxes typically resist either easy solutions or solutions that are formally/mathematically highly technical. Another unifying theme is that such paradoxes often have deep-sometimes disturbing-philosophical morals.

Der Band enthalt zum ersten Mal in deutscher Sprache grundlegende Themen der chinesischen und indischen Mathematik, die den Nahrboden fur spatere Fragestellungen bereiten. Die nicht zu uberschatzende Rolle, die islamische Gelehrte bei der Entwicklung der Algebra und der Verbreitung des Ziffernsystems gespielt haben, wird in exemplarischen Episoden veranschaulicht. Unterhaltsam wird geschildert, wie Fibonacci die orientalische Aufgabenkultur nach Italien bringt. Zahlreiche Beispiele demonstrieren das neue kaufmannische Rechnen, dessen Methoden sich in ganz Europa verbreiten. In Deutschland erwachst eine neue Generation von Rechenmeistern, die mit ihren erstmals im Druck verbreiteten Schriften eine ungeheure Popularisierung des Rechnens bewirken. UEberraschende Einblicke in die Historie bieten die Kapitel uber die Vermittlung mathematischen Wissens in Kloestern und Universitaten. Das Buch ist eine Fundgrube fur historisch Interessierte; zahlreiche Aufgaben bieten vergnuglichen Stoff fur Unterricht, Vorlesung und Selbststudium.

Dieser Band fuhrt 16 Aufsatze von Herbert Breger zusammen, die um Leibniz' Arbeiten zur Mathematik und Physik und ihre philosophischen Voraussetzungen kreisen. Drei interessante und ungewoehnliche Aspekte stehen hierbei im Vordergrund: Kontinuum, Analysis und Informales. Leibniz' Kontinuum und seine Analysis sind gerade wegen ihres Unterschieds zur heutigen Mathematik interessant. Anhand zahlreicher Beispiele wird ferner die Frage nach dem Verhaltnis zwischen der mathematischen Rationalitat und der Kunst gestellt und die nach den engen Beziehungen zwischen Mathematik und Philosophie bei Leibniz eroertert. Es wird gezeigt, dass der Leibniz zugeschriebene Brief zum Prinzip der kleinsten Wirkung, der Anlass zu einem Streit zwischen Maupertuis, Samuel Koenig und Voltaire wurde, eine Falschung war. Das Buch erscheint im Leibniz-Jahr 2016, in dem auch der X. Leibniz-Kongress stattfindet.

Originaltext und historischer und mathematischer Kommentar von Klaus VolkertDavid Hilberts "Festschrift" Grundlagen der Geometrie" aus dem Jahre 1899 wurde zu einem der einflussreichsten Texte der Mathematikgeschichte. Wie kein anderes Werk pragte es die Mathematik des 20. Jahrhunderts und ist auch heute noch von groesstem Interesse. Aus der Perspektive eines Mathematikhistorikers schildert der Herausgeber die Entwicklung einer Axiomatik der Geometrie, die spatestens mit Euklids "Elemente" (ca. 300 v. u. Z.) begann und erst durch Hilbert zu einem vollstandigen und handhabbaren System gefuhrt wurde. Nach einer ausfuhrlichen Erlauterung des Hilbertschen Textes wird seine Rezeption bis 1905 umfassend dargestellt und daran anschliessend viele der von ihm ausgehenden weiteren direkten und indirekten Entwicklungen skizziert. Die Faszination des Textes ist auch dem heutigen Leser direkt zuganglich, da Hilberts axiomatischer Ansatz ohne mengentheoretische Argumente oder formale Logik auskommt.

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 History of Mathematics: From Mesopotamia to Modernity covers the evolution of mathematics through time and across the major Eastern and Western civilizations. It begins in Babylon, then describes the trials and tribulations of the Greek mathematicians. The important, and often neglected, influence of both Chinese and Islamic mathematics is covered in detail, placing the description of early Western mathematics in a global context. The book concludes with modern mathematics, covering recent developments such as the advent of the computer, chaos theory, topology, mathematical physics, and the solution of Fermat's Last Theorem. Containing more than 100 illustrations and figures, this text, aimed at advanced undergraduates and postgraduates, addresses the methods and challenges associated with studying the history of mathematics. The reader is introduced to the leading figures in the history of mathematics (including Archimedes, Ptolemy, Qin Jiushao, al-Kashi, al-Khwarizmi, Galileo, Newton, Leibniz, Helmholtz, Hilbert, Alan Turing, and Andrew Wiles) and their fields. An extensive bibliography with cross-references to key texts will provide invaluable resource to students and exercises (with solutions) will stretch the more advanced reader.

Aus dem Vorwort: "Die Ergebnisse, Methoden und Begriffe, die die mathematische Wissenschaft dem Forscher ISSAI SCHUR verdankt, haben ihre nachhaltige Wirkung bis in die Gegenwart hinein erwiesen und werden sie unverandert beibehalten. Immer wieder wird auf Unter suchungen von SCHUR zuruckgegriffen, werden Erkenntnisse von ihm benutzt oder fortgefuhrt und werden Vermutungen von ihm bestatigt... Die Besonderheit des mathematischen Schaffens von SCHUR hat einst MAX PLANCK, als Sekretar der physikalisch-mathematischen Klasse der Preussischen Akademie der Wissenschaften zu Berlin, gut gekennzeichnet. In seiner Erwiderung auf die Antrittsrede von SCHUR bei dessen Aufnahme als ordentliches Mitglied der Akademie am 29. Juni 1922 bezeugte er, dass SCHUR "wie nur wenige Mathematiker die grosse Abelsche Kunst ube, die Probleme richtig zu formulieren, passend umzuformen, geschickt zu teilen und dann einzeln zu bewaltigen"."Band II enthalt 34 von Issai Schur im Zeitraum von 1912 bis 1924 verfasste Artikel.

Dieses Buch bietet einen historisch orientierten Einstieg in die Algorithmik, also die Lehre von den Algorithmen, in Mathematik, Informatik und daruber hinaus. Besondere Merkmale und Zielsetzungen sind: Elementaritat und Anschaulichkeit, die Berucksichtigung der historischen Entwicklung, Motivation der Begriffe und Verfahren anhand konkreter, aussagekraftiger Beispiele unter Einbezug moderner Werkzeuge (Computeralgebrasysteme, Internet). Als Zusatzmedien werden computer- und internetspezifische Interaktions- und Visualisierungsmoeglichkeiten (kostenlos) zur Verfugung gestellt. Das Werk wendet sich an Studierende und Lehrende an Schulen und Hochschulen sowie an Nichtspezialisten, die an den Themen "Computer/Algorithmen/Programmierung" einschliesslich ihrer historischen und geisteswissenschaftlichen Dimension interessiert sind.