Re: Godel, Turing and Truth

Crosby_M (CrosbyM@po1.cpi.bls.gov)
Thu, 16 Jan 1997 12:30:27 -0500


John K Clark wrote:
<I don't understand when you say 'Godel does not really have any
implications about the limits of human knowledge".>

Lee Daniel Crocker responded:
<Godel's result is simply a fact about the way we manipulate symbols.
It has no bearing whatsoever upon reality or our ability to perceive
it.>

But, we perceive, at least at the rational rather than reflexive
level, primarily through our languages and their symbols. While
Godel's result may only be proven for Number Theory, it seems to me
that it probably also applies to any finitely-axiomized formalism
(though not necessarily to natural languages).

Mark Crosby