On Aug 30, 1:37 am, Bruno Marchal <marc....domain.name.hidden> wrote:
> Le 29-août-07, à 12:48, marc.ged....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 ....
Well OK I take back the part about 'precisely defined'. But it seems
to me that all of mathematics can be classified after three different
categories - that is - there is natural 'three-fold' division of
mathematics. Threeness does seem to be fundamental to onotlogy at the
deepest level doesn't it? ;)
All of math is three things: At the most basic level - *Predicates*.
At a some what higher, more general level of abstractrion -
*Relations* (including categories and functions). Finally at the most
general level, differential equations. Relations could be thought of
as a special case of calculus, predicates in turn as a special case of
relations. BUt the most power (greatest level of generality) seems to
reside in analysis and calculus. Would you agree with this?
Predicates are the intrinsic aspect of math, relations
from....welll... they are...asbtracted relational properties of
predicates. Finally calulus seems the boundaries and limts
(literally! no pun intended) for the math-scape in which predicates
and relations reside.
>
> > 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/
Sorry my mistake. But surely you can compare one specific instance of
a program with another specific instance.
--~--~---------~--~----~------------~-------~--~----~
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 Thu Aug 30 2007 - 06:12:04 PDT