Questions tagged [recursion]

The tag has no usage guidance.

4 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8
votes
0answers
188 views

What are considered to be the most canonical and important consequences of the recursion theorem?

The recursion theorem in computability states that, for any computable map $f : \mathbb{N} \to \mathbb{N}$ there exists $n \in \mathbb{N}$ such that $\varphi_{f(n)} = \varphi_n$, where $\varphi$ is a ...
2
votes
0answers
782 views

Is there a closed form equation for the back-propagation equation update in Neural Networks?

I was trying to understand if there was a way to express the back-propagation equations from neural networks in a better way as to understand them better. I believe the equations can be written in a ...
2
votes
0answers
140 views

Recursion Schemes for Static Analysis (AST)

In the process of creating an AST analysis framework one of the challenges is creating good reusable functions and to avoid too much boiler-plate code. To that end catamorphisms seem like a good fit, ...
1
vote
0answers
46 views

Omitting parameters in primitive recursive functions

will replacing the usual schema of primitive recursion: $$ f(0,\vec x) = c (\vec x)\\ f(n+1,\vec x) = g(f(n,\vec x), n, \vec x) $$ by the form: $$ f(0,\vec x) = c(\vec x)\\ f(n+1,\vec x) = g(f(n,\vec ...