Bruno Marchal wrote: > Le 18-août-06, à 17:38, 1Z a écrit : > > > That is an explanation of mind-independence, not of existence. > > The anti-Platonist (e.g. the formalist) can claim that > > the truth of mathematical statments is mind-independent, > > but their existence isn't. > > > "Their" existence ? Mathematical statements needs "chatty" machines.
Mathematics proceded for centuries without any machines at all. > Mathematical truth, a priori doesn't (although "free structures" can > feature some chatty aspects many times). > > Let us make the following convention. When I will say "I believe there > exist a perfect number", it is a shorter expression for, I believe the > proposition "There is a perfect number" is true (satisfied in (N,+,*)) > independently of me, or of any theory of cognition. (A good thing, > giving that a theory of cognition is build *from* digital machine, that > is from number theoretical relations). If AR makes no existential commitments, it cannot lead to the existential conclusion that there is no such thing as matter. > 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 -~----------~----~----~----~------~----~------~--~---
