Μέχρι τις αρχες του 20ου αιώνα οι μαθηματικοί ταύτιζαν τις έννοιες αληθής και αποδείξιμη πρόταση.
Μάλιστα ο Hilbert πρότεινε πρόγραμμα με στόχο να βρεθεί ένα πλήρες και συνεπές σύνολο απο αξιώματα για τα μαθηματικά.
Το 1931 ο Godel απέδειξε πως κάτι τέτοιο είναι αδύνατο.
Στην παρουσίαση θα μιλήσουμε για πρόβλημα της απόφασης, την θέση του Church και για τα θεωρήματα αναποκρισιμότητας και μη πληρότητας.
Η παρουσίαση θα γίνει στην αίθουσα Μ2, την Παρασκευή 17 Φεβρουαρίου, 14:00-15:00.
Η παρουσίαση είναι ανοικτή σε όλους τους φοιτητές.