Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- History.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Logic, Symbolic and mathematical --- Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The first of a two volume set showcasing current research in model theory and its connections with number theory, algebraic geometry, real analytic geometry and differential algebra. Each volume contains a series of expository essays and research papers around the subject matter of a Newton Institute Semester on Model Theory and Applications to Algebra and Analysis. The articles convey outstanding new research on topics such as model theory and conjectures around Mordell-Lang; arithmetic of differential equations, and Galois theory of difference equations; model theory and complex analytic geometry; o-minimality; model theory and noncommutative geometry; definable groups of finite dimension; Hilbert's tenth problem; and Hrushovski constructions. With contributions from so many leaders in the field, this book will undoubtedly appeal to all mathematicians with an interest in model theory and its applications, from graduate students to senior researchers and from beginners to experts.

Model theory. --- Algebra. --- Mathematics --- Mathematical analysis --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Has the advent of computers changed the nature of mathematical knowledge? Should it? Is the importance of proof decreasing? Is there an empirical aspect to mathematics after all? To what extent is mathematics socially constructed? Is mathematics the "science of patterns?" Recently emerging questions like these are discussed in this book along with some recent thinking about classical questions. This book of 16 essays, all written specifically for this volume, is the first to explore this range of new developments in a language accessible to mathematicians. Approximately half the essays were written by mathematicians, and consider questions that philosophers are not yet discussing. The other half, written by philosophers of mathematics, summarize the discussion in that community during the last 35 years. In each case, a connection is made (in the article itself, or in its introduction) to issues relevant to the teaching of mathematics.

Mathematics --- Proof theory. --- Logic, Symbolic and mathematical. --- Philosophy.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proof theory --- Formalization (Linguistics) --- Metamathematics --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Metamathematics. --- Proof theory. --- Mathematical Theory