Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site myrias.UUCP
Path: utzoo!utcsri!ubc-vision!alberta!myrias!mj
From: mj@myrias.UUCP (Michal Jaegermann)
Newsgroups: net.philosophy,net.math
Subject: Re: Sc--nce Attack (self-awareness)
Message-ID: <186@myrias.UUCP>
Date: Sat, 19-Oct-85 12:46:48 EDT
Article-I.D.: myrias.186
Posted: Sat Oct 19 12:46:48 1985
Date-Received: Sat, 19-Oct-85 21:42:11 EDT
References: <45200016@hpfcms.UUCP> <1605@pyuxd.UUCP>
Organization: Myrias Research, Edmonton
Lines: 19
Keywords: Turing machines vs. the mind

I am afraid that a lot confusion comes from a simple mix-up (which took
quite a while for logicians to sort out :-) ). When somebody speaks
about Turing Machines, Goedel Theorem and things of that sort truth and
provability is understood >>within confines of a given FORMAL system<<.
You may always give answer to some "unanswerable" questions if you will
get out and look from "outside" (meta-reasoning). In everyday use of
logic and truth we are mixing freely different meta-levels - which
creates a lot of interesting and often funny paradoxes. Which probably
indicates that formal logic and Turing Machines are only quite simple
MODELS of our reasonig and that a human brain is not a Turing Machine
(this goes far beyond mathematics, so I better stop). If you are finding
"Goedel, Escher, Bach" too wordy and muddy. though funny and inspiring,
and you do not want to wade through monographies on formal mathematical
logic then find a book by R. Smullyan with a name "What is a name of
this book?" to find a lot answers and questions related to the problem.
So how is that book really called?
				     Michal Jaegermann
				     Myrias Research Corporation
				     ....ihnp4!alberta!myrias!mj