Date: Feb 24, 2013 6:05 AM
Subject: Re: Matheology § 222 Back to the roots
On 23 Feb., 23:19, Nam Nguyen <namducngu...@shaw.ca> wrote:
> On 23/02/2013 2:58 PM, WM wrote:
> > On 23 Feb., 22:48, Nam Nguyen <namducngu...@shaw.ca> wrote:
> >> On 23/02/2013 2:38 PM, Virgil wrote:
> >>> In article
> >>> <f3b2ce4b-c9ec-447f-92b4-47a07a2e2...@5g2000yqz.googlegroups.com>,
> >>> WM <mueck...@rz.fh-augsburg.de> wrote:
> >>> 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, given that it does not
> >> "not [...] require that one find an example" of such existences?
> > It there was a logical necessity of a counter example, this necessity
> > was the proof.
> Would you be able to verify what _exactly_ you'd mean by
> "logical necessity" of the existence of a counter example
> of the Conjecture?
I am not interested in that conjecture.
In my case we have the sequence
in potential infinity, i.e., we cannot use "all" terms but can only go
up to the nth term. There is a logical necessity that the unchanged
diagonal of the list is a term of the sequence, i.e., a line of the