Παρουσίαση Ειδικού Θέματος

Παρουσίαση Ειδικού Θέματος

Τίτλος: Η συντακτική αναλογία των Curry και Howard.

Περιγραφή: Στην προσπάθεια να απαλαχθούμε από την αρχή απαλοιφής του τρίτου ενδεχομένου (~P \/ P ) -η οποία έχει ως συνεπαγόμενες, πολλές από τις κλασσικές ταυτολογίες- γεννιέται η Ιντουϊσιονιστική Λογική και ο κονστρουκτιβισμός. Παράλληλα, στην αναζήτηση μιας θεωρίας υπολογισμού, η οποία μέλλει να θεμελιώσει θεωρητικά τους ηλεκτρονικούς υπολογιστές, δημιουργείται ο λ-λογισμός(lambda-calculus).Η συντακτική αναλογία των Curry και Howard, δένει αυτές τις δύο θεωρίες με έναν μη αναμενόμενο τρόπο, και μας δίνει μια νέα οπτική πάνω στις μαθηματικές αποδείξεις και στους αλγορίθμους.