How should we reason in science? Jan Sprenger and Stephan Hartmann offer a refreshing take on classical topics in philosophy of science, using a single key concept to explain and to elucidate manifold aspects of scientific reasoning. They present good arguments and good inferences as being characterized by their effect on our rational degrees of belief. Refuting the view that there is no place for subjective attitudes in 'objective science', Sprenger and Hartmann explain the value of convincing evidence in terms of a cycle of variations on the theme of representing rational degrees of belief by means of subjective probabilities (and changing them by Bayesian conditionalization). In doing so, they integrate Bayesian inference-the leading theory of rationality in social science-with the practice of 21st century science. Bayesian Philosophy of Science thereby shows how modeling such attitudes improves our understanding of causes, explanations, confirming evidence, and scientific models in general. It combines a scientifically minded and mathematically sophisticated approach with conceptual analysis and attention to methodological problems of modern science, especially in statistical inference, and is therefore a valuable resource for philosophers and scientific practitioners.

Die Gesammelten Abhandlungen von Ferdinand Georg Frobenius erscheinen in drei Banden. Band I enthalt in chronologischer Abfolge seine Veroeffentlichungen von 1870 bis 1880, Band II jene von 1880 bis 1896, und Band III die Artikel von 1896 bis 1917. Band II umfasst die Artikel Nr. 22 bis 52. R. Brauer: ...if the reader wants to get an idea about the importance of Frobenius work today, all he has to do is to look at books and papers on groups...

Die Gesammelten Abhandlungen von Ferdinand Georg Frobenius erscheinen in drei Banden. Band I enthalt in chronologischer Abfolge seine Veroeffentlichungen von 1870 bis 1880, Band II jene von 1880 bis 1896, und Band III die Artikel von 1896 bis 1917. Band III umfasst die Veroeffentlichungen Nr. 53 bis 107. R. Brauer: ...if the reader wants to get an idea about the importance of Frobenius work today, all he has to do is to look at books and papers on groups...

Bernard Bolzano (1781-1848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic, and mathematics. Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings. These are the primary sources for many of his celebrated insights and anticipations, including: clear topological definitions of various geometric extensions; an effective statement and use of the Cauchy convergence criterion before it appears in Cauchy's work; proofs of the binomial theorem and the intermediate value theorem that are more general and rigorous than previous ones; an impressive theory of measurable numbers (a version of real numbers), a theory of functions including the construction of a continuous, non-differentiable function (around 1830); and his tantalising conceptual struggles over the possible relationships between infinite collections. Bolzano identified an objective and semantic connection between truths, his so-called 'ground-consequence' relation that imposed a structure on mathematical theories and reflected careful conceptual analysis. This was part of his highly original philosophy of mathematics that appears to be inseparable from his extraordinarily fruitful practical development of mathematics in ways that remain far from being properly understood, and may still be of relevance today.

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 III enthalt 28 von Issai Schur verfasste Artikel ab 1925 sowie u.a. Inhalte aus dem nicht veroeffentlichten Nachlass.

A survey of recent developments both in the classical and modern fields of the theory. Contents include: The complex analytic structure of the space of closed Riemann surfaces; Complex analysis on noncompact Riemann domains; Proof of the Teichmuller-Ahlfors theorem; The conformal mapping of Riemann surfaces; On certain coefficients of univalent functions; Compact analytic surfaces; On differentiable mappings; Deformations of complex analytic manifolds. Originally published in 1960. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Die Ergebnisse, Methoden und Begriffe, die die mathematische Wissenschaft dem Forscher ISSAr 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 zuriickgegriffen, werden Erkenntnisse von ihm benutzt oder fortgefiihrt und werden Vermutungen von ihm bestatigt. Daher ist es sehr zu begriifien, dafi sich der Springer-Verlag bereit erklart hat, die wissenschaftlichen Veroffentlichungen von I. SCHUR als Gesammelte Abhandlungen herauszugeben. Die Besonderheit des mathematischen Schaffens von SCHUR hat einst MAX PLANCK, als Sekretar der physikalisch-mathematischen Klasse der Preufiischen 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, dafi SCHUR wie nur wenige Mathematiker die grofie Abelsche Kunst iibe, die Probleme richtig zu formulieren, passend umzuformen, geschickt zu teilen und dann einzeln zu bewaltigen. Zum Gedacntnis an I. SCHUR gab die Schriftleitung der Mathematischen Zeitschrift 1955 einen Gedenkband heraus, aus dessen Vorrede wir folgendes entnehmen (Mathe- matische Zeitschrift 63, 1955/56): Aus Anlafi der 80. Wiederkehr des Tages, an dem Schur in Mohilew am Dnjepr geboren wurde, vereinen sich Freunde und Schiiler, urn sein Andenken mit diesem Bande der Zeitschrift zu ehren, die er selbst begriindet hat.

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

Hilberts algebraische Arbeiten "UEber die Theorie der algebraischen Formen" und "UEber die vollen Invariantensysteme" haben einen umwalzenden Einfluss auf das algebraische Denken gehabt. Sie ragen in Methode und Bedeutung uber den Bereich der Invariantentheorie weit hinaus. Ihr wesentlicher Kern besteht in der Anwendung arithmetischer Methoden auf algebraische Probleme. Indem Hilbert den Invariantenkoerper als Spezialfall eines Funktionenkoerpers betrachtet, steht er am Wendepunkt einer historischen Entwicklung, woraus spater die allgemeine Theorie der abstrakten Koerper, Ringe und Moduln erwuchs.Der Band enthalt daruber hinaus eine von Arnold Schmidt verfasste UEbersicht uber Hilberts geometrische Untersuchungen.

Ein Meilenstein der Archimedes-Forschung wieder verfugbar! Ausgestattet mit einem umfangreichen neuen Vorwort, das auf die neueren Forschungsergebnisse eingeht, wird in diesem wegweisenden Werk die bis heute ungeklarte Kernfrage der Archimedes-Forschung behandelt: Ist Archimedes von der Praxis des Architekten, Geschutz- und Instrumentenbauers uber die Mechanik zur Mathematik gekommen, oder hat er als Mathematiker die Mechanik zu einer mathematischen Disziplin gemacht, fur die er spater Anwendungen suchte? UEber die Rekonstruktion des Lebens und des Werkes von Archimedes werden seine aussermathematischen Aktivitaten und Leistungen mit denen des Mathematikers in einen Zusammenhang gebracht und so die z. T. auseinanderstrebende Ergebnisse der Forschung in den letzten Jahrzehnten harmonisiert. Durch seinen stringenten Aufbau fuhrt das Buch bestens in die Biographie und das Werk von Archimedes ein und zeigt dabei auch, welche z. T. grossen Erkenntnislucken wir heute noch uber Archimedes haben.

Reason's Nearest Kin is a critical examination of the most exciting period there has been in the philosophical study of the properties of the natural numbers, from the 1880s to the 1930s. Reassessing the brilliant innovations of Frege, Russell, Wittgenstein, and others, which transformed philosophy as well as our understanding of mathematics, Michael Potter places arithmetic at the interface between experience, language, thought, and the world.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Der Pauli-Briefwechsel ist eine der wichtigsten Quellen zur Geschichte der Physik des 20. Jahrhunderts. Fur diesen ersten Teilband wurden zunachst 430 Briefe aus den Jahren 1950 - 1952 ausgewahlt. Sie dokumentieren neben der physikalischen Grundlagenforschung die ideengeschichtlichen Probleme dieser Zeit. UEber das rein historische Interesse hinausgehend wird der Leser zur Reflexion uber die Grenzen unseres gegenwartigen naturwissenschaftlichen Weltbildes angeregt. Ein Standardwerk fur jeden, der sich ernsthaft mit der Geschichte der Physik auseinandersetzt.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the content of a scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics.

Hartry Field presents a selection of thirteen of his most important essays on a set of related topics at the foundations of philosophy; one essay is previously unpublished, and eight are accompanied by substantial new postscripts. Five of the essays are primarily about truth, meaning, and propositional attitudes, five are primarily about semantic indeterminacy and other kinds of 'factual defectiveness' in our discourse, and three are primarily about issues concerning objectivity, especially in mathematics and in epistemology. This influential work by a key figure in contemporary philosophy will reward the attention of any philosopher interested in language, epistemology, or mathematics.

Klaus Viertel legt die erste umfassende Ubersicht zur Geschichte der gleichmassigen Konvergenz in der Analysis des 19. Jahrhunderts vor. Der Autor tragt in umfassender Weise die verschiedenen Einzelentwicklungen dieses Begriffs kritisch zusammen und schafft es, den Stand der Forschung als mathematikhistorische Gesamtdarstellung um zahlreiche neue Ergebnisse zu bereichern."

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s. The standard theory of quantum mechanics is in one sense the most successful physical theory ever, predicting the behaviour of the basic constituents of all physical things; no other theory has ever made such accurate empirical predictions. However, if one tries to understand the theory as providing a complete and accurate framework for the description of the behaviour of all physical interactions, it becomes evident that the theory is ambiguous, or even logically inconsistent. The most notable attempt to formulate the theory so as to deal with this problem, the quantum measurement problem, was initiated by Hugh Everett III in the 1950s. Barrett gives a careful and challenging examination and evaluation of the work of Everett and those who have followed him. His informal approach, minimizing technicality, will make the book accessible and illuminating for philosophers and physicists alike. Anyone interested in the interpretation of quantum mechanics should read it.

Mathematische Resultate werden haufig in einer Weise dargestellt, die kaum noch Einsicht in die Entdeckungsgeschichte der Resultate gewahrt. Viele typische Vorgehensweisen, die beim Betreiben von Mathematik eine wichtige Rolle spielen, wie z.B. Analogiebildung, induktives Schliessen oder das Aufspuren versteckter Annahmen, haben in der klassischen Anordnung des Wissens nach dem Schema "Definition, Satz, Beweis" keinen Platz. Fur das Lehren und Lernen von Mathematik als einer schoepferischen Tatigkeit kann eine Darstellung des Stoffes hilfreich sein, die starker den Prozess des Entdeckens als das fertige Resultat betont. Stephan Berendonk liefert eine solche dem Entstehen von Mathematik zugewandte Darstellung fur den Eulerschen Polyedersatz.

In diesem Werk wird einer der klassischen Texte der Mathematik umfassend historisch, mathematisch, physikalisch und philosophisch von Jurgen Jost ausfuhrlich kommentiert und die gesamte Entwicklung dieser Disziplinen eingeordnet. Neben dem Urtext wird auch der historisch wichtige Kommentarteil von Hermann Weyl wiedergegeben."

Varieties of Continua explores the development of the idea of the continuous. Hellman and Shapiro begin with two historical episodes. The first is the remarkably rapid transition in the course of the nineteenth century from the ancient Aristotelian view, that a true continuum cannot be composed of points, to the now standard, point-based frameworks for analysis and geometry found in modern mainstream mathematics (stemming from the work of Bolzano, Cauchy, Weierstrass, Dedekind, Cantor, et al.). The second is the mid-tolate-twentieth century revival of pre-limit methods in analysis and geometry using infinitesimals including non-standard analysis (due to Abraham Robinson), and the more radical smooth infinitesimal analysis that uses intuitionistic logic. Hellman and Shapiro present a systematic comparison of these and related alternatives (including constructivist and predicative conceptions), weighing various trade-offs, helping articulate a modern pluralist perspective, and articulate a modern pluralist perspective on continuity. The main creative work of the book is the development of rigorous regions-based theories of classical continua, including Euclidean and non-Euclidean geometries, that are mathematically equivalent (inter-reducible) to the currently standard, point-based accounts in mainstream mathematics.

Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monographie zum Thema bietet der Autor neue Deutungen des Hilbertprogramms. Ausgehend von den historischen Quellen stellt er die Frage neu, ob Hilbert eine formalistische Philosophie der Mathematik voraussetzte. Er macht die Fulle der Ideen sichtbar, die Hilbert und seine Schuler formulierten, diskutiert anspruchsvolle philosophische Implikationen und raumt mit einer Reihe von Fehlinterpretationen auf."

20 anni fa anzi qualcuno in piu iniziava le sue pubblicazioni Lettera Matematica PRISTEM, espressione di un gruppo di ricerca della Bocconi cui aderiscono anche docenti e studiosi di altre Universita. La Lettera ha rappresentato un tentativo coraggioso di svecchiare la comunicazione matematica, di renderla meno accademica e piu giornalistica con l uso delle immagini, del colore e di un linguaggio diretto. Un tentativo di inserire la Matematica nei piu ampi processi che riguardano la scuola e la societa.

In questo libro, i tre direttori della rivista sfogliano le sue annate per ricordare storie e personaggi (matematici e non) attorno a cui la Lettera e cresciuta e che di fatto hanno contribuito alla formazione della sua linea editoriale.

Le testimonianze, i ricordi e i commenti sono seguiti anno per anno da un articolo comparso quell anno sulla Lettera . Ne esce una descrizione del mondo matematico, visto dall interno, molto piu vivace di quanto solitamente si pensa che sia. Altro che semplice calcolo La Matematica va avanti e la Lettera racconta in quali direzioni. Talora procede con appassionate discussioni e qualche polemica che accompagna la ricerca o l insegnamento o la gestione delle istituzioni scientifiche: anche di queste, in 20 anni, la Lettera ha cercato di dare puntualmente conto.

Gerhard Gentzen (1909-1945) ist der Begrunder der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen. Die Arbeiten Gentzens uber das naturliche Schliessen, der Sequenzenkalkul und die Ordinal-Beweistheorie beeindrucken noch heute durch ihre Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg, Festnahme 1945 in Prag, Gefangenschaft und Tod. Die Bedingungen wissenschaftlicher Forschung, in diesem Fall der mathematischen Logik, im nationalsozialistischen Deutschland, den ideologischen Kampf um eine "Deutsche Logik" und deren Protagonisten ist ein weiterer Schwerpunkt des Buches. Zahlreiche, bislang unveroffentlichte Quellen, Fotos und Dokumente aus Korrespondenzen und Nachlass sowie der Abdruck dreier Vortrage von Gerhard Gentzen machen dieses Buch zu einer erstrangigen Informationsquelle uber diesen bedeutenden Mathematiker und seine Zeit. Der Band wird erganzt durch ein Essay von Jan von Plato uber Gentzens Beweistheorie und deren Entwicklung bis zur Gegenwart."