Αγία Λογική: Οι επιστήμονες πληροφορικής αποδεικνύουν ότι υπάρχει Θεός

Του Ντεϊβιντ Νάϊτ
Μετάφραση διασκευή: Φιλοθέη

Ο Αυστριακός μαθηματικός Kurt Gödel κράτησε το μυστικό του για την ύπαρξη του Θεού για δεκαετίες. Τώρα δύο επιστήμονες αναφέρουν ότι έχουν αποδείξει την ύπαρξη του Θεού με μαθηματικό τρόπο χρησιμοποιώντας υπολογιστές.

Οι δύο επιστήμονες τυποποίησαν το θεώρημα του μαθηματικού Kurt Gödel περί  υπάρξεως του Θεού ωστόσο αυτή η οπτική γωνία τίθεται κάπως υπό αμφισβήτηση.
Το πραγματικό επίτευγμα είναι το παράδειγμα που δίνουν για το πώς οι υπολογιστές και η προηγμένη τεχνολογία μπορεί να απλοποιήσουν και να προωθήσουν την επιστημονική ανακάλυψη.

Όταν ο Gödel πέθανε το 1978, άφησε ως κληρονομιά μια ελκυστική θεωρία βασισμένη σε αρχές της λογικής με την οποία αποδείκνυε την ύπαρξη ενός ανωτέρου όντος. Οι λεπτομέρειες της μαθηματικής απόδειξης του Gödel είναι πολύπλοκες ωστόσο η ουσία της θεωρίας του ήταν ότι εξ ορισμού ο Θεός είναι κάποιο Όν του Οποίου δεν μπορεί να υπάρξει κάτι ανώτερο.

Αυτή η ιδέα δεν είναι καινούργια. Για πολλούς αιώνες οι διάφοροι φιλόσοφοι προσπάθησαν να χρησιμοποιήσουν την αφηρημένη λογική για να αποδείξουν την αναγκαιότητα της ύπαρξης του Θεού. Ωστόσο το μαθηματικό μοντέλο που επινόησε ο Gödel, εισηγήθηκε μια απόδειξη αυτής της ιδέας. Τα αξιώματα και τα θεωρήματα που την σχηματίζουν μπορεί να εκφραστούν με μαθηματικές εξισώσεις και επομένως να αποδειχτούν με μαθηματικό τρόπο.

Έτσι ο Christoph Benzmüller του Free University του Βερολίνου και ο Bruno Woltzenlogel Paleo του Τεχνικού Πανεπιστημίου της Βιέννης χρησιμοποίησαν ένα συνηθισμένο ηλεκτρονικό υπολογιστή για να αποδείξουν ότι τουλάχιστον στο μαθηματικό επίπεδο η απόδειξη του Gödel ήταν ορθή, χρησιμοποιώντας ανώτερη λογική συνδυασμών.

Το γεγονός ότι η τυποποίηση τέτοιων πολύπλοκων θεωρημάτων μπορεί να αφεθεί στους ηλεκτρονικούς υπολογιστές και να γίνει αυτόματα σε λίγα δευτερόλεπτα ανοίγει διάπλατα τους ορίζοντες της επιστήμης.

Οι δύο επιστήμονες πιστεύουν ότι η μέθοδος τους μπορεί να έχει ευρύτερες εφαρμογές σε τομείς όπως η τεχνητή νοημοσύνη και η επαλήθευση λογισμικών και ηλεκτρονικών προγραμμάτων.

Τελικά η τυποποίηση του υπαρξιακής απόδειξης του Gödel μπορεί να μην κερδίσει τους άθεους ούτε και να επηρεάσει τους πιστούς, οι οποίοι μπορεί να αντιτάξουν ότι ο Θεός εξ ορισμού  υπερβαίνει τη λογική, ωστόσο για τους μαθηματικούς που ψάχνουν τρόπους για να ανοίξουν νέους δρόμους αυτή η είδηση μπορεί και να θεωρηθεί ως η απάντηση στις προσευχές τους!