Re: Programming is the Engineering Discipline of the Science that is Mathematics




"Cimode" <cimode@xxxxxxxxxxx> wrote in message
news:1149576134.051179.262500@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Math is indeed the only the ultimate tool for validating/invalidating
computing theory that's why the application of set theory was
successfull to define RM. But all math is not set theory and set
theory does not answer all questions expressed as a consequence of
application of set theory in RM. The same way math is not the only
area that may help solve computing issues but it is a necessary tool to
validate all hypothesis expressed, whether they originate from
empirical reasonning (math) or a natural observation process. (physics
oriented). I believe that in unknown area that remain to be explored,
ecclectic approaches should be guided and validated by math not
burried by it.

I've once written an assembler rutine for copying the character matrices to
the display memory. Looking at the code, I observed some constants. I
replaced the constants with parameters and experimented with various values.
To my surprise, I discovered that the text was displayed in various
interesting ways (skewed, right to left, top to bottom, etc). Math is really
useful sometimes.


.



Relevant Pages

  • Re: Universal grammar
    ... modern math is thought to be expressible using some sort of set theory, ... all of it has an equality, at least on the set level. ... Also set theory must be secured against paradoxa, ... nothing else than real world logic leaking into mathematics. ...
    (sci.lang)
  • Re: Galileos Paradox and the Project of the Reals
    ... would be easy enough for you to check by looking in a math book. ... A predicate symbol is a SYMBOL. ... A symbol alone has no meaning, ... formula of set theory is equivalent in set theory to a formula in which ...
    (sci.math)
  • Re: Zermelo-Fraenkel Theory Of Sets
    ... > If you have a proof of an inconsistency starting from Cantor's ... > set theory is inconsistent with *your* beliefs, ... it's useless to communicate. ... - the great influence of the idea of settling whole math on a unique ...
    (sci.math)
  • Re: Kuratowski Ordered Pair
    ... Moe insisted about ordered pairs: ... proven in set theory or with a system expressed in set theory? ... Can you do math without axioms? ... We have to differ: ...
    (sci.math)