Στις 14 Ιανουαρίου 1978, πέθανε ο Κουρτ Γκέντελ. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα Ο Γκέντελ είναι περισσότερο γνωστός για τα δυο του θεωρήματα μη-πληρότητας, δημοσιευμένα το 1931 όταν ήταν 25 χρονών, Με αυτά αποδεικνύει με απλά λόγια, ότι πάντα σε οποιοδήποτε λογικό οικοδόμημα πάμε να χτίσουμε, πρέπει να πάρουμε κάποιες προτάσεις σαν αξιώματα, δηλαδή αναπόδεικτες, και πάνω εκεί θα θεμελιώσουμε. Αντιστρόφως αν τα αξιώματα αποδεικνύονται εντός του συστήματος, υπάρχουν προτάσεις, οι οποίες δεν μπορούν να αποδεικτούν!
GinTonic.gr - Η ομορφότερη παρέα
0 Σχόλια