Do we need recursion?
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F20%3A10422937" target="_blank" >RIV/00216208:11210/20:10422937 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Do we need recursion?
Original language description
The operation of primitive recursion, and recursion in a more general sense, is undoubtedly a useful tool. However, we will explain that in two situa- tion where we work with it, namely in the definition of partial recursive functions and in logic when defining the basic syntactic notions, its use can be avoided. We will also explain why one would want to do s
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů