Date: Feb 25, 2013 7:49 PM
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