Re: Godel [was Re: qmail Re: freebsd - Re: recommended Virus Scanner?]
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.
ben
Reply to: