Re: Godel [was Re: qmail Re: freebsd - Re: recommended Virus Scanner?]
On Mon, Dec 01, 2003 at 03:19:44AM +0000, ben_foley@web.de 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.
Reply to: