LAWS OF FORM AND FINITE AUTOMATA
Peter D. Turney · International Journal of General Systems · 1986
G. Spencer Brown's book Laws of Form informally presents three distinct logical systems. The third system is interpreted here through Alonzo Church's restricted recursive arithmetic. Restricted recursive arithmetic was introduced by Church in 1955 as the first formal system capturing finite automata. It is suggested that this interpretation is closer to Spencer Brown's original ideas than the interpretation with three-valued logic given by Francisco Varela.