A Lattice of Chapters of Mathematics: Interpretations between Theorems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download A Lattice of Chapters of Mathematics: Interpretations between Theorems PDF full book. Access full book title A Lattice of Chapters of Mathematics: Interpretations between Theorems by Jan Mycielski. Download full books in PDF and EPUB format.
Author: Jan Mycielski
Publisher: American Mathematical Soc.
ISBN: 0821824880
Category : First-order logic
Languages : en
Pages : 78
Get Book Here
Book Description
What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these questions is: Theories formalized in first order logic. But this answer has also some undesirable features. One of theme is the dependence of such theories upon the language or the choice of primitive concepts, whereas a slightly deeper view would identify theories interpretable in each other. The purpose of the present memoir is to investigate further, to survey the former work and to point out a number of open problems about local interpretability.
Author: Jan Mycielski
Publisher: American Mathematical Soc.
ISBN: 0821824880
Category : First-order logic
Languages : en
Pages : 78
Get Book Here
Book Description
What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these questions is: Theories formalized in first order logic. But this answer has also some undesirable features. One of theme is the dependence of such theories upon the language or the choice of primitive concepts, whereas a slightly deeper view would identify theories interpretable in each other. The purpose of the present memoir is to investigate further, to survey the former work and to point out a number of open problems about local interpretability.
Author: Mojtaba Mojtahedi
Publisher: Springer Nature
ISBN: 3030536548
Category : Philosophy
Languages : en
Pages : 493
Get Book Here
Book Description
This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.
Author: Leon Horsten
Publisher: Oxford University Press
ISBN: 0191077682
Category : Mathematics
Languages : en
Pages : 288
Get Book Here
Book Description
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Author: Gerhard Jäger
Publisher: Springer
ISBN: 3319633341
Category : Mathematics
Languages : en
Pages : 617
Get Book Here
Book Description
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.
Author: Steven Zelditch
Publisher: American Mathematical Soc.
ISBN: 0821825267
Category : Curves on surfaces
Languages : en
Pages : 113
Get Book Here
Book Description
This work is concerned with a pair of dual asymptotics problems on a finite-area hyperbolic surface. The first problem is to determine the distribution of closed geodesics in the unit tangent bundle. The second problem is to determine the distribution of eigenfunctions (in microlocal sense) in the unit tangent bundle.
Author: Ali Enayat
Publisher: Cambridge University Press
ISBN: 1108670008
Category : Mathematics
Languages : en
Pages :
Get Book Here
Book Description
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-sixth publication in the Lecture Notes in Logic series, contains the proceedings of the 'Workshop and Conference on Logic, Algebra and Arithmetic' held at the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Tehran, Iran in October, 2003. These papers are mostly revised and expanded versions of those that were originally presented at the meeting and address all areas of mathematical logic. The book also includes a short history of mathematical logic in Iran.
Author: Nick Bezhanishvili
Publisher: Springer Nature
ISBN: 3031479211
Category :
Languages : en
Pages : 386
Get Book Here
Book Description
Author: Paul Feit
Publisher: American Mathematical Soc.
ISBN: 0821825461
Category : Categories
Languages : en
Pages : 121
Get Book Here
Book Description
This paper offers a systematic approach to all mathematical theories with local/global behavior. To build objects with local and global aspects, on begins with a category of [script]C of allowed local structures, and somehow derives a category [script]C[superscript]gl of things which are 'locally' in [script]C. Some global objects, such as manifolds or schemes, can be represented as a sheaf of algebras on a topological base space; others, like algebraic spaces, are more technical. These theories share common structure--certain theorems on inverse limits, descent, and dependence on special class of morphism appear in all cases. Yet, classical proofs for universal properties proceed by case-by-case study. Separate examples require distinct arguments.
Author: Volker Halbach
Publisher: Cambridge University Press
ISBN: 1316584232
Category : Philosophy
Languages : en
Pages : 362
Get Book Here
Book Description
At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth.
Author: Shari A. Prevost
Publisher: American Mathematical Soc.
ISBN: 0821825275
Category : Mathematics
Languages : en
Pages : 113
Get Book Here
Book Description
We present a new proof of the identities needed to exhibit an explicit [bold]Z-basis for the universal enveloping algebra associated to an affine Lie algebra. We then use the explicit [bold]Z-bases to extend Borcherds' description, via vertex operator representations, of a [bold]Z-form of the enveloping algebras for the simply-laced affine Lie algebras to the enveloping algebras associated to the unequal root length affine Lie algebras.