Παρουσίαση Ειδικού Θέματος Τίτλος: Η συντακτική αναλογία των Curry και Howard. Περιγραφή: Στην προσπάθεια να απαλαχθούμε από την αρχή απαλοιφής του τρίτου ενδεχομένου (~P \/ P ) -η οποία έχει ως συνεπαγόμενες, πολλές από τις κλασσικές ταυτολογίες- γεννιέται η Ιντουϊσιονιστική Λογική και ο κονστρουκτιβισμός. Παράλληλα, στην αναζήτηση μιας θεωρίας υπολογισμού, η οποία μέλλει να θεμελιώσει […]…
Δημοσιεύτηκε:
30 Μαΐου, 2021