Newsgroups: comp.ai.philosophy,talk.philosophy.misc,talk.religion.newage,alt.atheism,alt.pagan,alt.consciousness,alt.paranormal.channeling,alt.consciousness.mysticism
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.duke.edu!convex!cs.utexas.edu!utnut!utgpu!pindor
From: pindor@gpu.utcc.utoronto.ca (Andrzej Pindor)
Subject: Re: rereRe: The end of god
Message-ID: <Cy6t8n.I7I@gpu.utcc.utoronto.ca>
Organization: UTCC Public Access
References: <Cxu1yE.2vL@gpu.utcc.utoronto.ca> <383kau$5q2@scapa.cs.ualberta.ca> <Cxzo7E.91v@gpu.utcc.utoronto.ca> <Cy0pLF.87z@cs.vu.nl>
Date: Mon, 24 Oct 1994 17:14:47 GMT
Lines: 33

In article <Cy0pLF.87z@cs.vu.nl>, Albert Philipsen <awphili@cs.vu.nl> wrote:
>In article <Cxzo7E.91v@gpu.utcc.utoronto.ca> pindor@gpu.utcc.utoronto.ca
>(Andrzej Pindor) writes:
>
>>Your example just illustrates the Goedel theorem.  The point I was trying to 
>>make was that to know something 'for sure' we also use mathematics, even
>>if applied to a system external to the one in which this something is true.
>>Short of divine inspiration, what we hold to be true in science is arrived at
>>by logical reasoning at some level. We may propose various conjectures and
>>even have a deep, unfaltering belief that such a conjecture is true, it only
>>becomes a scientific truth if proven using logic. Penrose seems to suggest
>>that there are some scientific (mathematical) truths which logic cannot prove.
>>I have yet to hear an example. Yours does not cut it.
>
>How about the scientific (mathematical) truth that there are some scientific
>(mathematical) truths which logic cannot prove?
>
Isn't it what Goedel proved?

>Albert

Andrzej
>-- 
>Albert W. Philipsen             | "I am always thinking of your convenience,
>Vrije Universiteit Amsterdam    |  at least when I am not concerned with
>Artificial Intelligence Group   |  your education." -- Seth


-- 
Andrzej Pindor                        The foolish reject what they see and 
University of Toronto                 not what they think; the wise reject
Instructional and Research Computing  what they think and not what they see.
pindor@gpu.utcc.utoronto.ca                           Huang Po
