Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Sat, 10 Apr 1993 00:46:33 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA11222; Fri, 9 Apr 93 16:30:21 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from tuminfo2.informatik.tu-muenchen.de by ted.cs.uidaho.edu (16.6/1.34) id AA11217; Fri, 9 Apr 93 16:30:02 -0700 Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) by tuminfo2.informatik.tu-muenchen.de with SMTP id <57683>; Sat, 10 Apr 1993 01:29:38 +0200 Received: by sunbroy14.informatik.tu-muenchen.de id <8067>; Sat, 10 Apr 1993 01:29:25 +0200 From: Konrad Slind To: info-hol@edu.uidaho.cs.ted In-Reply-To: chou@cs.ucla.edu's message of Fri, 9 Apr 1993 09:05:58 +0200 <9304090706.AA18722@maui.cs.ucla.edu> Subject: How should HOL be pronounced? Message-Id: <93Apr10.012925met_dst.8067@sunbroy14.informatik.tu-muenchen.de> Date: Sat, 10 Apr 1993 01:29:19 +0200 > I'm writing a paper entitled "An HOL theory of ..." and so begin > wondering how "HOL" should be pronounced. Surely direct pronounciation is too harsh. One merely speaks of "The logic". In suitably hushed and supplicatory tones of course. I suggest starting your paper with "Thanks be to the logic for allowing us to formalize our simpleminded notions. We are unworthy." Cheers, Konrad.