Re: Godel, Turing and Truth

From: Crosby_M (CrosbyM@po1.cpi.bls.gov)
Date: Thu Jan 16 1997 - 10:30:27 MST


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



This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 14:44:00 MST