On nested simple recursion
| Autor: | Ján Komara |
|---|---|
| Rok vydání: | 2011 |
| Předmět: |
Discrete mathematics
Gentzen's consistency proof Double recursion Recursion Logic Left recursion Primitive recursive arithmetic Mutual recursion Algebra Philosophy PA degree TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Primitive recursive function Mathematics |
| Zdroj: | Archive for Mathematical Logic. 50:617-624 |
| ISSN: | 1432-0665 0933-5846 |
| DOI: | 10.1007/s00153-011-0236-9 |
| Popis: | We give a novel proof that primitive recursive functions are closed under nested simple recursion. This new presentation is supplied with a detailed proof which can be easily formalized in small fragments of Peano Arithmetic. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|