On 21 Oct 2017, at 15:58, John Clark wrote:
On Sat, Oct 21, 2017 at 12:33 AM, Brent Meeker
<meeke...@verizon.net> wrote:
> The problem is that, like most real problems, improving
computer code has no simple one-dimensional measure of "better". Go
games are won or lost.
A computer program that does the same thing as another but is
smaller and executes faster is objectively better; and although
there is no guarantee small fast programs usually have fewer bugs
than large slow programs, and the bugs they do have are easier to
find and fix.
Very little one then. We cannot algorithmically bound the complexity
of debugging. In learning theory, accepting errors and change of minds
leads to non computable amount of enlargement of classes of
recognizable phenomena. We say that a number/machine m recognize i
relatively to u if phi_m output i or j eventually when presented with
an initial segment of phi_i.
And if you complain that speed size and robustness are 3 dimensions
not one then try making the most money. That's the great thing about
the Free Market, one dimension rules them all.
If only the free market existed. But it has disappeared since the
prohibition law. Hemp has been made illegal to transform decaying
living matter into gold, with a big price though.
Bruno
John K Clark
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
