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

From: Cimode <cimode_at_hotmail.com>
Date: 6 Jun 2006 05:04:02 -0700

Yeah. Math usually proceeds as follows: you state without proving them axioms that are reasonnable facts. You then define hypothesis that you try to prove through mathematic sub disciplines symbology and other existing theorems in order to demonstrate the existence and validate new theorems based on the accepted axioms.

You may use math to generate new axioms but you are not forced to. Reasonable observation of nature may be a source of axioms. (nature meant as what is around you). OTOH, you must use math to demonstrate your theorems. Therefore math theory is a necessary passage to validate new computing theories.

x a écrit :

> "Cimode" <cimode_at_hotmail.com> wrote in message
> > 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.
Received on Tue Jun 06 2006 - 14:04:02 CEST

Original text of this message