Zur Synthese künstlicher und natürlicher Sprachen, Fachbücher von Hermine Reichau

In meiner Meinung gibt es keinen wichtigen theoretischen Unterschied zwischen natürlichen Sprachen und den künstlichen Sprachen der Logiker. Wie wäre es, wenn wir nicht unsere Maschinen verstehen müssten, sondern einen Weg fänden, damit sie uns in unserer Sprache verstehen? Montagues Arbeiten zur formalen Semantik von Sprachen legen ein solides, theoretisches Fundament für die Synthese künstlicher Programmiersprachen mit den Grundprinzipien unserer menschlichen, natürlichen Sprache. Das Werkzeug für die Zusammenführung von künstlichen und natürlichen Sprachen ist das Lambda-Kalkül, dessen mächtige Ausdruckskraft äquivalent zur Turing-Berechenbarkeit von Church ist. Neben einer allgemeinen Einführung in die Welt der künstlichen und natürlichen Sprachen auf der Basis des Lambda-Kalküls, geht es in dieser Untersuchung um eine spezielle Eigenheit bei der Verwendung von Indefinitpronomen, deren Struktur bei der Verwendung von Programmiersprachen mit gewöhnlichen Lambda-Reduktionsregeln eigentlich zu einer falschen Auswertung führen müsste. Die Semantik der natürlichen Sprache setzt sich hier jedoch über die Semantik der künstlichen Sprache hinweg und repariert sie.