Elements of concrete algorithmics: computability and solvability

• Date: 2020
• Main Authors: Provotar, O.I., Provotar, O.O.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2020
• Subjects: Church thesis; solvability; universal function; UDC 681.3
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/411
• Journal Title: Problems in programming

An approach to proving the fundamental results of the theory of recursive functions using specific algorithms is consider. For this, the basic constructions of the algorithm are describing exactly and Church's thesis for more narrow classes of algorithmically computational functions is specifie...