Normal Functions As A New Way Of Defining Computable Functions
Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way. Discovery of Ackermann function proved that not all functions that can be easily computed can be so easily described with Hilbe...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
AGH University of Science and Technology Press
2004-01-01
|
Series: | Computer Science |
Subjects: | |
Online Access: | http://journals.agh.edu.pl/csci/article/download/493/374 |