Newsgroups: comp.ai.philosophy,talk.philosophy.misc,talk.religion.newage,alt.atheism,alt.pagan,alt.consciousness,alt.paranormal.channeling,alt.consciousness.mysticism
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!europa.eng.gtefsd.com!howland.reston.ans.net!pipex!lyra.csx.cam.ac.uk!sunsite.doc.ic.ac.uk!dcs.gla.ac.uk!unix.brighton.ac.uk!mjs14
From: mjs14@unix.brighton.ac.uk (shute)
Subject: Re: rereRe: The end of god
Message-ID: <1994Nov3.155654.10452@unix.brighton.ac.uk>
Organization: University of Brighton, UK
References: <Cy72p4.B1r@gpu.utcc.utoronto.ca> <1994Oct25.052916.3600@gov.nt.ca> <jqbCyo27J.1vr@netcom.com>
Date: Thu, 3 Nov 1994 15:56:54 GMT
Lines: 14

In article <jqbCyo27J.1vr@netcom.com> jqb@netcom.com (Jim Balter) writes:
>AI programs running on computers, being based upon axiomatic systems, either
>cannot prove that their operational axioms are consistent or, if they can, are
>mistaken.

Aha!  Thanks!  The penny's just dropped!
This Goedel thing appears to be not a million miles away from the problem
encountered in self-testing fault tolerant multiprocessor computer systems.
You can get each processor to test itself, but can you rely on faulty
processors being able to diagnose themselves as being faulty?
-- 

Malcolm SHUTE.         (The AM Mollusc:   v_@_ )        Disclaimer: all

