On 13 Sep, 18:12, Bruno Marchal <marc....domain.name.hidden> wrote:
> Marty,
>
> > Could you please clarify to a non-mathematician why the
> > principle of excluded middle is so central to your thesis (hopefully
> > without using acronyms like AUDA, UD etc.).
>
> Without the excluded middle (A or not A), or without classical logic,
> it is harder to prove non constructive result. In theoretical
> artificial intelligence, or in computational learning theory, but also
> in many place in mathematics, it happens that we can prove, when using
> classical logic, the existence of some objects, for example machines
> with some interesting property, and this without being able to exhibit
> them.
What you are proving is only existence in the mathematical sense.
The philosophical quesiton of whether backwards-E should be taken
literally (Platonism) or only metaphorically (formalism) is left
unadresses
by the PEM.
--~--~---------~--~----~------------~-------~--~----~
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 Mon Sep 14 2009 - 10:02:11 PDT