Le 29-août-07, à 12:48, marc.geddes.domain.name.hidden 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 everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Wed Aug 29 2007 - 09:37:32 PDT