Author: John L. Bell
Publisher: Cambridge University Press
ISBN: 0521887186
Category : Mathematics
Languages : en
Pages : 7

Get Book Here

Book Description
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.

Author: James M. Henle
Publisher: Courier Corporation
ISBN: 0486151018
Category : Mathematics
Languages : en
Pages : 146

Get Book Here

Book Description
Introducing calculus at the basic level, this text covers hyperreal numbers and hyperreal line, continuous functions, integral and differential calculus, fundamental theorem, infinite sequences and series, infinite polynomials, more. 1979 edition.

Author: F. William Lawvere
Publisher: Cambridge University Press
ISBN: 0521894859
Category : Mathematics
Languages : en
Pages : 409

Get Book Here

Book Description
This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.

Author: Nader Vakil
Publisher: Cambridge University Press
ISBN: 1107002028
Category : Mathematics
Languages : en
Pages : 587

Get Book Here

Book Description
A coherent, self-contained treatment of the central topics of real analysis employing modern infinitesimals.

Author: Stewart Shapiro
Publisher:
ISBN: 0199696527
Category : Logic
Languages : en
Pages : 235

Get Book Here

Book Description
Logical pluralism is the view that different logics are equally appropriate, or equally correct. Logical relativism is a pluralism according to which validity and logical consequence are relative to something. In Varieties of Logic, Stewart Shapiro develops several ways in which one can be a pluralist or relativist about logic. One of these is an extended argument that words and phrases like "valid" and "logical consequence" are polysemous or, perhaps better, are cluster concepts. The notions can be sharpened in various ways. This explains away the "debates" in the literature between inferentialists and advocates of a truth-conditional, model-theoretic approach, and between those who advocate higher-order logic and those who insist that logic is first-order. A significant kind of pluralism flows from an orientation toward mathematics that emerged toward the end of the nineteenth century, and continues to dominate the field today. The theme is that consistency is the only legitimate criterion for a theory. Logical pluralism arises when one considers a number of interesting and important mathematical theories that invoke a non-classical logic, and are rendered inconsistent, and trivial, if classical logic is imposed. So validity is relative to a theory or structure. The perspective raises a host of important questions about meaning. The most significant of these concern the semantic content of logical terminology, words like 'or', 'not', and 'for all', as they occur in rigorous mathematical deduction. Does the intuitionistic 'not', for example, have the same meaning as its classical counterpart? Shapiro examines the major arguments on the issue, on both sides, and finds them all wanting. He then articulates and defends a thesis that the question of meaning-shift is itself context-sensitive and, indeed, interest-relative. He relates the issue to some prominent considerations concerning open texture, vagueness, and verbal disputes. Logic is ubiquitous. Whenever there is deductive reasoning, there is logic. So there are questions about logical pluralism that are analogous to standard questions about global relativism. The most pressing of these concerns foundational studies, wherein one compares theories, sometimes with different logics, and where one figures out what follows from what in a given logic. Shapiro shows that the issues are not problematic, and that is usually easy to keep track of the logic being used and the one mentioned.

Author: Charles Chapman Pugh
Publisher: Springer Science & Business Media
ISBN: 0387216847
Category : Mathematics
Languages : en
Pages : 445

Get Book Here

Book Description
Was plane geometry your favourite math course in high school? Did you like proving theorems? Are you sick of memorising integrals? If so, real analysis could be your cup of tea. In contrast to calculus and elementary algebra, it involves neither formula manipulation nor applications to other fields of science. None. It is Pure Mathematics, and it is sure to appeal to the budding pure mathematician. In this new introduction to undergraduate real analysis the author takes a different approach from past studies of the subject, by stressing the importance of pictures in mathematics and hard problems. The exposition is informal and relaxed, with many helpful asides, examples and occasional comments from mathematicians like Dieudonne, Littlewood and Osserman. The author has taught the subject many times over the last 35 years at Berkeley and this book is based on the honours version of this course. The book contains an excellent selection of more than 500 exercises.

Author: Henry C. Foley
Publisher: Academic Press
ISBN: 0128200529
Category : Technology & Engineering
Languages : en
Pages : 954

Get Book Here

Book Description
Introduction to Chemical Engineering Analysis Using Mathematica, Second Edition reviews the processes and designs used to manufacture, use, and dispose of chemical products using Mathematica, one of the most powerful mathematical software tools available for symbolic, numerical, and graphical computing. Analysis and computation are explained simultaneously. The book covers the core concepts of chemical engineering, ranging from the conservation of mass and energy to chemical kinetics. The text also shows how to use the latest version of Mathematica, from the basics of writing a few lines of code through developing entire analysis programs. This second edition has been fully revised and updated, and includes analyses of the conservation of energy, whereas the first edition focused on the conservation of mass and ordinary differential equations. - Offers a fully revised and updated new edition, extended with conservation of energy - Covers a large number of topics in chemical engineering analysis, particularly for applications to reaction systems - Includes many detailed examples - Contains updated and new worked problems at the end of the book - Written by a prominent scientist in the field

Author: Moshe Machover
Publisher: Cambridge University Press
ISBN: 9780521479981
Category : Mathematics
Languages : en
Pages : 304

Get Book Here

Book Description
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.

Author: John L. Bell
Publisher: Springer Nature
ISBN: 3030187071
Category : Mathematics
Languages : en
Pages : 320

Get Book Here

Book Description
This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal.

Author: Salih N. Neftci
Publisher: Academic Press
ISBN: 0125153929
Category : Business & Economics
Languages : en
Pages : 550

Get Book Here

Book Description
A step-by-step explanation of the mathematical models used to price derivatives. For this second edition, Salih Neftci has expanded one chapter, added six new ones, and inserted chapter-concluding exercises. He does not assume that the reader has a thorough mathematical background. His explanations of financial calculus seek to be simple and perceptive.