Als «lambda-calculus» getaggte Fragen

Ich lese gerade über Lambda-Kalkül nach, um "es kennenzulernen". Ich sehe es als alternative Form der Berechnung im Gegensatz zur Turing-Maschine. Es ist eine interessante Art, Dinge mit Funktionen / Reduzierungen zu tun (grob gesagt). Einige Fragen quälen mich jedoch immer wieder: Was ist der Sinn...

Gibt es eine Beziehung zwischen der Turing-Maschine und dem Lambda-Kalkül - oder sind sie zufällig etwa zur selben Zeit

Ich habe drei verwandte Unterfragen, die unten durch Aufzählungszeichen hervorgehoben sind (nein, sie konnten nicht geteilt werden, wenn Sie sich fragen). Andrej Bauer schrieb hier , dass einige Funktionen durch eine Turing-Maschine realisierbar sind, aber nicht durch eine Lambda-Rechnung. Ein...

Gibt es irgendwelche Vorteile bei der Berechnung der zeitlichen Komplexität eines Algorithmus unter Verwendung der Lambda-Berechnung? Oder gibt es ein anderes System für diesen Zweck? Alle Referenzen wäre

In der Einführung und Erläuterung werden P- und NP-Komplexitätsklassen häufig durch Turing-Maschinen gegeben. Eines der Rechenmodelle ist die Lambda-Rechnung. Ich verstehe, dass alle Rechenmodelle gleichwertig sind (und wenn wir irgendetwas in Form von Turing-Maschine einführen können, können wir...

Ich lese gerade " Lambda-Kalkül und Kombinatoren " von Hindley und Seldin. Ich bin kein Experte, habe mich aber immer für Lambda-Kalkül interessiert, weil ich mich mit funktionaler Programmierung befasst habe (angefangen mit Lisp und SICP, und jetzt mit R und Haskell). In " Binary Lambda Calculus...

Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als...

Ich habe gelesen, dass Church anfangs den Kalkül als Teil seines Postulate of Logic- Papiers vorschlug (was eine dichte Lektüre ist). Doch Kleene bewies, dass sein "System" inkonsistent war. Danach extrahierte Church relevante Dinge für seine Arbeit über "effektive Berechenbarkeit" und gab seine...

In einer cartesianischen Closed - Kategorie ( CCC ), gibt es die so genannten exponentiellen Objekte , geschrieben . Wenn ein CCC wird als ein Modell der einfach-typisiert Kalkül , ein exponentielles Objekt wie kennzeichnet die Funktion Raum vom Typ zu Typ . Ein exponentielles Objekt wird durch...

Der CoC soll der Höhepunkt aller drei Dimensionen des Lambda-Würfels sein. Das ist mir überhaupt nicht klar. Ich glaube, ich verstehe die einzelnen Dimensionen, und die Kombination von beiden scheint zu einer relativ einfachen Vereinigung zu führen (vielleicht fehlt mir etwas?). Aber wenn ich mir...

Ich weiß, dass die Komplexität der meisten Varietäten von typisierten Lambda-Kalkülen ohne das Y-Kombinator-Primitiv begrenzt ist, dh es können nur Funktionen mit begrenzter Komplexität ausgedrückt werden, wobei die Grenze größer wird, wenn die Ausdruckskraft des Typensystems zunimmt. Ich erinnere...

Gibt es eine typisierte Lambda-Rechnung, in der die entsprechende Logik unter der Curry-Howard-Korrespondenz konsistent ist und in der es typisierbare Lambda-Ausdrücke für jede berechenbare Funktion gibt? Dies ist zugegebenermaßen eine ungenaue Frage, da eine genaue Definition der "typisierten...

Vor kurzem schlug Dana Scott den stochastischen Lambda-Kalkül vor, einen Versuch, probabilistische Elemente in den (untypisierten) Lambda-Kalkül einzuführen, der auf einer Semantik basiert, die als Graph-Modell bezeichnet wird. Sie finden seine Folien online zum Beispiel hier und seinen Artikel im...

Diese Frage wurde von Computer Science Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Ich interessiere mich für das Konzept der "r-Turing-Vollständigkeit", wie es von Axelsen und Glück (2011) definiert wurde . Ein...

Kann jemand kurz erklären (wenn das möglich ist!) Oder mich auf eine Referenz verweisen, in der die Unterschiede zwischen untypisiertem Lambda-Kalkül und den gebräuchlicheren typisierten Lambda-Kalkülen zusammengefasst sind? Ich suche insbesondere nach Aussagen über ihre Ausdruckskraft,...

Ich weiß, dass es unmöglich ist, die Äquivalenz für einen nicht typisierten Lambda-Kalkül zu bestimmen . Zitat von Barendregt, HP Der Lambda-Kalkül: seine Syntax und Semantik. Nordholland, Amsterdam (1984). :ββ\beta Wenn A und B disjunkt sind, nicht leere Mengen von Lambda-Termen, die unter...

Ich glaube, ich verstehe es nicht, aber Konvertierung erscheint mir als eine β- Konvertierung, die nichts bewirkt, ein Sonderfall der β- Konvertierung, bei der das Ergebnis nur der Begriff in der Lambda-Abstraktion ist, weil nichts zu tun ist. Art einer sinnlosen β-

In einem letzten Thread auf der Agda Mailing - Liste, die Frage nach den tauchte Gesetze auf, in dem Peter Hancock machte zum Nachdenken anregende Bemerkung .ηη\eta Mein Verständnis ist , dass Gesetze kommen mit negativen Typen, dh. Konnektive, deren Einführungsregeln umkehrbar sind. Um für...

In diesem Artikel wird vorgeschlagen , dass es Kombinatoren gibt (die symbolische Berechnungen darstellen), die vom Lambda-Kalkül nicht dargestellt werden können (wenn ich die Dinge richtig

Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...