User loginNavigation 
Primitive 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 20130603 16:52  LtU Forum  previous forum topic  next forum topic  other blogs  2918 reads

Browse archivesActive forum topics 
Recent comments
1 day 4 hours ago
1 day 6 hours ago
2 days 2 hours ago
2 days 9 hours ago
2 days 12 hours ago
2 days 13 hours ago
2 days 15 hours ago
3 days 6 hours ago
3 days 10 hours ago
6 days 18 hours ago