Download or read book A Lattice of Chapters of Mathematics Interpretations between Theorems written by Jan Mycielski and published by American Mathematical Soc.. This book was released on 1990 with total page 78 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Mathematics Logic and their Philosophies written by Mojtaba Mojtahedi and published by Springer Nature. This book was released on 2021-02-09 with total page 493 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book G del s Disjunction written by Leon Horsten and published by Oxford University Press. This book was released on 2016-09-09 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Feferman on Foundations written by Gerhard Jäger and published by Springer. This book was released on 2018-04-04 with total page 617 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Selberg Trace Formulae and Equidistribution Theorems for Closed Geodesics and Laplace written by Steven Zelditch and published by American Mathematical Soc.. This book was released on 1992 with total page 113 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Logic in Tehran written by Ali Enayat and published by Cambridge University Press. This book was released on 2017-03-30 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Dick de Jongh on Intuitionistic and Provability Logics written by Nick Bezhanishvili and published by Springer Nature. This book was released on with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Axiomization of Passage from Local Structure to Global Object written by Paul Feit and published by American Mathematical Soc.. This book was released on 1993 with total page 121 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Axiomatic Theories of Truth written by Volker Halbach and published by Cambridge University Press. This book was released on 2014-02-27 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Vertex Algebras and Integral Bases for the Enveloping Algebras of Affine Lie Algebras written by Shari A. Prevost and published by American Mathematical Soc.. This book was released on 1992 with total page 113 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Kernel Functions Analytic Torsion and Moduli Spaces written by John David Fay and published by American Mathematical Soc.. This book was released on 1992 with total page 137 pages. Available in PDF, EPUB and Kindle. Book excerpt: This memoir is a study of Ray-Singer analytic torsion for hermitian vector bundles on a compact Riemann surface [italic]C. The torsion is expressed through the trace of a modified resolvent. Thus, one can develop perturbation-curvature formulae for the Green-Szegö kernel and also for the torsion in terms of the Ahlfors-Bers complex structure of the Teichmuller space and Mumford complex structure of the moduli space of stable bundles of degree zero on [italic]C.
Download or read book Neumann Systems for the Algebraic AKNS Problem written by Randolph James Schilling and published by American Mathematical Soc.. This book was released on 1992 with total page 79 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work is concerned with an algebraically completely integrable Hamiltonian system whose solutions may be used to describe the finite gap solutions of the AKNS spectral problem, a first order two-by-two matrix linear system. Trace formulas, constraints, Lax paris, and constants of motion are obtained using Krichever's algebraic inverse spectral transform. Computations are carried out explicityly over the class of spectral problems with square matrix coefficients.
Download or read book Orientation and the Leray Schauder Theory for Fully Nonlinear Elliptic Boundary Value Problems written by Patrick Fitzpatrick and published by American Mathematical Soc.. This book was released on 1993-01-01 with total page 145 pages. Available in PDF, EPUB and Kindle. Book excerpt: The aim of this work is to develop an additive, integer-valued degree theory for the class of quasilinear Fredholm mappings. This class is sufficiently large that, within its framework, one can study general fully nonlinear elliptic boundary value problems. A degree for the whole class of quasilinear Fredholm mappings must necessarily accommodate sign-switching of the degree along admissible homotopies. The authors introduce ''parity'', a homotopy invariant of paths of linear Fredholm operators having invertible endpoints. The parity provides a complete description of the possible changes in sign of the degree and thereby permits use of the degree to prove multiplicity and bifurcation theorems for quasilinear Fredholm mappings. Applications are given to the study of fully nonlinear elliptic boundary value problems.
Download or read book Enright Shelton Theory and Vogan s Problem for Generalized Principal Series written by Brian D. Boe and published by American Mathematical Soc.. This book was released on 1993 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book investigates the composition series of generalized principal series representations induced from a maximal cuspidal parabolic subgroup of a real reductive Lie group. Boe and Collingwood study when such representations are multiplicity-free (Vogan's Problem #3) and the problem of describing their composition factors in closed form. The results obtained are strikingly similar to those of Enright and Shelton for highest weight modules. Connections with two different flag variety decompositions are discussed.
Download or read book G Categories written by Robert Gordon and published by American Mathematical Soc.. This book was released on 1993 with total page 153 pages. Available in PDF, EPUB and Kindle. Book excerpt: A [italic]G-category is a category on which a group [italic]G acts. This work studies the 2-category [italic]G-cat of [italic]G-categories, [italic]G-functors (functors which commute with the action of [italic]G) and [italic]G-natural transformations (natural transformations which commute with the [italic]G-action). There is a particular emphasis on the relationship between a [italic]G-category and its stable subcategory, the largest sub-[italic]G-category on which [italic]G operates trivially. Also contained here are some very general applications of the theory to various additive [italic]G-categories and to [italic]G-topoi.
Download or read book Sum of Even Powers of Real Linear Forms written by Bruce Arie Reznick and published by American Mathematical Soc.. This book was released on 1992 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work initiates a systematic analysis of the representation of real forms of even degree as sums of powers of linear forms and the resulting implications in real algebraic geometry, number theory, combinatorics, functional analysis, and numerical analysis. The proofs utilize elementary techniques from linear algebra, convexity, number theory, and real algebraic geometry and many explicit examples and relevant historical remarks are presented.
Download or read book Semistability of Amalgamated Products and HNN Extensions written by Michael L. Mihalik and published by American Mathematical Soc.. This book was released on 1992 with total page 98 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this work, the authors show that amalgamated products and HNN-extensions of finitely presented semistable at infinity groups are also semistable at infinity. A major step toward determining whether all finitely presented groups are semistable at infinity, this result easily generalizes to finite graphs of groups. The theory of group actions on trees and techniques derived from the proof of Dunwoody's accessibility theorem are key ingredients in this work.
