Dieser zweite Teil der Arbeit fängt mit Kap. II, (C) an. Hier wird zuerst ein allgemeiner Reduktionsprozeß für Kombinationen, worin auch Kombinatoren auftreten, aufgestellt und erklärt, was es heißt, daß ein Ausdruck \(X\) einer Folge \(\mathfrak X\) von Variabeln entspricht; darauf wird die Definition von vier Arten von Äquivalenz gegründet. Es folgen einige Äquivalenzsätze, die in dem Satz 13, \S\ 1, gipfeln, der aussagt, daß ein Kombinator höchstens eine Kombination von \(x_1,\ldots, x_n\) darstellen kann. Danach werden die ``normalen Kombinationen und Folgen definiert. Verf. zeigt, wie die Folgen von lauter Variablen alg Produkte von ``Gruppierungen, ``Umwandlungen und ``Permutationsfolgen darstellbar sind, und beweist dadurch den weiteren Satz, daß jeder normalen Folge mindestens ein Kombinator einer besonderen Form entspricht (Satz 2, \S\ 5). In (D) werden die ``regulären und die normalen Kombinatoren eingeführt. Nach einigen Sätzen über reguläre Kombinatoren verschiedener Formen und über Umformungen von solchen gelingt es dem Verf. zum Schlusse zu zeigen, daß jede normale Kombination von lauter Variablen durch einen normalen Kombinator dargestellt werden kann (Satz 7, \S\ 6). In (E) werden Sätze bewiesen über die ``eigentlichen Kombinatoren, d. h. solche, die Folgen von lauter Variablen entsprechen, und über ``regulierbare Kombinatoren, d. h. solche, welche regulären Kombinatoren gleich sind. Satz 8 in \S\ 1 sagt aus, daß jede Kombination von lauter Variablen von einem Kombinator dargestellt wird. In \S\ 3 gelangt Verf. endlich zu dem Satze, daß \(Y_1 = Y_2\) ist, wenn \(Y_1\) und \(Y_2\) dieselbe Kombination von lauter Variablen darstellen (Satz 5). In \S\ 4 werden einige Sätze über das Verhältnis der Substitutionsprozesse zu den Kombinatoren kurz bewiesen.
This page was built for publication: Grundlagen der kombinatorischen Logik. II.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1828982)
