Division by zero
نویسنده
چکیده
For any sufficiently strong theory of arithmetic, the set of Diophantine equations provably unsolvable in the theory is algorithmically undecidable, as a consequence of the MRDP theorem. In contrast, we show decidability of Diophantine equations provably unsolvable in Robinson’s arithmetic Q. The argument hinges on an analysis of a particular class of equations, hitherto unexplored in Diophantine literature. We also axiomatize the universal fragment of Q in the process.
منابع مشابه
Use of nanoscale zero-valent iron to improve the shear strength parameters of gas oil contaminated clay
In recent years, the nanoscale zero-valent iron (NZVI) particles have been used successfully for the degradation of hydrocarboncompounds and remediation of other pollutants. Nevertheless, as far as we know, there is no specific study on the improvement of thegeotechnical properties of contaminated soils with hydrocarbon compounds by NZVI. This study used NZVI particles to remove gasoil in a cla...
متن کاملOn Logical Extension of Algebraic Division
Basic arithmetic is the cornerstone of mathematics and computer sciences. In arithmetic, ‘division by zero’ is an undefined operation and any attempt at extending logic for algebraic division to incorporate division by zero has resulted in paradoxes and fallacies. However, there is no proven theorem or mathematical logic that suggests that, defining logic for division by zero would result in br...
متن کاملDivision by Zero in Common Meadows
Common meadows are fields expanded with a total inverse function. Division by zero produces an additional value denoted with a that propagates through all operations of the meadow signature (this additional value can be interpreted as an error element). We provide a basis theorem for so-called common cancellation meadows of characteristic zero, that is, common meadows of characteristic zero tha...
متن کاملSolutions to the residual and zero-value problems in energy decomposition
This topical note shows how the problems of values equal zero and the residual in energy decomposition can be resolved. The ultimate cause of these problems lies in approximation of integrals and derivatives and illdefined division by zero. Reference to that identifies promising approaches to improve decomposition methods.
متن کاملCorrigendum to "Real-time line detection through an improved hough transform voting scheme" [Pattern Recognition 41 (1) 299-314]
Clarification A vertical line in the original imagewould cause a division by zero operation that is not dealtwithin Algorithm2, line 20 ( / m′ =xu/ √ 1− x2 v in Eq. (14)). In such a case, however, the / m′ is zero, and 2 and (Eq. (13)) are also equal to zero. Thus, in practice, division by zero never actually happens. Acknowledgments: The authors would like to thank Ian (from University of Wate...
متن کاملDividing by Zero - How Bad Is It, Really?
In computable analysis testing a real number for being zero is a fundamental example of a noncomputable task. This causes problems for division: We cannot ensure that the number we want to divide by is not zero. In many cases, any real number would be an acceptable outcome if the divisor is zero but even this cannot be done in a computable way. In this note we investigate the strength of the co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 55 شماره
صفحات -
تاریخ انتشار 2016