[Universality of] predicate logic

The universality of predicate logic with a single two-argument function follows immediately from the result on page 1156 that it can be used to emulate any two-way multiway system.

[Universality of] predicate logic

The universality of predicate logic with a single two-argument function follows immediately from the result on page 1156 that it can be used to emulate any two-way multiway system.

From Stephen Wolfram: *A New Kind of Science* [citation]