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. OK. > 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 notice. Mathematical reality kicks back! (This goes in your direction). Bruno http://iridia.ulb.ac.be/~marchal/ --~--~---------~--~----~------------~-------~--~----~ 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 http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---
