No description available.

In the presented thesis, we study an application of nonstandard analysis to dynamical systems, in particular to ω-limit set, stability and global attractor. We recall the definition and properties of elementary embedding, in detail ex- plore the introduction of infinitesimals to the real line and study metric spaces using nonstandard methods, in particular continuity and compactness which are closely related to the theory of dynamical systems. Last we attend to dynamical systems and present nonstandard characterizations of some of its properties such as asymptotic compactness and dissipativity and using these characterizations we prove one of the basic results of this theory - existence of a global attractor. 1

This thesis analyzes the solution attempts of Zeno&rsquo / s paradoxes and its related problems in a historical context. The evolution of calculus and its critiques will also be examined regarding the rigor problem in mathematics. As a conclusion a compound method is proposed.

This paper presents new concepts in the use of infinite and infinitesimal numbers in real analysis. theory is based upon the hyperreal number system developed by Abraham Robinson in the 1960's in his invention of "nonstandard analysis". paper begins with a short exposition of the construction of the hyperreal nU1l1ber system and the fundamental results of nonstandard analysis which are used throughout the paper. The new theory which is built upon this foundation organizes the set hyperreal numbers through structures which on an infinite base logarithm. Several new relations are introduced whose properties enable the simplification of calculations involving infinite and infinitesimal The paper explores two areas of application of these results to standard problems in elementary calculus. The first is to the evaluation of limits which assume indeterminate forms. The second is to the determination of convergence of infinite series. Both applications provide methods which greatly reduce the amount of con1putation necessary in many situations. / Master of Science

Smooth manifolds have been always understood intuitively as spaces that are infinitesimally linear at each point, and thus infinitesimally affine when forgetting about the base point. The aim of this thesis is to develop a general theory of infinitesimal models of algebraic theories that provides us with a formalisation of these notions, and which is in accordance with the intuition when applied in the context of Synthetic Differential Geometry. This allows us to study well-known geometric structures and concepts from the viewpoint of infinitesimal geometric algebra. Infinitesimal models of algebraic theories generalise the notion of a model by allowing the operations of the theory to be interpreted as partial operations rather than total operations. The structures specifying the domains of definition are the infinitesimal structures. We study and compare two definitions of infinitesimal models: actions of a clone on infinitesimal structures and models of the infinitesimalisation of an algebraic theory in cartesian logic. The last construction can be extended to first-order theories, which allows us to define infinitesimally euclidean and projective spaces, in principle. As regards the category of infinitesimal models of an algebraic theory in a Grothendieck topos we prove that it is regular and locally presentable. Taking a Grothendieck topos as a base we study lifts of colimits along the forgetful functor with a focus on the properties of the category of infinitesimally affine spaces. We conclude with applications to Synthetic Differential Geometry. Firstly, with the help of syntactic categories we show that the formal dual of every smooth ring is an infinitesimally affine space with respect to an infinitesimal structure based on nil-square infinitesimals. This gives us a good supply of infinitesimally affine spaces in every well-adapted model of Synthetic Differential Geometry. In particular, it shows that every smooth manifold is infinitesimally affine and that every smooth map preserves this structure. In the second application we develop some basic theory of smooth loci and formal manifolds in naive Synthetic Differential Geometry using infinitesimal geometric algebra.

Throughout these last few decades, phenomenology and modern physics have slowly started to approach each other in order to bridge the gap between the subjective and objective. In this thesis I aim to show an approach done with the help of Karen Barad's agential realism; a quantum interpretation enabling us to better understand and analyse our complex world, as well as our perception of it.Taking inspiration from new materialism, phenomenology and physics, I see a need to properly leave discrete dualism behind, in order to be able to describe cultural and material structures as continuous manifolds. Instead of endlessly searching for their binary and changeless parts. / Under de senaste decennierna har fenomenologin och den moderna fysiken sakta men säkert börjat närma sig varandra, för att försöka fylla gapet mellan det subjektiva och det objektiva. I den här uppsatsen vill jag visa på ett av dessa tillvägagångssätt genom att använda mig av Karen Barads agentisk realism; en kvantfysisk tolkning som underlättar vår förståelse och förmåga att analysera en komplex värld, samt vår perception av den.Med inspiration från nymaterialism, fenomenologi och fysik, så ser jag ett behov att lämna en diskret dualism bakom oss, för att istället beskriva kulturella och materialistiska strukturer som en kontinuerlig mångfald. Till skillnad från det ändlösa sökandet efter deras binära och oföränderliga delar.