Συστήματα Gentzen

• Main Authors: Koletsos, Georgios, Κολέτσος, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ; Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism

Το σύστημα των ακολουθιακών (sequent) του Gentzen. Προτασιακή και κατηγορηματική εκδοχή. Απόδειξη της πληρότητας και στις δύο εκδοχές. Η έννοια της τομής και το θεώρημα της κανονικοποίησης (Hauptsatz) του Gentzen. Καθορισμός φραγμάτων στην κανονικοποίηση. Μελέτη (και εξαγωγή συμπερασμάτων) των αποδε...