Agreed, if we redefine multiplication and division to mean something else than their common meaning, and also have them operate on objects that are not the common numbers, then many strange things can happen. Just as redefining white as a special shade of black might lead to embarrassing paradoxes. Don"t get me wrong, I know that mathematicians commonly "overload" the basic operators to mean something else than the common sense operations, and they have good natural reasons to do so.
But within the context we are really talking about, i.e. common arithmetic multiplication and division between natural, relative, rational, algebraic, transcendental, real or complex numbers, division by zero is mathematically impossible and even inconceivable. And the same goes for integers and floating-point numbers in CS.
I made the point that a division by 0 is mathematically impossible (Ok, granted, within the framework of the previous paragraph), because I feel this is a much more general and profound statement than just saying that it is not possible with all known programming language, which could be construed to mean that existing languages all have this limitation. This is not a language limitation, this is something which has been proven to be mathematically impossible. In other words, a very bold statement that it not only so, but will forever be so.
Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
Read Where should I post X? if you're not absolutely sure you're posting in the right place.
Please read these before you post! —
Posts may use any of the Perl Monks Approved HTML tags:
- a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, details, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, summary, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
| |
For: |
|
Use: |
| & | | & |
| < | | < |
| > | | > |
| [ | | [ |
| ] | | ] |
Link using PerlMonks shortcuts! What shortcuts can I use for linking?
See Writeup Formatting Tips and other pages linked from there for more info.