Publication:3155873
From MaRDI portal
zbMath1076.03048MaRDI QIDQ3155873
Publication date: 19 January 2005
00A30: Philosophy of mathematics
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03H15: Nonstandard models of arithmetic
03E10: Ordinal and cardinal numbers
Related Items
A New Computational Methodology Using Infinite and Infinitesimal Numbers, A New Syntax for Diagrammatic Logic: A Generic Figures Approach, Grossone Methodology for Lexicographic Mixed-Integer Linear Programming Problems, Infinite Games on Finite Graphs Using Grossone, A Simulink-Based Infinity Computer Simulator and Some Applications, Metamathematical investigations on the theory of grossone, A classification of one-dimensional cellular automata using infinite computations, Infinite computations and the generic finite, Global solutions to fractional programming problem with ratio of nonconvex functions, Computing the fundamental solutions for equations of electrodynamics, Infinitesimals and infinites in the history of mathematics: a brief survey, An application of grossone to the study of a family of tilings of the hyperbolic plane, The use of grossone in mathematical programming and operations research, Computing sums of conditionally convergent and divergent series using the concept of grossone, Cellular automata using infinite computations, A method of formalizing computer operations for solving nonlinear differential equations, Interpretation of percolation in terms of infinity computations, Usage of infinitesimals in the Menger's sponge model of porosity, Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically, Higher order numerical differentiation on the infinity computer, Infinigons of the hyperbolic plane and grossone, The Olympic medals ranks, lexicographic ordering, and numerical infinities, Fibonacci words, hyperbolic tilings and grossone, Taking the Pirahã seriously, Stochastic algorithms for solving structured low-rank matrix approximation problems, Numerical computations and mathematical modelling with infinite and infinitesimal numbers, The Mathematical Intelligencer flunks the Olympics, A power penalty method for a 2D fractional partial differential linear complementarity problem governing two-asset American option pricing, Planar methods and grossone for the conjugate gradient breakdown in nonlinear programming, Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer, Some paradoxes of infinity revisited, Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells, New algebraic and geometric constructs arising from Fibonacci numbers., Infinite games on finite graphs using grossone, Discrete uniform and binomial distributions with infinite support, A constructive sequence algebra for the calculus of indications, On the topological convergence of multi-rule sequences of sets and fractal patterns, Spherical separation with infinitely far center, Infinite numerical computing applied to Hilbert's, Peano's, and Moore's curves, The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area, Computation of higher order Lie derivatives on the infinity computer, Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology, A new approach to the \(Z\)-transform through infinite computation, The exact measures of the Sierpiński \(d\)-dimensional tetrahedron in connection with a Diophantine nonlinear system, Computation of supertrack functions for Chua's oscillator and for Chua's circuit with memristor, A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic, Non-Archimedean game theory: a numerical approach, A Simulink-based software solution using the infinity computer methodology for higher order differentiation, A mathematical investigation on the invariance problem of some hydraulic indices, Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite, Bracketing the solutions of an ordinary differential equation with uncertain initial conditions, Numerical infinitesimals in a variable metric method for convex nonsmooth optimization, The Sierpinski curve viewed by numerical computations with infinities and infinitesimals, Counting systems and the first Hilbert problem, Lower and upper estimates of the quantity of algebraic numbers, Computations with Grossone-Based Infinities
