Blikle A. Algorithmically definable functions. Internal note IEI-B70-02, 1970. |

Abstract (English) |
The paper deals with the problem of answering the following three questions: 1)what do we mean, or what do we intend in general to mean, when saying that. a given program 7T "computes"' a given function? 2) what kinds of properties are satisfied by the set of all functions computable by means of programs in some programming language L if L belongs to a reasonably large class of programming languages? 3)assuming 1.: is answered, how to prove (or to disprove) that a given program 7T "computes"' a given function f and what kind of programming languages is. required for making these proofs sufficiently easy? | |

Subject |

1) Download Document PDF |

Open access Restricted Private