Schwartz D. G. (1981) Isomorphisms of Spencer-Brown’s law of forms and Varela’s calculus for self-reference. International Journal of General Systems 6(4): 239–255.

Schwartz D. G.
(

1981)

Isomorphisms of Spencer-Brown’s law of forms and Varela’s calculus for self-reference.
International Journal of General Systems 6(4): 239–255.
Exact isomorphisms with formal systems which employ the standard linguistic notations are established for Spencer-Brown’s primary algebra and F. J. Varela’s calculus for self-reference. The primary algebra is “essentially isomorphic” with classical propositional calculus, and the calculus for self-reference translates isomorphically into an axiomatization of S. C. Kleene’s three-valued logic of partial recursion. This correlates Varela’s “autonomy” with “total recursive undecidabilily,” and it suggests the use of Kleene-Varela type systems for discussing “mechanically unknowable” or empirically untestable system properties.

Schwartz D. G. (1981) Isomorphisms of Spencer-Brown’s laws of form and Varela’s calculus for self-reference. International Journal of General Systems 6(4): 239–255.

Schwartz D. G.
(

1981)

Isomorphisms of Spencer-Brown’s laws of form and Varela’s calculus for self-reference.
International Journal of General Systems 6(4): 239–255.
Exact isomorphisms with formal systems which employ the standard linguistic notations are established for Spencer- Brown’s primary algebra and F. J. Varela’s calculus for self-reference. The primary algebra is “essentially isomorphic” with classical propositional calculus, and the calculus for self-reference translates isomorphically into an axiornat- rzauon or S. C. Kleene’s three-valued logic of partial recursion. This correlates Varela’s “autonomy” with “total recursive undecidability,” and it suggests the use of Kleene-Varela type systems for discussing “mechanically unknowable” or empirically untestable system properties.