“Zu den bedeutendsten Einsichten der modernen Automatentechnik gehört es, daß sich auch höhere geistige Leistungen durch Maschinen simulieren lassen. Seit es geglückt war, die logischen Denkprozesse zu formalisieren, bestand die prinzipielle Möglichkeit, sie durch geeignete Automaten nachzuvollziehen.” (W. Stegmüller 1969: 607/608, 1983: 728/729)