From mboxrd@z Thu Jan  1 00:00:00 1970
From: cym224@gmail.com (Nemo)
Date: Mon, 27 Mar 2017 17:50:40 -0400
Subject: [TUHS] > I really
In-Reply-To: <20170327124147.7225318C085@mercury.lcs.mit.edu>
References: <20170327124147.7225318C085@mercury.lcs.mit.edu>
Message-ID: <CAJfiPzwvmvz-cwE+v=a4YsAHRNOO3tdp84TmtyC3RtFOFSxnkg@mail.gmail.com>

On 27 March 2017 at 08:41, Noel Chiappa <jnc at mercury.lcs.mit.edu> wrote:
>     > From: Doug McIlroy
>
>     > As Erdos would say of a particularly elegant proof, "It comes from the
>     > Book," i.e. had divine inspiration.
>
> Just to clarify, Erdos felt that a deity (whom he referred to as the 'Supreme
> Facist') was unlikly to exist; his use of such concepts was just a figure of
> speech. 'The Book' was sort of a Platonic Ideal. Nice concept, though!

http://www.springer.com/us/book/9783662442043

N.