🚀 go-pugleaf

In article <56242@dime.cs.umass.edu> yodaiken@chelm.cs.umass.edu (victor yodaiken) writes:
   ...
>In any event, I've never been able to understand the virtue of working 
>within a mathematical model of computation which permits description of
>processes that cannot be carried out, even in principle, by any physical
>computing device. What is it that one intends to learn by application of
>these methods?

If you look at recursion theory, you'll find that it has developed some
rather interesting results about degrees of unsolvability by just such an
approach.

From this work we know, for example, that natural numbers, a mathematical
domain which we often use to model computations, permit the description of
computations that can certainly not be carried out. In fact, in almost
every domain within which we can describe those computations that could be
carried out on a physical computing device, we can also describe processes
which could not. We don't have a choice here, the power to describe the
uncomputable just comes with the language that allows us to describe the
computable.



-- 

/Bill