From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 4FC23BC6C for ; Thu, 4 Oct 2007 17:02:24 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIKdBEfAXQImh2dsb2JhbACOOAEBCQon X-IronPort-AV: E=Sophos;i="4.21,230,1188770400"; d="scan'208";a="2380501" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 17:02:44 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l94F263P020609 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 4 Oct 2007 17:02:24 +0200 X-IronPort-AV: E=Sophos;i="4.21,230,1188770400"; d="scan'208";a="3754934" Received: from mga11.intel.com ([192.55.52.93]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2007 17:00:48 +0200 Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by fmsmga102.fm.intel.com with ESMTP; 04 Oct 2007 08:00:46 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="4.21,230,1188802800"; d="scan'208";a="335251485" Received: from orsmsx335.jf.intel.com ([10.22.226.40]) by fmsmga001.fm.intel.com with ESMTP; 04 Oct 2007 08:00:40 -0700 Received: from orsmsx419.amr.corp.intel.com ([10.22.226.88]) by orsmsx335.jf.intel.com with Microsoft SMTPSVC(6.0.3790.1830); Thu, 4 Oct 2007 08:00:37 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Unsoundness is essential Date: Thu, 4 Oct 2007 08:00:34 -0700 Message-ID: <509223F0BF55E74FA1247D17207E7A0C01F015AC@orsmsx419.amr.corp.intel.com> In-Reply-To: <1191509355.6518.104.camel@rosella.wigram> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] Unsoundness is essential Thread-Index: AcgGldE2e/dD9z4RR2mFxvxnXhiEgwAALMDg References: <20071003083529.40DA2A99F@Adric.metnet.fnmoc.navy.mil><4703FDEF.7030900@univ-savoie.fr> <1191451810.7218.86.camel@rosella.wigram><1191462724.7542.76.camel@rosella.wigram><47049A6D.6020201@univ-savoie.fr><4704AAA8.9080602@lix.polytechnique.fr> <1191509355.6518.104.camel@rosella.wigram> From: "Harrison, John R" To: X-OriginalArrivalTime: 04 Oct 2007 15:00:37.0492 (UTC) FILETIME=[528DEB40:01C80697] X-Miltered: at discorde with ID 4705006E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; theorems:01 theorems:01 caml-list:01 let:03 logic:04 asp:94 thread:06 john:08 john:08 i'm:09 product:89 might:12 www:84 use:16 inside:18 For those who are really interested in what Goedel's theorems say, or who might enjoy a spirited demolition of various abuses of them inside and outside logic, let me recommend this book by the late Torkel Franzen: http://www.akpeters.com/product.asp?ProdCode=3D2388 Naturally, I'm not implying that anyone on this thread is guilty of inappropriate use of the theorems. John.