scientific article; zbMATH DE number 861256

zbMATH Open0843.26012MaRDI QIDQ4870980FDOQ4870980

Authors: Abraham Robinson 

Publication date: 28 March 1996

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4863288
• scientific article; zbMATH DE number 3901082
• scientific article; zbMATH DE number 444623
• scientific article; zbMATH DE number 3855103
• scientific article; zbMATH DE number 2106998
• Nonstandard universe based on internal set theory
• scientific article; zbMATH DE number 46858
• scientific article; zbMATH DE number 3933369
• scientific article; zbMATH DE number 3957495
• scientific article; zbMATH DE number 2123611

zbMATH Keywords

history of analysismodel theorynonstandard analysis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of real functions (26-03) Development of contemporary mathematics (01A65) Nonstandard models in mathematics (03H05) Research exposition (monographs, survey articles) pertaining to real functions (26-02) Nonstandard analysis (26E35)

Cited In (only showing first 100 items - show all)

• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• Taking formalism seriously
• Commuting and noncommuting infinitesimals
• Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
• The hybrid real number system
• Interval arithmetic over finitely many endpoints
• Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite
• Examples of new nonstandard hulls of topological vector spaces
• Mathematics, ideology, and the politics of infinitesimals: mathematical logic and nonstandard analysis in modern China
• Quantum field theory in categorical quantum mechanics
• Numerical infinitesimals in a variable metric method for convex nonsmooth optimization
• Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
• Title not available (Why is that?)
• A functional interpretation for nonstandard arithmetic
• A new approach to the \(Z\)-transform through infinite computation
• Nonstandard analysis
• Title not available (Why is that?)
• Infinite-dimensional categorical quantum mechanics
• Infinite computations and the generic finite
• Asymptotics of families of solutions of nonlinear difference equations
• Dealing with zero-time transitions in axiom systems.
• To be or not to be constructive, that is not the question
• Numerical point of view on calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains
• Interpretation of percolation in terms of infinity computations
• Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
• Strong non-standard completeness for fuzzy logics
• A local stability principle for continuous group homomorphisms in nonstandard setting
• Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications
• PDE and extrafunctions
• L'analyse non standard et la tradition de l'infini
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some paradoxes of infinity revisited
• Remarks on basics of fuzzy sets and fuzzy multisets
• Non-standard semantics of hybrid systems modelers
• Numerical computations and mathematical modelling with infinite and infinitesimal numbers
• Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells
• A representative individual from Arrovian aggregation of parametric individual utilities
• Non-Archimedean game theory: a numerical approach
• A logic of interactive proofs
• A note on special cases derived from Nelson's martingale central limit theorem
• The Olympic medals ranks, lexicographic ordering, and numerical infinities
• Computations with grossone-based infinities
• The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area
• Nonstandard central limit theorems for Markov chains
• New directions for nominalist philosophers of mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abraham Robinson, 1918-1974
• A graded Bayesian coherence notion
• Coalgebras in functional programming and type theory
• A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic
• On a nonstandard Brownian motion and its maximal function
• Bounded energy exchange as an alternative to the third law of thermodynamics
• Are instantaneous velocities real and really instantaneous?: An argument for the affirmative
• On the prime spectrum of the ring of bounded nonstandard complex numbers
• Ergodicity of Markov processes via nonstandard analysis
• On the relation between elementary partial difference equations and partial differential equations
• Towards Quantum Field Theory in Categorical Quantum Mechanics
• Asymptotic solutions of nonlinear difference equations
• Title not available (Why is that?)
• Nonstandard analysis: its creator and place
• Infinitesimals from Leibniz to Robinson. Time to bring them back to school
• Title not available (Why is that?)
• Modular invariant of quantum tori
• Reflections on the Axiomatic Approach to Continuity
• Taking physical infinity seriously
• Curt Schmieden's Non-standard Analysis - A Method of Dissolving the Standard Paradoxes of Analysis*
• Pre‐Robinson approach to the theory of infinitesimals
• Calculus on a non-Archimedean field extension of the real numbers: inverse function theorem, intermediate value theorem and mean value theorem
• Infinitesimal analysis. Part I.
• Discrete sampling theorem to Shannon's sampling theorem using the hyperreal numbers \(^\ast\mathbb{R}\)
• Title not available (Why is that?)
• Некоторые замечания о нестандартных методах анализа. I
• Title not available (Why is that?)
• Comments on Edward Nelson’s “Internal set theory: A new approach to nonstandard analysis”
• RIGOUR AND PROOF
• Stability of Systems of General Functional Equations in the Compact-Open Topology
• Title not available (Why is that?)
• On a sequence formed by iterating a divisor operator.
• Implementing an automatic differentiator in ACL2
• Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting
• On the algebraization of Henkin‐type second‐order logic
• The external fundamental group of an algebraic number field
• Limit-free derivatives
• Utility with fuzzy numbers
• Gaussian elimination for flexible systems of linear inclusions
• Mathematical analysis of functions of a non-Archimedean variable. A specialized mathematical tool for the description of the structural levels of geomedia
• The Geometric Theory of the Fundamental Germ
• A topological approach to infinity in physics and biophysics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Nonstandard Functional Programming Language
• Theory extension in ACL2(r)
• Title not available (Why is that?)
• 50 years of nonstandard analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4870980)