The trouble with real numbers (Invited paper)
نویسندگان
چکیده
Comprehensive analytical modeling and simulation of cyber-physical systems is an integral part of the process that brings to life novel designs and products. But the effort needed to go from analytical models to running simulation code can impede or derail this process. Our thesis is that this process is amenable to automation, and that automating it will accelerate the pace of innovation. This paper reviews some basic concepts that we found interesting or thought provoking, and articulates some questions that may help prove or disprove this thesis. While based on ideas drawn from different disciplines outside programming languages, all these observations and questions pertain to how we need to reason and compute with real numbers.
منابع مشابه
Some properties of fuzzy real numbers
In the mathematical analysis, there are some theorems and definitions that established for both real and fuzzy numbers. In this study, we try to prove Bernoulli's inequality in fuzzy real numbers with some of its applications. Also, we prove two other theorems in fuzzy real numbers which are proved before, for real numbers.
متن کاملA matrix method for estimating linear regression coefficients based on fuzzy numbers
In this paper, a new method for estimating the linear regression coefficients approximation is presented based on Z-numbers. In this model, observations are real numbers, regression coefficients and dependent variables (y) have values for Z-numbers. To estimate the coefficients of this model, we first convert the linear regression model based on Z-numbers into two fuzzy linear regression mode...
متن کاملA Grey Transportation Problem in Fuzzy Environment
In classical transport models, it is always assumed that parameters such as the distance from each supply node to each demand node or the cost of transferring goods from one node to another, as well as quantities such as supply and demand are definite and definite amounts. But in real matters, considering these assumptions is not logical. On the other hand, there may be a real problem in mathem...
متن کاملInvited Lecture: Real Numbers and Robustness in Computational Geometry
Robustness issues due to imprecise arithmetic used in place of exact real number computation are a notorious problem in the implementation of geometric algorithms. We briefly address some robustness issues and discuss approaches to resolve them.
متن کاملOn the diameter of the commuting graph of the full matrix ring over the real numbers
In a recent paper C. Miguel proved that the diameter of the commuting graph of the matrix ring $mathrm{M}_n(mathbb{R})$ is equal to $4$ if either $n=3$ or $ngeq5$. But the case $n=4$ remained open, since the diameter could be $4$ or $5$. In this work we close the problem showing that also in this case the diameter is $4$.
متن کامل