A Course in Mathematical Logic for Mathematicians


Author: Yu. I. Manin
Publisher: Springer Science & Business Media
ISBN: 1441906150
Category: Mathematics
Page: 384
View: 2596

Continue Reading →

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind old concerns about in?nities: a new view of foundations is now emerging. (iii) Computer science, a no-nonsense child of the abstract computability theory, has been creatively dealing with old challenges and providing new ones, such as the P/NP problem. Planning additional chapters for this second edition, I have decided to focus onmodeltheory,the conspicuousabsenceofwhichinthe ?rsteditionwasnoted in several reviews, and the theory of computation, including its categorical and quantum aspects. The whole Part IV: Model Theory, is new. I am very grateful to Boris I. Zilber, who kindly agreed to write it. It may be read directly after Chapter II. The contents of the ?rst edition are basically reproduced here as Chapters I–VIII. Section IV.7, on the cardinality of the continuum, is completed by Section IV.7.3, discussing H. Woodin’s discovery.

Richard Dedekind

Was sind und was sollen die Zahlen? Stetigkeit und Irrationale Zahlen
Author: Stefan Müller-Stach
Publisher: Springer-Verlag
ISBN: 3662543397
Category: Mathematics
Page: 203
View: 2179

Continue Reading →

Die beiden Bücher „Was sind und was sollen die Zahlen?“ (1888) und „Stetigkeit und Irrationale Zahlen“ (1872) sind Dedekinds Beiträge zu den Grundlagen der Mathematik; er legte darin die Grundsteine der Mengenlehre und der Theorie der reellen und natürlichen Zahlen. Diese Schriften sind aus der modernen Mathematik nicht mehr wegzudenken. Dennoch wurde die Leistung Dedekinds nicht immer entsprechend gewürdigt und der Inhalt dieser Bücher ist auch heute noch vielen Mathematikern wenig bekannt. Dieses Buch enthält neben den Originaltexten eine ausführliche Erklärung der beiden Schriften und eine Interpretation in moderner Sprache, sowie eine kurze Biografie und eine Abschrift des berühmten Briefs an H. Keferstein. Dadurch bietet dieses Buch einen faszinierenden Einblick in das Leben und Schaffen dieses wegweisenden Wissenschaftlers und stellt sein Werk in Beziehung zu großen Zeitgenossen wie Cantor, Dirichlet, Frege, Hilbert, Kronecker und Riemann.

Real and Abstract Analysis

A modern treatment of the theory of functions of a real variable
Author: Edwin Hewitt,Karl Stromberg
Publisher: Springer-Verlag
ISBN: 3662297949
Category: Mathematics
Page: 476
View: 9666

Continue Reading →

Maß und Kategorie


Author: J.C. Oxtoby
Publisher: Springer-Verlag
ISBN: 364296074X
Category: Mathematics
Page: 112
View: 8238

Continue Reading →

Dieses Buch behandelt hauptsächlich zwei Themenkreise: Der Bairesche Kategorie-Satz als Hilfsmittel für Existenzbeweise sowie Die "Dualität" zwischen Maß und Kategorie. Die Kategorie-Methode wird durch viele typische Anwendungen erläutert; die Analogie, die zwischen Maß und Kategorie besteht, wird nach den verschiedensten Richtungen hin genauer untersucht. Hierzu findet der Leser eine kurze Einführung in die Grundlagen der metrischen Topologie; außerdem werden grundlegende Eigenschaften des Lebesgue schen Maßes hergeleitet. Es zeigt sich, daß die Lebesguesche Integrationstheorie für unsere Zwecke nicht erforderlich ist, sondern daß das Riemannsche Integral ausreicht. Weiter werden einige Begriffe aus der allgemeinen Maßtheorie und Topologie eingeführt; dies geschieht jedoch nicht nur der größeren Allgemeinheit wegen. Es erübrigt sich fast zu erwähnen, daß sich die Bezeichnung "Kategorie" stets auf "Bairesche Kategorie" be zieht; sie hat nichts zu tun mit dem in der homologischen Algebra verwendeten Begriff der Kategorie. Beim Leser werden lediglich grundlegende Kenntnisse aus der Analysis und eine gewisse Vertrautheit mit der Mengenlehre vorausgesetzt. Für die hier untersuchten Probleme bietet sich in natürlicher Weise die mengentheoretische Formulierung an. Das vorlie gende Buch ist als Einführung in dieses Gebiet der Analysis gedacht. Man könnte es als Ergänzung zur üblichen Grundvorlesung über reelle Analysis, als Grundlage für ein Se minar oder auch zum selbständigen Studium verwenden. Bei diesem Buch handelt es sich vorwiegend um eine zusammenfassende Darstellung; jedoch finden sich in ihm auch einige Verfeinerungen bekannter Resultate, namentlich Satz 15.6 und Aussage 20.4. Das Literaturverzeichnis erhebt keinen Anspruch auf Vollständigkeit. Häufig werden Werke zitiert, die weitere Literaturangaben enthalten.

A Course in Homological Algebra


Author: Peter J. Hilton,Urs Stammbach
Publisher: Springer Science & Business Media
ISBN: 1441985662
Category: Mathematics
Page: 366
View: 4176

Continue Reading →

Homological algebra has found a large number of applications in many fields ranging from finite and infinite group theory to representation theory, number theory, algebraic topology and sheaf theory. In the new edition of this broad introduction to the field, the authors address a number of select topics and describe their applications, illustrating the range and depth of their developments. A comprehensive set of exercises is included.

Categories for the Working Mathematician


Author: Saunders Mac Lane
Publisher: Springer Science & Business Media
ISBN: 9780387984032
Category: Mathematics
Page: 314
View: 4114

Continue Reading →

Categories for the Working Mathematician begins with foundations, illuminating concepts such as category, functor, natural transformation, and duality. It then continues by extensively illustrating these categorical concepts while presenting applications to more advanced topics. This second edition includes many revisions and additions.

Mathematical Methods of Classical Mechanics


Author: V.I. Arnol'd
Publisher: Springer Science & Business Media
ISBN: 1475720637
Category: Mathematics
Page: 520
View: 590

Continue Reading →

This book constructs the mathematical apparatus of classical mechanics from the beginning, examining basic problems in dynamics like the theory of oscillations and the Hamiltonian formalism. The author emphasizes geometrical considerations and includes phase spaces and flows, vector fields, and Lie groups. Discussion includes qualitative methods of the theory of dynamical systems and of asymptotic methods like averaging and adiabatic invariance.

A Course in Functional Analysis


Author: John B. Conway
Publisher: Springer Science & Business Media
ISBN: 9780387972459
Category: Mathematics
Page: 400
View: 376

Continue Reading →

This book is an introductory text in functional analysis. Unlike many modern treatments, it begins with the particular and works its way to the more general. From the reviews: "This book is an excellent text for a first graduate course in functional analysis....Many interesting and important applications are included....It includes an abundance of exercises, and is written in the engaging and lucid style which we have come to expect from the author." --MATHEMATICAL REVIEWS

Field Theory


Author: Steven Roman
Publisher: Springer Science & Business Media
ISBN: 0387276785
Category: Mathematics
Page: 335
View: 6765

Continue Reading →

"Springer has just released the second edition of Steven Roman’s Field Theory, and it continues to be one of the best graduate-level introductions to the subject out there....Every section of the book has a number of good exercises that would make this book excellent to use either as a textbook or to learn the material on your own. All in all...a well-written expository account of a very exciting area in mathematics." --THE MAA MATHEMATICAL SCIENCES DIGITAL LIBRARY

A Tour Through Mathematical Logic


Author: Robert S. Wolf
Publisher: MAA
ISBN: 9780883850367
Category: Mathematics
Page: 397
View: 5459

Continue Reading →

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gdel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.

Algebraic Topology

A First Course
Author: William Fulton
Publisher: Springer Science & Business Media
ISBN: 1461241804
Category: Mathematics
Page: 430
View: 5074

Continue Reading →

To the Teacher. This book is designed to introduce a student to some of the important ideas of algebraic topology by emphasizing the re lations of these ideas with other areas of mathematics. Rather than choosing one point of view of modem topology (homotopy theory, simplicial complexes, singular theory, axiomatic homology, differ ential topology, etc.), we concentrate our attention on concrete prob lems in low dimensions, introducing only as much algebraic machin ery as necessary for the problems we meet. This makes it possible to see a wider variety of important features of the subject than is usual in a beginning text. The book is designed for students of mathematics or science who are not aiming to become practicing algebraic topol ogists-without, we hope, discouraging budding topologists. We also feel that this approach is in better harmony with the historical devel opment of the subject. What would we like a student to know after a first course in to pology (assuming we reject the answer: half of what one would like the student to know after a second course in topology)? Our answers to this have guided the choice of material, which includes: under standing the relation between homology and integration, first on plane domains, later on Riemann surfaces and in higher dimensions; wind ing numbers and degrees of mappings, fixed-point theorems; appli cations such as the Jordan curve theorem, invariance of domain; in dices of vector fields and Euler characteristics; fundamental groups

Integration and Probability


Author: Paul Malliavin
Publisher: Springer Science & Business Media
ISBN: 1461242029
Category: Mathematics
Page: 326
View: 3740

Continue Reading →

An introduction to analysis with the right mix of abstract theories and concrete problems. Starting with general measure theory, the book goes on to treat Borel and Radon measures and introduces the reader to Fourier analysis in Euclidean spaces with a treatment of Sobolev spaces, distributions, and the corresponding Fourier analysis. It continues with a Hilbertian treatment of the basic laws of probability including Doob's martingale convergence theorem and finishes with Malliavin's "stochastic calculus of variations" developed in the context of Gaussian measure spaces. This invaluable contribution gives a taste of the fact that analysis is not a collection of independent theories, but can be treated as a whole.

Mathematical Logic


Author: Joseph R. Shoenfield
Publisher: CRC Press
ISBN: 135143330X
Category: Mathematics
Page: 356
View: 8115

Continue Reading →

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers.

Additive Number Theory: Inverse Problems and the Geometry of Sumsets


Author: Melvyn B. Nathanson
Publisher: Springer Science & Business Media
ISBN: 9780387946559
Category: Mathematics
Page: 296
View: 1015

Continue Reading →

Many classical problems in additive number theory are direct problems, in which one starts with a set A of natural numbers and an integer H -> 2, and tries to describe the structure of the sumset hA consisting of all sums of h elements of A. By contrast, in an inverse problem, one starts with a sumset hA, and attempts to describe the structure of the underlying set A. In recent years there has been ramrkable progress in the study of inverse problems for finite sets of integers. In particular, there are important and beautiful inverse theorems due to Freiman, Kneser, Plünnecke, Vosper, and others. This volume includes their results, and culminates with an elegant proof by Ruzsa of the deep theorem of Freiman that a finite set of integers with a small sumset must be a large subset of an n-dimensional arithmetic progression.

Naive Mengenlehre


Author: Paul R. Halmos
Publisher: Vandenhoeck & Ruprecht
ISBN: 9783525405277
Category: Arithmetic
Page: 132
View: 3418

Continue Reading →

Mathematical Logic

On Numbers, Sets, Structures, and Symmetry
Author: Roman Kossak
Publisher: Springer
ISBN: 9783319972978
Category: Mathematics
Page: 186
View: 996

Continue Reading →

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments. The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures. The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.

Mathematical logic


Author: Joseph Robert Shoenfield
Publisher: A K Peters Ltd
ISBN: 9781568811352
Category: Mathematics
Page: 344
View: 8958

Continue Reading →

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers.

First-Order Logic and Automated Theorem Proving


Author: Melvin Fitting,Melvin Chris Fitting
Publisher: Springer Science & Business Media
ISBN: 9780387945934
Category: Computers
Page: 326
View: 494

Continue Reading →

Propositional logic - Semantic tableaux and resolution - Other propositional proof procedures - First-order logic - First-order proof procedures - Implementing tableaux and resolution - Further first-order features - Equality.