Why is 1 + 1 = 2 ?
نویسنده
چکیده
Too often we take the method of decimal addition to be the definition of addition. We clarify this misunderstanding by first giving a definition of addition and then proving that the decimal addition method is both sound and complete with respect to the given definition. By showing the soundness and completeness of decimal addition with respect to the addition of natural numbers, we actually propose a new approach to algorithm correctness. We also discuss the differences between our logic approach and the traditional axiomatic approach.
منابع مشابه
Why and How Is Compassion Necessary to Provide Good Healthcare? Comments From an Academic Physician; Comment on “Why and How Is Compassion Necessary to Provide Good Quality Healthcare?”
This is a short commentary to the editorial issued by Marianna Fotaki, entitled: “Why and how is compassion necessary to provide good quality healthcare.” It introduces the necessity of a more cognitive approach to explore further the determinants of behavior towards compassionate care. It raises questions about the importance of training towards a more patient-care and values driven healthcare...
متن کاملOnly Particles with Spin ≤ 2 Are Mediators for Fundamental Forces: Why?
According to modern physics, the mediators for all the fundamental forces of nature have spin S ≤ 2: photon for electrodynamics (S = 1), gluons for strong interactions (S = 1), bosons for the weak force (S = 1) and gravitons for the gravitational force (S = 2). Why? We show that the demand that the equations of a fundamental field are consistent in the classical limit (when quantum effects are ...
متن کاملGrand Unified Theories
In spite of all the successes of the Standard Model [SM] it is unlikely to be the final theory. It leaves many unanswered questions. Why the local gauge interactions SU(3)C × SU(2)L × U(1)Y and why 3 families of quarks and leptons? Moreover why does one family consist of the states [Q, u, d; L, e] transforming as [(3, 2, 1/3), (3̄, 1,−4/3), (3̄, 1, 2/3); (1, 2,−1), (1, 1, 2)], where Q = (u, d) an...
متن کاملWhy Do HIV-1 and HIV-2 Use Different Pathways to Develop AZT Resistance?
The human immunodeficiency virus type 1 (HIV-1) develops resistance to all available drugs, including the nucleoside analog reverse transcriptase inhibitors (NRTIs) such as AZT. ATP-mediated excision underlies the most common form of HIV-1 resistance to AZT. However, clinical data suggest that when HIV-2 is challenged with AZT, it usually accumulates resistance mutations that cause AZT resistan...
متن کاملDigital Geometry and Mathematical Morphology Lecture
Contents: 1. Introduction 1.1. Why digital geometry? 1.2. Why mathematical morphology? 2. Morphological operations on sets and functions 2.
متن کاملThe Seductive Computer - Why IT Systems Always Fail
Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will change your life to life better. It is the thing that will give you many things around the world and this universe, in the real world and here after. As what will be given by this the seductive computer why it systems always fail, how can you bargain with the thing t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Inf. Sci. Eng.
دوره 18 شماره
صفحات -
تاریخ انتشار 2002