ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή

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

Εκτεταμένη εισαγωγή ιστορικού και θεματολογικού χαρακτήρα. Θα αναφερθούν τα ερωτήματα, φιλοσοφικά και μαθηματικά, που γέννησαν την επιστήμη της Λογικής, την ανάπτυξή της, κυρίως μετά τον Frege, το φάσμα των θεμάτων με τα οποία ασχολήθηκε καθώς και τη συνάφεια που απέκτησε, αρχικά ως γεννήτρια και αρ...