Συζήτηση:Λογισμός λάμδα

Το λήμμα αυτό περιέχει ανακρίβειες και ψευδείς ισχυρισμούς, και θα επωφελείτο από την επιμέλεια κάποιου ειδικού στο θέμα.— ανυπόγραφο σχόλιο του χρήστη 176.58.171.157 (συζήτηση • συνεισφορά) 13:48, 3 Οκτωβρίου 2012‎.

πρόσθεσα πρότυπο. --Ογκόλιθος (συζήτηση) 14:05, 3 Οκτωβρίου 2012 (UTC)

Ευχαριστώ! Έχω χαωθεί λίγο με τη wikipedia. Παραδόξως και γω το μάθημα του Κολέτσου έχω παρακολουθήσει όπως ο αρχικός αρθρογράφος, όπως φαίνεται. Νομίζω ότι και το προηγούμενο edit μου χρειάζεται σουλούπωμα. Η πρόταση "ένας λ-όρος είναι β-κανονικοποιήσιμος αν και μόνο αν είναι βη-κανονικοποιήσιμος" που τον έχω πετάξει χύμα μέσα στο άρθρο είναι θεώρημα που αναφέρεται στον Krivine, τον οποίον έχω προσθέσει στο τέλος στις Αναφορές. Πιστεύω ότι όλο το άρθρο χρειάζεται ένα κοίταγμα από την αρχή. --Παναγιώτης