E-Radio Greece - The Hellenic Radio Portal

Υπολογιστής αποδεικνύει την «ύπαρξη του Θεού»

Υπολογιστής αποδεικνύει την «ύπαρξη του Θεού»

Δύο επιστήμονες απέδειξαν την ορθότητα ενός θεωρήματος του Gödel

Δημοσίευση 12/11/2013 | 00:00

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

Ωστόσο, αυτό που είναι πραγματικά εντυπωσιακό, δεν είναι τόσο η άποψή τους για την ύπαρξη ή όχι του Θεού, αλλά για το πώς οι υπολογιστές κάνουν απλούστερη την επιστημονική πρόοδο, αναφέρει σε άρθρο του στο Spiegel ο David Knight.

«Επιστήμονες αποδεικνύουν την ύπαρξη του Θεού»: ο τίτλος στη γερμανική εφημερίδα «Die Welt» ήταν πολύ πιασάρικος, όπως σχολιάζει ο αρθρογράφος. Ωστόσο, υπάρχει κάτι άλλο πίσω από αυτόν τον ισχυρισμό, προσθέτει.

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

Η πραγματική είδηση δεν αφορά «το υπέρτατο ον», αλλά αυτό που μπορεί να καταφέρει κανείς σε διάφορους τομείς της επιστήμης με τη χρήση της εξελιγμένης τεχνολογίας.

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

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

Δεν ήταν φυσικά ο πρώτος που ισχυρίστηκε και προσπάθησε να αποδείξει κάτι τέτοιο. Επί αιώνες, πολλοί προσπαθούσαν να χρησιμοποιήσουν την αφηρημένη σκέψη για να αποδείξουν την πιθανότητα ή αναγκαιότητα ύπαρξης του Θεού.

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

Η απόδειξη της ύπαρξης του Θεού με ένα MacBook
Κι εδώ είναι που υπεισέρχονται οι επιστήμονες Christoph Benzmüller από το Ελεύθερο Πανεπιστήμιο του Βερολίνου και ο Bruno Woltzenlogel Paleo από το Τεχνικό Πανεπιστήμιο της Βιέννης.

Χρησιμοποιώντας ένα συνηθισμένο MacBook, απέδειξαν ότι η... απόδειξη του Gödel ήταν σωστή –τουλάχιστον σε μαθηματικό επίπεδο– μέσω ανώτερης τροπικής λογικής.

Ο τίτλος της έρευνάς τους ήταν ο εξής: «Formalization, Mechanization and Automation of Gödel's Proof of God's Existence».

«Το γεγονός ότι η επισημοποίηση τέτοιων σύνθετων θεωρημάτων μπορεί να γίνει με τη χρήση υπολογιστών, ανοίγει ένα ευρύ τομέα δυνατοτήτων», είπε στο Spiegel Online ο Benzmüller.

«Είναι συγκλονιστικό το γεγονός ότι από τον ισχυρισμό του Gödel όλα αυτά μπορούν να αποδειχθούν αυτόματα, μέσα σε λίγα δευτερόλεπτα, με τη βοήθεια ενός απλού notebook», προσέθεσε.

Κι ενώ το όνομα Gödel μπορεί να μη λέει πολλά στους πολλούς, ο Αυστριακός μαθηματικός είναι εξαιρετικά διάσημος στους κύκλους των επιστημόνων και απολαμβάνει φήμη ισάξια εκείνης του Albert Einstein, με τον οποίο μάλιστα ήταν στενοί φίλοι.

«Δεν περίμενα να προκαλούσε τόσο πολύ το ενδιαφέρον του κοινού, όμως η οντολογική απόδειξη του Gödel ήταν ένα πολύ καλύτερο παράδειγμα, από κάτι απρόσιτο στα μαθηματικά ή την τεχνητή νοημοσύνη», είπε ακόμη και συνέχισε: «Θα υπάρχουν κι άλλα πράγματα που χρησιμοποιούν παρόμοια λογική. Μπορούμε, άραγε, να αναπτύξουμε συστήματα πληροφορικής που να ελέγχουν κάθε ξεχωριστό βήμα και να είμαστε σίγουροι ότι είναι σωστά;».

«Μια φιλόδοξη εκφραστική λογική»
Οι δύο επιστήμονες πιστεύουν ότι η εργασία τους μπορεί να έχει πολλές πρακτικές εφαρμογές, σε τομείς όπως η τεχνητή νοημοσύνη και η επαλήθευση software και hardware.

Ο Benzmüller τόνισε ακόμη ότι υπάρχουν πολλοί επιστήμονες, οι οποίοι μελετούν παρόμοιους τομείς.

Ο ίδιος εμπνεύστηκε και αποφάσισε να ασχοληθεί με το ζήτημα αυτό από ένα βιβλίο του Melvin Fitting, με τίτλο «Types, Tableaus and Gödel's God».

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

Ο Αμερικανός μαθηματικός Doron Zeilberger χρησιμοποιεί το όνομα Shalosh B. Ekhad στα επιστημονικά έγγραφά του και τις δημοσιεύσεις του από τη δεκαετία του 1980. Σύμφωνα με το ίδρυμα Simons Foundation, χρησιμοποιεί το ψευδώνυμο αυτό για τους υπολογιστές που χρησιμοποιεί, προκειμένου να αποδεικνύει θεωρήματα σε ελάχιστο χρόνο, που διαφορετικά απαιτούσαν πολλούς μαθηματικούς συλλογισμούς από σελίδα σε σελίδα.

Ο Zeilberger είχε πει ότι χρησιμοποιεί ένα «ανθρώπινο όνομα» για τον υπολογιστή, «για να δηλώσει ότι πρέπει να αναγνωρίζεται και η συμβολή των υπολογιστών». «Η ανθρωποκεντρική μισαλλοδοξία στο χώρο των μαθηματικών δεν έχει βοηθήσει και πολύ στην πρόοδο», είπε ακόμη.

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

Για τους μαθηματικούς όμως, που αναζητούν τρόπους για ανοίξουν νέους ορίζοντες, η είδηση θα μπορούσε να αποτελέσει μια... απάντηση στις προσευχές τους.

FOLLOW US @EDAILYGR Ακολουθήστε μας και στο Instagram

ΣΤΗΝ ΙΔΙΑ ΚΑΤΗΓΟΡΙΑ

Νέο βίντεο «καίει» την Φινλανδή πρωθυπουργό

Σήμερα

Ο χορός και το φιλί στον λαιμό από άγνωστο

Προβλέψεις σοκ για την Βρετανία λόγω της ενεργειακής κρίσης

Σήμερα

Φοβούνται ακόμη και θανάτους από το κρύο στα σπίτια

Εθνική Ελλάδος: Απρόοπτα και αλλαγές στην ομάδα μπάσκετ

Σήμερα

Τραυματισμοί και επιστροφές στην ομάδα

Κρήτη: Τουρίστας έδειρε την πρώην σύζυγό του μέσα στο ξενοδοχείο

Σήμερα

Η 44χρονη κατάφερε και ξέφυγε από τα χέρια του πρώην συζύγου της

Το Airbnb αλλάζει τα δεδομένα μετά από παράπονα των ιδιοκτητών

Σήμερα

Η δημοφιλής πλατφόρμα online ενοικίασης κατοικιών αλλάζει τα δεδομένα

Κρεπερί, εστιατόρια και καφέ: 14 επιχειρήσεις απέκρυψαν εισόδημα 5,2 εκατ. ευρώ

Σήμερα

Οι επιχειρήσεις αυτές δεν έκοψαν 449.000 αποδείξεις, ενώ εισέπραξαν από τους πελάτες τους, αλλά δεν απέδωσαν στην εφορία ΦΠΑ 592.000 ευρώ

Πέθανε σπουδαίος Έλληνας ψυχίατρος

Σήμερα

Πώς το ανοιχτό air condition οδήγησε στη μακάβρια αποκάλυψη

Σκιάθος: Τοκογλύφο κατονόμασε στο σημείωμά του ο αυτόχειρας επιχειρηματίας

Σήμερα

Η οικογένεια του επιχειρηματία γνώριζε για τα οικονομικά προβλήματα που αντιμετώπιζε

Γιώργος Μάγκας: «Τους μιλούσα στο τηλέφωνο και δεν πίστευαν ότι ζω»

Σήμερα

Τι λέει ο δεξιοτέχνης του κλαρίνου για την ανάρτηση που τον «πέθανε»

Φινλανδία: Η Σάνα Μαρίν δέχεται να κάνει τεστ ανίχνευσης ναρκωτικών μετά τον σάλο για τα πάρτι

Χτες

Η Φινλανδή πρωθυπουργός παραδέχτηκε ότι είχε πιεί αλκοόλ, διαψεύδοντας όμως ότι είχε πάρει ναρκωτικά ή ότι ήταν μάρτυρας χρήσης

>
×
E-Daily.gr Τα νέα της ημέρας και ό,τι σου κάνει κλικ!      Επειδή η ζωή έχει τη δική της ατζέντα!

The Hellenic Radio Portal - 18 χρόνια
Live Oλα τα Ελληνικά Ραδιόφωνα Online!
500+ Ελληνικοί Σταθμοί εδώ!
Ακούστε ζωντανά, online ελληνικές επιτυχίες, λαϊκά, ξένα hits, dance,
ειδήσεις, αθλητικά από τα καλύτερα internet radio.