On Fri, 5 May 2017 17:28:00 -0000 (UTC)
Martin Gregorie  wrote:

> I find this type of system a bit worrying because if you can't make a
> complex algorithm show you how it solved a problem it can be really hard
> to tell whether its answer is valid or to fix bugs.

 There is that - OTOH sometimes the answer is hard to find but easy
to verify and in those cases something that can get there somehow will do
just fine.

--
Steve O'Hara-Smith                          |   Directable Mirror Arrays
C:>WIN                                      | A better way to focus the sun
The computer obeys and wins.                |    licences available see
You lose and Bill collects.                 |    http://www.sohara.org/

--- SoupGate-Win32 v1.05