Author: Vladimir Kanovei
Publisher: Springer Science & Business Media
ISBN: 366208998X
Category : Mathematics
Languages : en
Pages : 421
Book Description
In the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at stan dard textbooks in different mathematical disciplines, especially those closer to what is referred to as applied mathematics, there is little trace of those developments outside of mathematical logic and model theory. But it seems fair to say that there is a widespread conviction that the principles embodied in the Zermelo - Fraenkel theory with Choice (ZFC) are a correct description of the set theoretic underpinnings of mathematics. In most textbooks of the kind referred to above, there is, of course, no discussion of these matters, and set theory is assumed informally, although more advanced principles like Choice or sometimes Replacement are often mentioned explicitly. This implicitly fixes a point of view of the mathemat ical universe which is at odds with the results in foundations. For example most mathematicians still take it for granted that the real number system is uniquely determined up to isomorphism, which is a correct point of view as long as one does not accept to look at "unnatural" interpretations of the membership relation.
Nonstandard Analysis, Axiomatically
Author: Vladimir Kanovei
Publisher: Springer Science & Business Media
ISBN: 366208998X
Category : Mathematics
Languages : en
Pages : 421
Book Description
In the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at stan dard textbooks in different mathematical disciplines, especially those closer to what is referred to as applied mathematics, there is little trace of those developments outside of mathematical logic and model theory. But it seems fair to say that there is a widespread conviction that the principles embodied in the Zermelo - Fraenkel theory with Choice (ZFC) are a correct description of the set theoretic underpinnings of mathematics. In most textbooks of the kind referred to above, there is, of course, no discussion of these matters, and set theory is assumed informally, although more advanced principles like Choice or sometimes Replacement are often mentioned explicitly. This implicitly fixes a point of view of the mathemat ical universe which is at odds with the results in foundations. For example most mathematicians still take it for granted that the real number system is uniquely determined up to isomorphism, which is a correct point of view as long as one does not accept to look at "unnatural" interpretations of the membership relation.
Publisher: Springer Science & Business Media
ISBN: 366208998X
Category : Mathematics
Languages : en
Pages : 421
Book Description
In the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at stan dard textbooks in different mathematical disciplines, especially those closer to what is referred to as applied mathematics, there is little trace of those developments outside of mathematical logic and model theory. But it seems fair to say that there is a widespread conviction that the principles embodied in the Zermelo - Fraenkel theory with Choice (ZFC) are a correct description of the set theoretic underpinnings of mathematics. In most textbooks of the kind referred to above, there is, of course, no discussion of these matters, and set theory is assumed informally, although more advanced principles like Choice or sometimes Replacement are often mentioned explicitly. This implicitly fixes a point of view of the mathemat ical universe which is at odds with the results in foundations. For example most mathematicians still take it for granted that the real number system is uniquely determined up to isomorphism, which is a correct point of view as long as one does not accept to look at "unnatural" interpretations of the membership relation.
Nonstandard Analysis
Author: Alain Robert
Publisher: Courier Corporation
ISBN: 9780486432793
Category : Mathematics
Languages : en
Pages : 184
Book Description
This concise text is based on the axiomatic internal set theory approach. Theoretical topics include idealization, standardization, and transfer, real numbers and numerical functions, continuity, differentiability, and integration. Applications cover invariant means, approximation of functions, differential equations, more. Exercises, hints, and solutions. "Mathematics teaching at its best." — European Journal of Physics. 1988 edition.
Publisher: Courier Corporation
ISBN: 9780486432793
Category : Mathematics
Languages : en
Pages : 184
Book Description
This concise text is based on the axiomatic internal set theory approach. Theoretical topics include idealization, standardization, and transfer, real numbers and numerical functions, continuity, differentiability, and integration. Applications cover invariant means, approximation of functions, differential equations, more. Exercises, hints, and solutions. "Mathematics teaching at its best." — European Journal of Physics. 1988 edition.
Non-standard Analysis
Author: Abraham Robinson
Publisher: Princeton University Press
ISBN: 1400884225
Category : Mathematics
Languages : en
Pages : 315
Book Description
Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested in non-standard analysis. It treats in rich detail many areas of application, including topology, functions of a real variable, functions of a complex variable, and normed linear spaces, together with problems of boundary layer flow of viscous fluids and rederivations of Saint-Venant's hypothesis concerning the distribution of stresses in an elastic body.
Publisher: Princeton University Press
ISBN: 1400884225
Category : Mathematics
Languages : en
Pages : 315
Book Description
Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested in non-standard analysis. It treats in rich detail many areas of application, including topology, functions of a real variable, functions of a complex variable, and normed linear spaces, together with problems of boundary layer flow of viscous fluids and rederivations of Saint-Venant's hypothesis concerning the distribution of stresses in an elastic body.
A Primer of Infinitesimal Analysis
Author: John L. Bell
Publisher: Cambridge University Press
ISBN: 0521887186
Category : Mathematics
Languages : en
Pages : 7
Book Description
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.
Publisher: Cambridge University Press
ISBN: 0521887186
Category : Mathematics
Languages : en
Pages : 7
Book Description
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.
Real Analysis Through Modern Infinitesimals
Author: Nader Vakil
Publisher: Cambridge University Press
ISBN: 1107002028
Category : Mathematics
Languages : en
Pages : 587
Book Description
A coherent, self-contained treatment of the central topics of real analysis employing modern infinitesimals.
Publisher: Cambridge University Press
ISBN: 1107002028
Category : Mathematics
Languages : en
Pages : 587
Book Description
A coherent, self-contained treatment of the central topics of real analysis employing modern infinitesimals.
How To Measure The Infinite: Mathematics With Infinite And Infinitesimal Numbers
Author: Vieri Benci
Publisher: World Scientific
ISBN: 9813276606
Category : Mathematics
Languages : en
Pages : 346
Book Description
'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The basic principles are presented in an elementary way by using the ordinary language of mathematics; this is to be contrasted with other presentations of nonstandard analysis where technical notions from logic are required since the beginning. Some applications are included and aimed at showing the power of the theory.The book also provides a comprehensive exposition of the Theory of Numerosity, a new way of counting (countable) infinite sets that maintains the ancient Euclid's Principle: 'The whole is larger than its parts'. The book is organized into five parts: Alpha-Calculus, Alpha-Theory, Applications, Foundations, and Numerosity Theory.
Publisher: World Scientific
ISBN: 9813276606
Category : Mathematics
Languages : en
Pages : 346
Book Description
'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.'CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The basic principles are presented in an elementary way by using the ordinary language of mathematics; this is to be contrasted with other presentations of nonstandard analysis where technical notions from logic are required since the beginning. Some applications are included and aimed at showing the power of the theory.The book also provides a comprehensive exposition of the Theory of Numerosity, a new way of counting (countable) infinite sets that maintains the ancient Euclid's Principle: 'The whole is larger than its parts'. The book is organized into five parts: Alpha-Calculus, Alpha-Theory, Applications, Foundations, and Numerosity Theory.
Theory and Applications of Models of Computation
Author: T.V. Gopal
Publisher: Springer
ISBN: 3319559117
Category : Mathematics
Languages : en
Pages : 722
Book Description
This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
Publisher: Springer
ISBN: 3319559117
Category : Mathematics
Languages : en
Pages : 722
Book Description
This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
Nonstandard Analysis
Author: Martin Väth
Publisher: Springer Science & Business Media
ISBN: 3764377739
Category : Mathematics
Languages : en
Pages : 255
Book Description
This book introduces Robinson's nonstandard analysis, an application of model theory in analysis. Unlike some texts, it does not attempt to teach elementary calculus on the basis of nonstandard analysis, but points to some applications in more advanced analysis. The contents proceed from a discussion of the preliminaries to Nonstandard Models; Nonstandard Real Analysis; Enlargements and Saturated Models; Functionals, Generalized Limits, and Additive Measures; and finally Nonstandard Topology and Functional Analysis. No background in model theory is required, although some familiarity with analysis, topology, or functional analysis is useful. This self-contained book can be understood after a basic calculus course.
Publisher: Springer Science & Business Media
ISBN: 3764377739
Category : Mathematics
Languages : en
Pages : 255
Book Description
This book introduces Robinson's nonstandard analysis, an application of model theory in analysis. Unlike some texts, it does not attempt to teach elementary calculus on the basis of nonstandard analysis, but points to some applications in more advanced analysis. The contents proceed from a discussion of the preliminaries to Nonstandard Models; Nonstandard Real Analysis; Enlargements and Saturated Models; Functionals, Generalized Limits, and Additive Measures; and finally Nonstandard Topology and Functional Analysis. No background in model theory is required, although some familiarity with analysis, topology, or functional analysis is useful. This self-contained book can be understood after a basic calculus course.
Toward a Formal Science of Economics
Author: Bernt P. Stigum
Publisher: MIT Press
ISBN: 9780262192842
Category : Business & Economics
Languages : en
Pages : 1068
Book Description
Consumer Law and Practice provides undergraduate students and those studying the LPC with concise yet comprehensive guidance. It is also a useful aid for practitioners (including those advising businesses) and non-lawyers requiring information which can be quickly understood. Using an innovative problem-solving approach to the subject, we focus on situations in which clients may find themselves and explain how the law deals with such situations. "Between the covers is a mine of information clearly and accurately set out ... a valuable tool for non-specialist and specialist alike." The Law Society's Gazette
Publisher: MIT Press
ISBN: 9780262192842
Category : Business & Economics
Languages : en
Pages : 1068
Book Description
Consumer Law and Practice provides undergraduate students and those studying the LPC with concise yet comprehensive guidance. It is also a useful aid for practitioners (including those advising businesses) and non-lawyers requiring information which can be quickly understood. Using an innovative problem-solving approach to the subject, we focus on situations in which clients may find themselves and explain how the law deals with such situations. "Between the covers is a mine of information clearly and accurately set out ... a valuable tool for non-specialist and specialist alike." The Law Society's Gazette
Radically Elementary Probability Theory
Author: Edward Nelson
Publisher: Princeton University Press
ISBN: 9780691084749
Category : Mathematics
Languages : en
Pages : 112
Book Description
Using only the very elementary framework of finite probability spaces, this book treats a number of topics in the modern theory of stochastic processes. This is made possible by using a small amount of Abraham Robinson's nonstandard analysis and not attempting to convert the results into conventional form.
Publisher: Princeton University Press
ISBN: 9780691084749
Category : Mathematics
Languages : en
Pages : 112
Book Description
Using only the very elementary framework of finite probability spaces, this book treats a number of topics in the modern theory of stochastic processes. This is made possible by using a small amount of Abraham Robinson's nonstandard analysis and not attempting to convert the results into conventional form.