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://www.csci.agh.edu.pl/51/1/cs2004%2D01.pdf |
| id |
doaj-f962925e79044e8e993fee2f04ab7f8d |
|---|---|
| record_format |
Article |
| spelling |
doaj-f962925e79044e8e993fee2f04ab7f8d2020-11-24T21:00:17ZengAGH University of Science and Technology PressComputer Science1508-28062004-01-0161728Normal Functions as a New Way of Defining Computable FunctionsLeszek DubielReport 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 Hilbert's system of recursive functions. Normal functions lack this disadvantage. http://www.csci.agh.edu.pl/51/1/cs2004%2D01.pdfTheoretical aspects of computer science |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Leszek Dubiel |
| spellingShingle |
Leszek Dubiel Normal Functions as a New Way of Defining Computable Functions Computer Science Theoretical aspects of computer science |
| author_facet |
Leszek Dubiel |
| author_sort |
Leszek Dubiel |
| title |
Normal Functions as a New Way of Defining Computable Functions |
| title_short |
Normal Functions as a New Way of Defining Computable Functions |
| title_full |
Normal Functions as a New Way of Defining Computable Functions |
| title_fullStr |
Normal Functions as a New Way of Defining Computable Functions |
| title_full_unstemmed |
Normal Functions as a New Way of Defining Computable Functions |
| title_sort |
normal functions as a new way of defining computable functions |
| publisher |
AGH University of Science and Technology Press |
| series |
Computer Science |
| issn |
1508-2806 |
| publishDate |
2004-01-01 |
| description |
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 Hilbert's system of recursive functions. Normal functions lack this disadvantage. |
| topic |
Theoretical aspects of computer science |
| url |
http://www.csci.agh.edu.pl/51/1/cs2004%2D01.pdf |
| work_keys_str_mv |
AT leszekdubiel normalfunctionsasanewwayofdefiningcomputablefunctions |
| _version_ |
1716780283691270144 |