On 13 Sep, 18:12, Bruno Marchal <marc...@ulb.ac.be> 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
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@googlegroups.com
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to