Αναδημοσιεύτηκε από την ΠΗΓΗ: www.techit.gr

Κατηγορία: Πληροφορική

Δημοσιεύθηκε : 13 Νοεμβρίου 2013

Επισκέψεις: 2880

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

Δύο επιστήμονες απέδειξαν με τη βοήθεια ενός υπολογιστή ένα θεώρημα αναφορικά με την ύπαρξη του Θεού, που πίστευε ακράδαντα ο μαθηματικός 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 από το Τεχνικό Πανεπιστήμιο της Βιέννης.