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.
--