CPM Report No.: 97-14
By: Bruce Edmonds
Date: January 1997
I argue that the characterisation of reducability as computability is
too weak to be credible. I propose an improved version "intentional
computability" and show that it is indeed a stronger criteria, in
that there may be specifications for which there exist programs but where
there is no systematic way to build such a program from the specification.
This undermines the assumption that just because software life would run
on a computer that it must be reducible to a computer program as the result
of an intentional plan. This, in turn, opens the way to the possiblity
that an intentionally irreducible program might arise (e.g. by evolution).
| Raw | Unix Compressed | Gzipped | Zipped | |
| ir-alife.pdf | ir-alife.pdf.Z | ir-alife.pdf.gz | ir-alife.pdf.zip | |
| A4 PS | ir-alifeA4.ps | ir-alifeA4.ps.Z | ir-alifeA4.ps.gz | ir-alifeA4.ps.zip |
| US PS | ir-alifeUS.ps | ir-alifeUS.ps.Z | ir-alifeUS.ps.gz | ir-alifeUS.ps.zip |
| BE Home | Other CPM Reports | CPM home page |