A Formal Background to Mathematics 2a


Book Description




A Formal Background to Mathematics


Book Description

ยง1 Faced by the questions mentioned in the Preface I was prompted to write this book on the assumption that a typical reader will have certain characteristics. He will presumably be familiar with conventional accounts of certain portions of mathematics and with many so-called mathematical statements, some of which (the theorems) he will know (either because he has himself studied and digested a proof or because he accepts the authority of others) to be true, and others of which he will know (by the same token) to be false. He will nevertheless be conscious of and perturbed by a lack of clarity in his own mind concerning the concepts of proof and truth in mathematics, though he will almost certainly feel that in mathematics these concepts have special meanings broadly similar in outward features to, yet different from, those in everyday life; and also that they are based on criteria different from the experimental ones used in science. He will be aware of statements which are as yet not known to be either true or false (unsolved problems). Quite possibly he will be surprised and dismayed by the possibility that there are statements which are "definite" (in the sense of involving no free variables) and which nevertheless can never (strictly on the basis of an agreed collection of axioms and an agreed concept of proof) be either proved or disproved (refuted).













Mathematical Reviews


Book Description




Abstract Algebra and Famous Impossibilities


Book Description

The famous problems of squaring the circle, doubling the cube and trisecting an angle captured the imagination of both professional and amateur mathematicians for over two thousand years. Despite the enormous effort and ingenious attempts by these men and women, the problems would not yield to purely geometrical methods. It was only the development. of abstract algebra in the nineteenth century which enabled mathematicians to arrive at the surprising conclusion that these constructions are not possible. In this book we develop enough abstract algebra to prove that these constructions are impossible. Our approach introduces all the relevant concepts about fields in a way which is more concrete than usual and which avoids the use of quotient structures (and even of the Euclidean algorithm for finding the greatest common divisor of two polynomials). Having the geometrical questions as a specific goal provides motivation for the introduction of the algebraic concepts and we have found that students respond very favourably. We have used this text to teach second-year students at La Trobe University over a period of many years, each time refining the material in the light of student performance.




Quadratic Algebras, Clifford Algebras, and Arithmetic Witt Groups


Book Description

Quadratic Algebras, Clifford Algebras, and Arithmetic Forms introduces mathematicians to the large and dynamic area of algebras and forms over commutative rings. The book begins very elementary and progresses gradually in its degree of difficulty. Topics include the connection between quadratic algebras, Clifford algebras and quadratic forms, Brauer groups, the matrix theory of Clifford algebras over fields, Witt groups of quadratic and symmetric bilinear forms. Some of the new results included by the author concern the representation of Clifford algebras, the structure of Arf algebra in the free case, connections between the group of isomorphic classes of finitely generated projectives of rank one and arithmetic results about the quadratic Witt group.




A First Course in Discrete Dynamical Systems


Book Description

An introduction to both topics in dynamical systems and mathematical thinking. In particular, the authors emphasize those parts of mathematical analysis necessary for understanding the intricacies of a discrete dynamical system. The organizing principle is the understanding of the parametrized family of functions h(x) = rx(1-x). Readers should have some background in calculus although extensive knowledge of proof-based mathematics is not necessary. Students will learn to understand periodic points, stable sets, bifurcations, symbolic dynamics, and chaos. The book includes rigorous proofs of important concepts in dynamics while remaining accessible to the typical advanced undergraduate.




Topology and Analysis


Book Description

The Motivation. With intensified use of mathematical ideas, the methods and techniques of the various sciences and those for the solution of practical problems demand of the mathematician not only greater readi ness for extra-mathematical applications but also more comprehensive orientations within mathematics. In applications, it is frequently less important to draw the most far-reaching conclusions from a single mathe matical idea than to cover a subject or problem area tentatively by a proper "variety" of mathematical theories. To do this the mathematician must be familiar with the shared as weIl as specific features of differ ent mathematical approaches, and must have experience with their inter connections. The Atiyah-Singer Index Formula, "one of the deepest and hardest results in mathematics", "probably has wider ramifications in topology and analysis than any other single result" (F. Hirzebruch) and offers perhaps a particularly fitting example for such an introduction to "Mathematics": In spi te of i ts difficulty and immensely rich interrela tions, the realm of the Index Formula can be delimited, and thus its ideas and methods can be made accessible to students in their middle * semesters. In fact, the Atiyah-Singer Index Formula has become progressively "easier" and "more transparent" over the years. The discovery of deeper and more comprehensive applications (see Chapter 111. 4) brought with it, not only a vigorous exploration of its methods particularly in the many facetted and always new presentations of the material by M. F.