Nelson, George C. Department of Mathematics, University of Iowa, Iowa City, Iowa.
- Effective procedure
- Effectively computable function
- Turing machines
- Partial recursive functions
- Church's thesis
- Additional Readings
A function that maps natural numbers to natural numbers and is special in that it must be calculable by using a precisely specified algorithm. The mathematical definitions of partial recursive functions and recursive functions were developed to give a precise mathematical characterization of those functions or operations on the natural numbers which are computable by using effective procedures.
The content above is only an excerpt.
for your institution. Subscribe
To learn more about subscribing to AccessScience, or to request a no-risk trial of this award-winning scientific reference for your institution, fill in your information and a member of our Sales Team will contact you as soon as possible.
to your librarian. Recommend
Let your librarian know about the award-winning gateway to the most trustworthy and accurate scientific information.
AccessScience provides the most accurate and trustworthy scientific information available.
Recognized as an award-winning gateway to scientific knowledge, AccessScience is an amazing online resource that contains high-quality reference material written specifically for students. Contributors include more than 9000 highly qualified scientists and 43 Nobel Prize winners.
MORE THAN 8500 articles and Research Reviews covering all major scientific disciplines and encompassing the McGraw-Hill Encyclopedia of Science & Technology and McGraw-Hill Yearbook of Science & Technology
115,000-PLUS definitions from the McGraw-Hill Dictionary of Scientific and Technical Terms
3000 biographies of notable scientific figures
MORE THAN 19,000 downloadable images and animations illustrating key topics
ENGAGING VIDEOS highlighting the life and work of award-winning scientists
SUGGESTIONS FOR FURTHER STUDY and additional readings to guide students to deeper understanding and research
LINKS TO CITABLE LITERATURE help students expand their knowledge using primary sources of information