Istituto di Scienza e Tecnologie dell'Informazione     
Blikle A. Algorithmically definable functions. Internal note IEI-B70-02, 1970.
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?

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional