From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!uknet!edcastle!cam Tue Mar 24 09:57:34 EST 1992
Article 4619 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!uknet!edcastle!cam
>From: cam@castle.ed.ac.uk (Chris Malcolm)
Newsgroups: comp.ai.philosophy
Subject: Re: Intelligence and Understanding
Message-ID: <19327@castle.ed.ac.uk>
Date: 19 Mar 92 19:15:17 GMT
References: <1992Mar6.051607.13266@a.cs.okstate.edu> <1992Mar6.171417.15561@ccu.umanitoba.ca> <g89a2582.700815762@alpha.ru.ac.za>
Organization: Edinburgh University
Lines: 19

In article <g89a2582.700815762@alpha.ru.ac.za> g89a2582@alpha.ru.ac.za (Gary Allemann) writes:

>Although computers can solve any problem which can be formalized better
>than humans it is extremely debatible as to wether they can solve problems
>which cannot be easily formalized - eg. natural language recognition - as
>efficiently as humans can. Software - by virtue of being a formal system -
>is not easily nonformalized.

"Let's go have a Chinese meal."

"No, I fancy an Italian."

"Ok, let's toss a coin."

"What, in this deterministic universe!"
-- 
Chris Malcolm    cam@uk.ac.ed.aifh          +44 (0)31 650 3085
Department of Artificial Intelligence,    Edinburgh University
5 Forrest Hill, Edinburgh, EH1 2QL, UK                DoD #205


