Μαθηματική λογική

• Κύριοι συγγραφείς: Κολέτσος, Γεώργιος, Koletsos, Georgios
• Μορφή: 1
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ; Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism

Η μαθηματική Λογική είναι στενά συνδεδεμένη με τα προγράμματα θεμελίωσης των Μαθηματικών. Το γνωστότερο και συνεκτικότερο από αυτά , το πρόγραμμα του Hilbert, εισήγαγε την έννοια του τυπικού αξιωματικού συστήματος και το ζήτημα της αποκρισιμότητας, δηλαδή τα δύο βασικά θεμέλια των επιστημών της Λογι...