Spencer sagte:

Mach eine Unterscheidung, dann hast Du Probleme

Wenn Du Probleme hast, mach noch mehr Unterscheidungen. Erhöhe die Komplexität.

Das Form-Kalkül

Felix erzählte von einer Anwendung, die D. Baecker vorgetragen hat.


Kal|kül [lat.-fr.]
System von Regeln zur schematischen Konstruktion von Figuren (Math.). 2) Mathematik: ein System von Regeln, mit deren Hilfe gewisse mathemat. Probleme systemat. behandelt (›automatisch gelöst‹) werden können. (c) Meyers Lexikonverlag.