Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!water!watmath!clyde!rutgers!seismo!ll-xn!ames!oliveb!epimass!jbuck From: jbuck@epimass.UUCP Newsgroups: sci.philosophy.tech Subject: Re: Uncertainty in life Message-ID: <1192@epimass.EPI.COM> Date: Tue, 26-May-87 21:47:59 EDT Article-I.D.: epimass.1192 Posted: Tue May 26 21:47:59 1987 Date-Received: Thu, 28-May-87 06:04:50 EDT References: <6762@mimsy.UUCP> <3977@sdcc3.ucsd.EDU> <8135@ut-sally.UUCP> Reply-To: jbuck@epimass.EPI.COM (Joe Buck) Organization: Entropic Processing, Inc., Cupertino, CA Lines: 34 Keywords: Heisenberg certain In article <8135@ut-sally.UUCP> turpin@ut-sally.UUCP (Russell Turpin) writes: >In article <3977@sdcc3.ucsd.EDU>, ma188saa@sdcc3.ucsd.EDU (Steve Bloch) writes: >Godel's *incompleteness* theorems simply say that your >hypothetical logician, if consistent, might come across >unprovable statements. In the first order predicate calculus, for >example, there are fully quantified statements that can neither >be proven or disproven. Such a statement, or its denial, can be >as an axiom to the system, which remains consistent thereby. >Godel is second only to Einstein in having pseudophilosophical >claptrap "based" on his work. Poor Godel. How ironic that your name is Russell! Too bad it's not your last name :-). Actually Einstein isn't even in the running; the other big scientific discovery with philosophical implications is quantum theory; by contrast relativity is only a slight adjustment of Newton. Godel's first incompleteness theorem states that you WILL, not MIGHT, come up with unproveable statements if your axiom system is powerful enough. But his second theorem is more interesting, in that it asserts that a sufficiently powerful system (one that includes Peano arithmetic, for example) can never prove its own consistency. This has far more philosophical consequences than the first. Some people still seem to want to hold on to 19th century clockwork-universe objective (or should I say Objectivist? Better not :-)) viewpoints despite the fact that Heisenburg and Godel blasted these notions quite effectively in the 20s and 30s. You can't know that you're right. You can't observe something without changing it. There is no such thing as an objective observer. C'est la vie. -- - Joe Buck jbuck@epimass.EPI.COM (in the brave new world of domains!) {seismo,ucbvax,sun,decwrl,}!epimass.epi.com!jbuck