Lambda-Kalkül und Computeralgebra

• Kalkül beschreibt Rechnen mit Ausdrücken mit gebundenen Variablen, diese kommen in CAS vor.
• die Erkenntisse aus dem Kalkül werden in verschiedenen CAS mit verschiedener Konsquenz angewendet (leider).
• Probleme beginnen damit, daß Variablenbindungen schon gar nicht korrekt notiert werden
• ...das ist nur ein getreues Abbild entsprechender Probleme in der Mathematik (solche Fehler heißen dort aber Konventionen)