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: | Leszek Dubiel |
---|---|
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 |
Similar Items
-
Small Universal Bacteria and Plasmid Computing Systems
by: Xun Wang, et al.
Published: (2018-05-01) -
Neutrosophic Computability and Enumeration
by: Ahmet Çevik, et al.
Published: (2018-11-01) -
Normal Functions as a New Way of Defining Computable Functions
by: Leszek Dubiel
Published: (2004-01-01) -
Vers une structure fine des calculabilités
by: Givors, Fabien
Published: (2013) -
Convergence of recursive functions on computers
by: Erivelton Geraldo Nepomuceno
Published: (2014-10-01)