From owner-freebsd-test@FreeBSD.ORG Tue Nov 18 06:02:56 2003 Return-Path: Delivered-To: freebsd-test@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id D3B3316A4CE for ; Tue, 18 Nov 2003 06:02:56 -0800 (PST) Received: from dire.bris.ac.uk (dire.bris.ac.uk [137.222.10.60]) by mx1.FreeBSD.org (Postfix) with ESMTP id A4EA143F93 for ; Tue, 18 Nov 2003 06:02:55 -0800 (PST) (envelope-from Jan.Grant@bristol.ac.uk) Received: from mail.ilrt.bris.ac.uk by dire.bris.ac.uk with SMTP-PRIV with ESMTP; Tue, 18 Nov 2003 14:02:47 +0000 Received: from cmjg (helo=localhost) by mail.ilrt.bris.ac.uk with local-esmtp (Exim 3.16 #1) id 1AM6Pn-0004H7-00; Tue, 18 Nov 2003 14:01:11 +0000 Date: Tue, 18 Nov 2003 14:01:11 +0000 (GMT) From: Jan Grant X-X-Sender: cmjg@mail.ilrt.bris.ac.uk To: test@freebsd.org Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: Jan Grant cc: st@engarde.ioctl.org Subject: test X-BeenThere: freebsd-test@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Test posting area List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 18 Nov 2003 14:02:57 -0000 -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Theoremhood is positively decidable. It just takes time at least exponential in the length of the proof.