Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!amdcad!ames!pasteur!helios.ee.lbl.gov!nosc!humu!uhccux!lee
From: lee@uhccux.uhcc.hawaii.edu (Greg Lee)
Newsgroups: comp.ai
Subject: Re: The Ignorant assumption
Message-ID: <2381@uhccux.uhcc.hawaii.edu>
Date: 14 Sep 88 18:50:15 GMT
References: <1411@garth.UUCP>
Organization: University of Hawaii
Lines: 14

From article <1411@garth.UUCP>, by smryan@garth.UUCP (Steven Ryan):
" ...
" Talking about ignorant assumptions, some people were presented axiom-free
" logics as assumption-free method of understanding life, the universe, and
" everything.

No one said that.

" ... We all know (I hope) formal systems are either
" incomplete or inconsistent.

I don't know that.  Can you show this for predicate logic?

		Greg, lee@uhccux.uhcc.hawaii.edu