Date: Feb 25, 2013 7:49 PM
Author: Virgil
Subject: Re: Matheology ? 222 Back to the roots
Nam Nguyen wrote:

>

> On 23/02/2013 2:38 PM, Virgil wrote:

> > In article

>

> >

> > In mathematics [...] proofs of existence do

> > not always require that one find an example of the thing claimed to

> > exist.

>

> So, how would one prove the existence of the infinite set of

> counter examples of Goldbach Conjecture,

I am not aware of how one would prove the existence of even one

counterexample to Goldbach without finding one.

Nevertheless, in standard non-WM mathematics, proofs of existence do

not always require that one find an example of the thing claimed to

exist.

--