Ο ιδιοφυής μαθηματικός Κουρτ Γκέντελ απέδειξε ότι οι δυνατότητες που έχει η ανθρώπινη νόηση είναι πεπερασμένη. Υπάρχει ένα όριο σε αυτά που μπορούμε να αποδείξουμε ότι είναι λογικά και εμπειρικά σωστά. Και το κυριότερο, αν μια πρόταση ή ένα πρόβλημα δεν μπορούμε να το αποδείξουμε, αυτό δεν σημαίνει κατ’ ανάγκη ότι δεν υπάρχει λύση, αλλά ότι, δεν έχουμε τις πνευματικές δυνατότητες να αποδείξουμε την Αλήθεια μιας πρότασης. Ο Γκέντελ, το 1930, σε ηλικία μόλις 23 ετών απέδειξε στη μαθηματική λογική το λεγόμενο θεώρημα της μη πληρότητας - για την ακρίβεια, απέδειξε δύο θεωρήματα μη πληρότητας που συνδέονται λογικά μεταξύ τους. Σύμφωνα με το θεώρημα του Γκέντελ, ισχύει γενικά η ακόλουθη δήλωση : Σε κάθε τυπικό σύστημα επαρκές για τη θεωρία αριθμών, υπάρχει ένας μη αποφασίσιμος μαθηματικός τύπος- δηλαδή, ένας τύπος που δεν είναι αποδείξιμος και που η άρνηση του είναι επίσης μη αποδείξιμη. (Η δήλωση αυτή αναφέρεται και ως πρώτο θ...
Δημοσιογράφος-Μαθηματικός