beginner's questions - fix f

SamuelE.MoeliusIII SamuelE.MoeliusIII
Sat, 3 Jan 1970 07:05:49 -0500

> Function fix is a so-called fixpoint operator. Theory says that you can
> formulate any computable function using only non-recursive definitions
> plus fix.

Could someone point me toward a proof of this?

Furthermore, can any computable function be expressed in this form:

fix u

where u is some non-recursive term?

Sam Moelius