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!yeshua.marcam.com!usc!howland.reston.ans.net!EU.net!sun4nl!cs.vu.nl!awphili
From: awphili@cs.vu.nl (Albert Philipsen)
Subject: Re: rereRe: The end of god
Message-ID: <Cy0pLF.87z@cs.vu.nl>
Sender: news@cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
References: <Cxu1yE.2vL@gpu.utcc.utoronto.ca> <383kau$5q2@scapa.cs.ualberta.ca> <Cxzo7E.91v@gpu.utcc.utoronto.ca>
Date: Fri, 21 Oct 1994 10:10:26 GMT
Lines: 21

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?

Albert
-- 
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
