Diskussion:Lambda-Kalkül
aus Wikipedia, der freien Enzyklopädie
Ich habe den Artikel erweitert und schlage vor, ihn von Lambda-Notation nach Lambda-Kalkül zu verschieben. Die gesamte Begrifflichkeit gehört in den Zusammenhang der Berechenbarkeitstheorie, und dort ist der Begriff Lambda-Kalkül der gebräuchlichere.
--Mussklprozz 22:58, 4. Mär 2004 (CET)
Denglish: Sollte es statt getypt und ungetypt nicht typisiert und untypisiert heißen?
- Sehen leo und ich auch so. --Marc van Woerkom 12:30, 19. Feb 2006 (CET)
Die Definition der gebundenen Variablen als Mengendifferenz zwischen vorkommenden und freien Variablen eines Lambda-Terms ist doch quatsch, oder? Weil ja dann, wenn eine Variable sowohl frei, als auch gebunden vorkommt, sie automatisch nur noch in FV ist... --Syon 00:10, 9. Jun 2006 (CEST)
stimmt - gut, dass du das anmerkst!!! die Menge der gebundenen Variablen B(T) muss auch induktiv berechnet werden!!!
B(v) = {}
B((e e')) = (B e) U (B e')
B(\v.e) = (B e) U v
[Bearbeiten] Weitere Beispiele
Habe unter "Weitere Beispiele" die Herleitung der Resultate für wahr und falsch eingefügt. Vielleicht kann sie noch jemand auf Korrektheit überprüfen. --Chiccodoro 13:38, 23. Jun 2006 (CEST)
[Bearbeiten] Unverständlich
Nichts gegen die mathematischen und vielleicht nur für Mathematiker verständlichen Erläuterungen. Zusätzlich eine Beschreibung, die allgemeinverständlich ist, wäre super. --Arcy 10:57, 16. Mär. 2007 (CET)
