On Mon, Dec 01, 2003 at 03:19:44AM +0000, [EMAIL PROTECTED] wrote: > On Sun, Nov 30, 2003 at 10:19:28AM -0800, Deryk Barker wrote: > > enough to contain the axioms of arithmetic, then there are statements > > which can be made but not proved within that system. It is possible to > > add further axioms to prove the statements, but then this richer > > axiomatic base will lead to new statements which cannot be proved with > > the richer set of axioms. > > -- > > > so omniscience is just not an option? that's a relief.
It has philosophical implications for people living in a technological society. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
