Re: What is an algorithm?
From: Nicola <nvitacolonna_at_gmail.com>
Date: Thu, 27 Mar 2014 09:29:10 +0100
Message-ID: <nvitacolonna-717FA2.09290927032014_at_freenews.netfront.net>
Date: Thu, 27 Mar 2014 09:29:10 +0100
Message-ID: <nvitacolonna-717FA2.09290927032014_at_freenews.netfront.net>
In article <76aefd37-be75-4f98-9f55-afed3ddddc9a_at_googlegroups.com>, vldm10 <vldm10_at_yahoo.com> wrote:
> I found on the Web papers that are trying to give a definition of the
> algorithm.
> The papers are from Yuri Gurevich, Microsoft Research. Roughly speaking Y.
> Gurevich is working on the definition of the algorithm. He proved the Church-
> Turing thesis.
It would be more appropriate to say that he provides convincing arguments that the Church-Turing thesis is true. The Church-Turing theory cannot be "proved": it is not a theorem.
Nicola
- news://freenews.netfront.net/ - complaints: news_at_netfront.net ---