User loginNavigation |
archivesPrimitive recursive functions and fixpointsIn order to get a mathematical definition of recursive functions one needs fixpoints. The following article describes how a certain class of recursive functions can be described via a functional whose fixpoint defines mathematically the recursive function. Furthermore it is shown that this class of recursive functions are defined via a unique fixpoints (i.e. the corresponding functional has only one fixpoint). The article is based on the previous articles Complete lattices and closure systems, Functions and complete partial orders and Closures and fixpoints. By hbrandl at 2013-06-03 16:52 | LtU Forum | login or register to post comments | other blogs | 3905 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 5 days ago
1 week 5 days ago
1 week 5 days ago
23 weeks 6 days ago
28 weeks 1 day ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 3 days ago
37 weeks 21 hours ago
37 weeks 22 hours ago