Robinson A. Non-standard analysis. Princeton University Press, Princeton, NJ, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the above argument is that an infinitesimal has the same properties as a real number (satisfies the same axioms) The notion of infinitesimal can be realized if we require that an infinitesimal is an entity of di#erent nature than a real number as C. Schmieden and D. Laugwitz [7] and A. Robinson [6] have shown. Since an infinitesimal is an entity di#erent than a real number an infinitesimal cannot satisfy the same properties as a real number. We remark that if the infinitesimals satisfy the same properties as the real numbers they are the real numbers in the monadic second order language of ....

....system. We note that Leibniz although mentioned that the laws satisfied the enlarged system of numbers should be the same as the laws satisfied by the real numbers, he mentioned that the introduction of infinitely small and infinitely big entities was not satisfying the Archimedean axiom. In [6] A. Robinson p. 266 267 mentions the possibility that some form of the Archimedean axiom may be true or may fail in a system containing infinitesimals depending on the exact formulation of the Archimedean axiom. In A. Robinson p. 265 J appele grandeurs incomparables dont l une multipliee par ....

[Article contains additional citation context not shown here]

A. Robinson. Non Standard Analysis. Princeton Univ. Press, 1996.

....two physical variables: one variable is negligible relative to the other; their difference is negligible; and both variables are the same size and order of magnitude. Raiman has defined ax ioms for these three operators, and given the FOG system a semantics based on the calculus of infinitesimals [28]. 5 Conclusions Dialogue game protocols have recently been proposed as the basis for interaction between autonomous agents in a number of situations. As these proposals proliferate, potential protocol users will require guidance in selecting protocols for specified tasks and in choosing between ....

A. Robinson. Non-Standard Analysis. North-Holland, Amsterdam, The Netherlands, 1966.

....our setting to include the possibility that our preents and ents (and the soon to be defined almost ents) will have potentials, and possibly even compute beliefs, which are non standard real numbers. For a full treatment of the subject of non standard analysis the interested reader is referred to [15]. We shall exploit the framework developed here also in later chapters. To achieve this generalisation we will introduce a new symbol # to the real numbers and extend the ordered field IR to the ordered field IR( #) consisting of all fractions of power series over IR in #. By the end of this ....

A. Robinson. Non-standard Analysis. North-Holland, Amsterdam, 1966.

....in an infinitesimal yet non null time; in the traditional continuous mathematics terminology a zero time transition actually takes a non null time whose measure is smaller than any finite positive number . We fully formalize this approach within the framework of non standard analysis [Rob61, Rob96], which provides a simple and intuitive notation to formalize infinitesimal calculus. We instantiate our approach with reference to timed Petri nets and to the logic language TRIO which we are using for our research in the field of real time systems [FMM94] We will show, however, that our ....

....the sake of shortness we limit ourselves to the essential aspects of the proposed approach; the skipped details, however, can be easily filled out. 2. A summary of non standard analysis In this section we introduce the main concepts of the modern theory of infinitesimals founded by A. Robinson [Rob61, Rob96], the non standard analysis (NSA in brief) We provide only the minimum background that is needed to explain our application of this theory. The main idea that facilitates practical application of NSA is due to E. Nelson [Nel77] he defined a theory, called Internal Set Theory (IST) which ....

A. Robinson, Non-standard Analysis, Princeton University Press, 1996, 308 p., ISBN 0691 -04490-2.

....in an infinitesimal yet non null time; in the traditional continuous mathematics terminology a zero time transition actually takes a non null time whose measure is smaller than any finite positive number . We fully formalize this approach within the framework of non standard analysis [Rob61, Rob96], which provides a simple and intuitive notation to formalize infinitesimal calculus. We instantiate our approach with reference to timed Petri nets and to the logic language TRIO which we are using for our research in the field of real time systems [FMM94] We will show, however, that our ....

....the sake of shortness we limit ourselves to the essential aspects of the proposed approach; the skipped details, however, can be easily filled out. 2. A summary of non standard analysis In this section we introduce the main concepts of the modern theory of infinitesimals founded by A. Robinson [Rob61, Rob96], the non standard analysis (NSA in brief) We provide only the minimum background that is needed to explain our application of this theory. The main idea that facilitates practical application of NSA is due to E. Nelson [Nel77] he defined a theory, called Internal Set Theory (IST) which ....

A. Robinson, Nonstandard Analysis, Proc. Roy. Acad. Amsterdam, Ser. A. 64, 432-440 (1961)

....two physical variables: one variable is negligible relative to the other; their difference is negligible; and both variables are the same size and order of magnitude. Raiman has defined axioms for these three operators, and given the FOG system a semantics based on the calculus of infinitesimals [25]. Another future task is the development of a mathematical language in which to represent protocols and the development of a denotational semantics for them [12] with the ultimate aim of characterizing equivalent protocols denotationally. Once we achieve a characterization of various notions of ....

A. Robinson. Non-Standard Analysis. North-Holland, Amsterdam, The Netherlands, 1966.

....Future work will address these limitations. 1 Introduction ACL2(r) is a modified version of ACL2 with support for irrational real and complex numbers [5] The logical foundation for ACL2(r) is provided by non standard analysis, initially developed by Robinson and later axiomatized by Nelson [13, 15]. In essence, non standard analysis formalizes the intuitive arguments in calculus that appeal to infinitesimal quantities, giving a rigorous foundation to familiar calculus notions such as infinitely small, infinitely close, and infinitely large. There are several good introductions to ....

A. Robinson. Non-Standard Analysis. Princeton University Press, 1996.

....The overall result is an intuitive, yet rigorous, development of real analysis, and a relatively high degree of proof automation in many cases. 1 Introduction The development of analysis in Isabelle HOL [10] is based on both the reals and the hyperreals of Robinson s Nonstandard Analysis (NSA) [12]. The real numbers, IR, are constructed in the theorem prover using the Dedekind cuts method [5] and then extended to give the hyperreals (denoted by IR ) by means of the ultrapower construction [13, 4] Thus, when working in the hyperreals, IR can be viewed as a proper sub eld of IR , ....

A. Robinson. Non-standard Analysis. North-Holland, 1980.

....level. This and other observations suggest that the Universe of quantum TGD might basically provide a physical representation of number theory allowing also infinite primes. The proposal suggests also a possible generalization of real numbers to a number system akin to hyper reals introduced by Robinson in his non standard calculus [Robinson] providing rigorous mathematical basis for calculus. In fact, some rather natural requirements lead to a unique generalization for the concepts of integer, rational and real. Somewhat surprisingly, infinite integers and reals can be regarded as ....

....that the Universe of quantum TGD might basically provide a physical representation of number theory allowing also infinite primes. The proposal suggests also a possible generalization of real numbers to a number system akin to hyper reals introduced by Robinson in his non standard calculus [Robinson] providing rigorous mathematical basis for calculus. In fact, some rather natural requirements lead to a unique generalization for the concepts of integer, rational and real. Somewhat surprisingly, infinite integers and reals can be regarded as infinite dimensional vector spaces with integer and ....

A. Robinson (1974), Nonstandard Analysis, North-Holland, Amsterdam.

....mathematical scholarship kept these ghosts of departed quantities in the background. Peirce was one of the few mathematical people who advocated infinitesimals in the early part of the twentieth century. The situation did not begin to clear up until the 1970 s when the logician Abraham Robinson [20] published his beautiful work showing how to work with infinitesimals in their full subtlety. Later developments produced different models of numbers that included infinitesimals with less formal machinery than the Robinson theory [20] For example, there are the surreal numbers of John Conway ....

....to clear up until the 1970 s when the logician Abraham Robinson [20] published his beautiful work showing how to work with infinitesimals in their full subtlety. Later developments produced different models of numbers that included infinitesimals with less formal machinery than the Robinson theory [20]. For example, there are the surreal numbers of John Conway [21] the square zero infinitesimals of Lawvere [27] and Bell [22] the sequence infinitesimals of Henle [23] It will help this discussion to consider the concept of infinitesimal in an informal way, and then to compare with what Peirce ....

[Article contains additional citation context not shown here]

A. Robinson, "Non-standard Analysis" (1966), North Holland -- Amsterdam.

....addition we have building and simpli cation of sequences of applications of features. 19 These are actually due to Dedekind as Peano acknowledges (See my Emergence 20 This was rst observed by Skolem, 17] and later the idea was heavily used by Abraham Robinson in his non standard analysis, [15]. 11 6.1 Adding a feature Since features are functors, adding a feature either means adding a new functor to a new category of values or extending the given feature functor. The second is described by the following commutative diagram: S = S yF 1 yF 2 V 1 V 2 where F ....

Robinson, A, Non-standard analysis, Amsterdam, North-Holland Pub. Co., 1966.

....the process (x) 1 0 :a 0 Gammax 0 Gammax be allowed to perform an a action or not If no non observable time step should influence the later behaviour, the extension by time variables seems to be straightforward. Otherwise, a different time domain has to be chosen. The non standard reals [Rob70] might help, but then reasoning becomes more complicated. The extension of Open Timed CCS by time variables is also of interest to get at least the expressive power of timed automata [AD94] ....

A. Robinson. Non-Standard Analysis. Noth-Holland, 1970.

....case, you must be indifferent between e and f. You may certainly be rational and indifferent between e and f, but must any rational decider be such This work suggests the preferences above can be explained by choosing some number ffl, positive but infinitesimally close to zero (as in Robinson s [15]) and assigning a subjective probability of 1 Gammaffl 6 to the dice falling on any of its faces and a probability of ffl 12 to the dice falling on any one of its edges. The numbers 1 Gammaffl 6 and 1 Gammaffl 6 ffl are qualitatively (the term will be formally defined below) ....

....definition of qualitatively larger Clearly, if x is qualitatively larger than y then it must be quantitatively larger: in a sense qualitatively larger means definitely larger. A first idea that may be considered is to use a notion that proved fundamental for nonstandard analysis (the monads of [15], or see [10] the notion of two numbers being infinitely close, and consider that a number x is qualitatively larger than a number y iff x is larger than y and not infinitely close to y, i.e. iff x Gamma y is strictly larger than some positive standard number. At first this idea looks ....

[Article contains additional citation context not shown here]

Abraham Robinson. Non-standard Analysis. North-Holland, Amsterdam, 1966.

.... the first (small) crack in the armour and many others have followed since, e.g. the arbitrariness of axiomatic set theory, Godel s incompleteness theorem, non Euclidean geometry, the Lowenheim Skolem theorem [Sko34] with its resulting difficulties of getting a grip on standard models for the reals [Rob66] or even Peano arithmetic [RN52] Chaitin s Halting Probability [Cha98] etc. Sometimes the cracks came, because the mathematics in question did not come with the eternity smell we would expect from an eternal truth. Sometimes it became clear that the formalism would necessarily leave a choice of ....

Abraham Robinson. Non-Standard Analysis. North-Holland, 1966.

No context found.

Robinson A. Non-standard analysis. Princeton University Press, Princeton, NJ, 1996.

No context found.

Abraham Robinson. Non-standard analysis. North-Holland Pub. Co., 1966.

No context found.

Abraham Robinson. Non-standard analysis. North-Holland Pub. Co., 1966.

No context found.

A. Robinson. Non-Standard Analysis. North-Holland, Amsterdam, 1966.

No context found.

Robinson, A., Non-standard analysis, North-Holland, 1966.

No context found.

A. Robinson, "Non-standard Analysis" (1966), North Holland -- Amsterdam.

No context found.

A. Robinson, Non-Standard Analysis, Princeton University Press, Princeton, NJ, 1996.

No context found.

Robinson, A., (1966), Non-standard analysis, studies in logic and foundation of mathematics. Amsterdam: North Holland.

No context found.

Abraham Robinson. Non-standard Analysis. North-Holland, Amsterdam, 1966.

No context found.

A. Robinson. Non-standard Analysis. Princeton University Press, 1996.

No context found.

Robinson, A., (1966), Non-standard analysis, studies in logic and foundation of mathematics. Amsterdam: North Holland.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC