Re: technical terms overhaul

["Thomas Schmitt" <scdbackup@gmx.net>]

Hi,

i wrote:

> > statements which are neither true nor false.
> > Kurt Goedel. Incompleteness theorem.

Celejar wrote:
> No - Gödel proved that any such (formal) system will contain statements
> such that neither they nor their negations are *provable within the
> system*. These statements are actually "true", using a normal
> definition of truth.

A system which contains this "normal definition of truth" must itself
contain statements which cannot be proven within that system - unless
it is too weird to be written down or too dull for the theory of numbers.

Consider the normal pitfall of philosophy to believe that human mind
and reasoning can cope with everything. I.e. axioms are for cowards.
So what does the free-wheeling philospher think about the truth of the
following statement:

  "This statement itself is false."


Have a nice day :)

Thomas