Παρασκευή, Φεβρουαρίου 20, 2009

Η "κατάρα" της μη-πληρότητας

Πριν από 10 περίπου χρόνια, τα Χριστούγεννα του 1998, στα χέρια μου έπεσαν δύο μικροκαμωμένα βιβλία. Το ένα από τα δύο είχε για εξώφυλλο ένα άντρα με γυαλιά. Ο τίτλος του βιβλίου με είχε ενθουσιάσει πάρα πολύ. "Για το θεώρημα μη-πληρότητας του Godel" Αμφιβάλω αν τελικά είχα καταφέρει να διαβάσω περισσότερες από 10 ή 20 σελίδες. Τα μαθηματικά του γυμνασίου μάλλον δεν αρκούσαν για να καταλάβω τις μαθηματικές λεπτομέρειες και την λογική των αποδείξεων. Τολμώ να πω όμως ότι διάβασα αρκετές φορές τον πρόλογο αυτού του βιβλίου τον οποίο εκ των υστέρων διαπίστωσα ότι υπέγραφε ο άνθρωπος που θα γινόταν advisor μου μετά από 10 χρόνια στο πανεπιστήμιο.
Είχα ενθουσιαστεί με την ιδέα της μη-πληρότητας. Καταλάβαινα ότι ήταν μια τομή στον κόσμο των μαθηματικών και της λογικής. Ο άντρας αυτός το πρόσωπο του οποίου φαίνονταν στο εξώφυλλο του βιβλίου ήταν ο Kurt Gödel, ο οποίος με το θεώρημα της μη-πληρότητας απέδειξε με απλά λόγια ότι μερικά προβλήματα δεν έχουν λύση...δυστυχώς.

4 σχόλια:

par...alogos είπε...

Γιατί το ζήτησε ο συνάδελφος sen-saven!!!

sen_saven είπε...

na sai kala!!

den mou les dhladh...apo auto gennatai h 8ewria twn 'incomplete markets' pou an isxuei stelnei polu kosmo sthn anergia?

xmm..prepei na arxisoume na anavoume fwties siga-siga..

(morfh o spirakis)

Ανώνυμος είπε...

μητσο,ευτυχως που υπαρχουν αλυτα προβληματα που δε λυνονται.

αλλιως εσεις οι κομπιουτεραδες θα βγαζατε κανεναν αλγοριθμο για να τα λυσουμε ολα μαζι και τοτε παπαλα!

εγω παντως προσπαθω εδω και καμια πενταετια να καταλαβω την αποδειξη του θεωρηματος.ακοα φως δεν ειδα.

καψος

par...alogos είπε...

Είναι κι αυτός ένας φόβος.
Η θεωρία των πάντων.

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

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