Is mathematics a highly sophisticated intellectual game in which the adepts display their skill by tackling invented problems, or are mathematicians engaged in acts of discovery as they explore an independent realm of mathematical reality? Why does this seemingly abstract discipline provide the key to unlocking the deep secrets of the physical universe? How one answers these questions will significantly influence metaphysical thinking about reality. This book is intended to fill a gap between popular 'wonders of mathematics' books and the technical writings of the philosophers of mathematics. The chapters are written by some of the world's finest mathematicians, mathematical physicists and philosophers of mathematics, each giving their perspective on this fascinating debate. Every chapter is followed by a short response from another member of the author team, reinforcing the main theme and raising further questions. Accessible to anyone interested in what mathematics really means, and useful for mathematicians and philosophers of science at all levels, Meaning in Mathematics offers deep new insights into a subject many people take for granted.

Major survey offers comprehensive, coherent discussions of analytic geometry, algebra, differential equations, calculus of variations, functions of a complex variable, prime numbers, linear and non-Euclidean geometry, topology, functional analysis, more. 1963 edition.

This book records my efforts over the past four years to capture in words a description of the form and function of Mathematics, as a background for the Philosophy of Mathematics. My efforts have been encouraged by lec tures that I have given at Heidelberg under the auspices of the Alexander von Humboldt Stiftung, at the University of Chicago, and at the University of Minnesota, the latter under the auspices of the Institute for Mathematics and Its Applications. Jean Benabou has carefully read the entire manuscript and has offered incisive comments. George Glauberman, Car los Kenig, Christopher Mulvey, R. Narasimhan, and Dieter Puppe have provided similar comments on chosen chapters. Fred Linton has pointed out places requiring a more exact choice of wording. Many conversations with George Mackey have given me important insights on the nature of Mathematics. I have had similar help from Alfred Aeppli, John Gray, Jay Goldman, Peter Johnstone, Bill Lawvere, and Roger Lyndon. Over the years, I have profited from discussions of general issues with my colleagues Felix Browder and Melvin Rothenberg. Ideas from Tammo Tom Dieck, Albrecht Dold, Richard Lashof, and Ib Madsen have assisted in my study of geometry. Jerry Bona and B.L. Foster have helped with my examina tion of mechanics. My observations about logic have been subject to con structive scrutiny by Gert Miiller, Marian Boykan Pour-El, Ted Slaman, R. Voreadou, Volker Weispfennig, and Hugh Woodin.

Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.

A world-famous mathematician explores Moore's theory of experiments, Kleene's theory of regular events and expressions, differential calculus of events, the factor matrix, theory of operators, much more. Solutions. 1971 edition.

Available again from the MIT Press.