Date: Tue, 18 Nov 2003 14:01:11 +0000 (GMT) From: Jan Grant <Jan.Grant@bristol.ac.uk> To: test@freebsd.org Cc: st@engarde.ioctl.org Subject: test Message-ID: <Pine.GSO.4.58.0311181400520.17925@mail.ilrt.bris.ac.uk>
next in thread | raw e-mail | index | archive | help
-- 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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.GSO.4.58.0311181400520.17925>