Exploring the Difference Between Decidability and Primitive Recursive Functions

Exploring the distinction between decidability and the finiteness of the causal graph, and the significance of primitive recursive functions in ensuring the existence of normal forms within a multi-way system. Combinatorial logic and combinators are utilized to illustrate these concepts.