Handbook of Computability Theory

Author: E.R. Griffor
Publisher: Elsevier
ISBN: 9780080533049
Format: PDF
Download Now
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

ZZ 2 Homotopy Theory

Author: Michael Charles Crabb
Publisher: Cambridge University Press
ISBN: 0521280516
Format: PDF
Download Now
This account is a study of twofold symmetry in algebraic topology. The author discusses specifically the antipodal involution of a real vector bundle - multiplication by - I in each fibre; doubling and squaring operations; the symmetry of bilinear forms and Hermitian K-theory. In spite of its title, this is not a treatise on equivariant topology; rather it is the language in which to describe the symmetry. Familiarity with the basic concepts of algebraic topology (homotopy, stable homotopy, homology, K-theory, the Pontrjagin-Thom transfer construction) is assumed. Detailed proofs are not given (the expert reader will be able to supply them when necessary) yet nowhere is credibility lost. Thus the approach is elementary enough to provide an introduction to the subject suitable for graduate students although research workers will find here much of interest.

Turing s Revolution

Author: Giovanni Sommaruga
Publisher: Birkhäuser
ISBN: 3319221566
Format: PDF, Kindle
Download Now
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical influence of Turing’s work, it is possible to gather new perspectives and new research topics which might be considered as a continuation of Turing’s working ideas well into the 21st century.

Introduction to the Representation Theory of Compact and Locally Compact Groups

Author: Alain Robert
Publisher: Cambridge University Press
ISBN: 0521289750
Format: PDF, Mobi
Download Now
Because of their significance in physics and chemistry, representation of Lie groups has been an area of intensive study by physicists and chemists, as well as mathematicians. This introduction is designed for graduate students who have some knowledge of finite groups and general topology, but is otherwise self-contained. The author gives direct and concise proofs of all results yet avoids the heavy machinery of functional analysis. Moreover, representative examples are treated in some detail.

Das BUCH der Beweise

Author: Martin Aigner
Publisher: Springer-Verlag
ISBN: 3662577674
Format: PDF
Download Now
Diese fünfte deutsche Auflage enthält ein ganz neues Kapitel über van der Waerdens Permanenten-Vermutung, sowie weitere neue, originelle und elegante Beweise in anderen Kapiteln. Aus den Rezensionen: “... es ist fast unmöglich, ein Mathematikbuch zu schreiben, das von jedermann gelesen und genossen werden kann, aber Aigner und Ziegler gelingt diese Meisterleistung in virtuosem Stil. [...] Dieses Buch erweist der Mathematik einen unschätzbaren Dienst, indem es Nicht-Mathematikern vorführt, was Mathematiker meinen, wenn sie über Schönheit sprechen.” Aus der Laudatio für den “Steele Prize for Mathematical Exposition” 2018 "Was hier vorliegt ist eine Sammlung von Beweisen, die in das von Paul Erdös immer wieder zitierte BUCH gehören, das vom lieben (?) Gott verwahrt wird und das die perfekten Beweise aller mathematischen Sätze enthält. Manchmal lässt der Herrgott auch einige von uns Sterblichen in das BUCH blicken, und die so resultierenden Geistesblitze erhellen den Mathematikeralltag mit eleganten Argumenten, überraschenden Zusammenhängen und unerwarteten Volten." www.mathematik.de, Mai 2002 "Eine einzigartige Sammlung eleganter mathematischer Beweise nach der Idee von Paul Erdös, verständlich geschrieben von exzellenten Mathematikern. Dieses Buch gibt anregende Lösungen mit Aha-Effekt, auch für Nicht-Mathematiker." www.vismath.de "Ein prächtiges, äußerst sorgfältig und liebevoll gestaltetes Buch! Erdös hatte die Idee DES BUCHES, in dem Gott die perfekten Beweise mathematischer Sätze eingeschrieben hat. Das hier gedruckte Buch will eine "very modest approximation" an dieses BUCH sein.... Das Buch von Aigner und Ziegler ist gelungen ..." Mathematische Semesterberichte, November 1999 "Wer (wie ich) bislang vergeblich versucht hat, einen Blick ins BUCH zu werfen, wird begierig in Aigners und Zieglers BUCH der Beweise schmökern." www.mathematik.de, Mai 2002