Le 29-août-07, à 12:48, [EMAIL PROTECTED] a écrit :

> Any scientific theory (including Darwin's) *is* more accurate when
> expressed in mathematical notation.  You *can* draw a clear
> distinction between the language used to express mathematical concepts
> and the concept itself.


> Pure math concepts themselves consist of:
> Formal Systems, Relations and Differential Equations.    They are
> abstract concepts  which are precisely defined

Not necessarily ....

> and it is provable
> matter to determine the equivalence (or not) of different symbolic
> representations of them.

Noooo.....  I hope I will be able to prove this in due time to David, 
but even if you limit yourself to one prrograming language, it is 
provable that you have no general tools to see if two different 
programs compute the same function. At some point this is important to 
Mathematical reality kicks back! (This goes in your direction).



You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 

Reply via email to