Lambda calculus


Get Babylon's Translation Software! Free Download Now!

Ελληνική Βικιπαίδεια – η ελεύθερη εγκυκλοπαίδειαDownload this dictionary

Λογισμός λάμδα
Στη μαθηματική λογική και στην επιστήμη υπολογιστών, λογισμός λάμδα ή λ-λογισμός (αγγλ. lambda calculus ή λ-calculus), είναι ένα τυπικό σύστημα σχεδιασμένο για την διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων. Δημιουργήθηκε από τους Αλόνζο Τσερτς και Στέφεν Κλέινι τη δεκαετία 1930. Ο Τσερτς χρησιμοποίησε το λογισμό λάμδα για να δώσει αρνητική απάντηση στο πρόβλημα απόφασης (Entscheidungsproblem) του Χίλμπερτ. Ο λογισμός λάμδα μπορεί να χρησιμοποιηθεί για να ορίσει τι είναι μια υπολογίσιμη συνάρτηση. Η ερώτηση αν δυο όροι του λογισμού λάμδα είναι ισοδύναμοι (πρόβλημα λέξης, word problem) δεν μπορεί να απαντηθεί με ένα γενικό αλγόριθμο. Αυτό ήταν το πρώτο πρόβλημα, πριν ακόμα το πρόβλημα τερματισμού (halting problem) για το οποίο μπορούσε να αποδειχθεί η μη αποφασισιμότητα.
Δείτε περισσότερα στο Βικιπαίδεια.org...

© Αυτό το άρθρο χρησιμοποιεί υλικό από την Βικιπαίδεια® και είναι χορηγημένο με άδεια από την Άδεια Ελεύθερης Τεκμηρίωσης GNU


Define Lambda calculus

Translate Lambda calculus




Lambda calculus in Chinese | | Lambda calculus in English | Lambda calculus in French | Lambda calculus in Italian | Lambda calculus in Spanish | Lambda calculus in Dutch | Lambda calculus in Portuguese | Lambda calculus in German | Lambda calculus in Russian | Lambda calculus in Japanese | Lambda calculus in Hebrew | Lambda calculus in Croatian | Lambda calculus in Serbian