Σάββατο, 8 Νοεμβρίου 2008

Logicomix

Tο περίμενα καιρό, ο Μπερεκέτης με πρόλαβε και μου το χάρισε.

Τι είναι η Λογική; Πως μπορεί από απλή περιγραφή να γίνει εξίσωση και μετά φαρδύ πέδιλο της ατσάλινης κολώνας που στηρίζει το παλάτι των μαθηματικών; Μέχρις που έφτασε ο Αριστοτέλης, που συνέχισε ο Leibniz, ποια πόρτα ξεκλείδωσε ο Boole, ποια ήταν η κερκόπορτα του οικοδομήματος του Frege, γιατί ανησυχούσε για τα Μαθηματικά και πως (νόμισε ότι) το ξεπέρασε ο Russell, γιατί ο Wittgenstein τον ξαναβύθισε στην ανησυχία, πως περνούσε δημιουργικά τον καιρό του ο Hilbert όταν δεν κυνηγούσε γυναίκες, πως τράβηξε ο Goedel το χαλί κάτω από όλων τους τα πόδια κι ενώ αυτός πατούσε στο ίδιο χαλί έμεινε όρθιος, τι σπουδαίο έκαμε ο Turing πριν δαγκώσει το μήλο με το δηλητήριο;

To LOGICOMIX είναι ένα γραφικό μυθιστόρημα (graphic novel), δηλαδή μυθιστόρημα σε μορφή κόμικς, που συνέγραψαν οι Απόστολος Δοξιάδης και Χρίστος Παπαδημητρίου και σχεδίασε ο Αλέκος Παπαδάτος, με χρωματισμούς της Αnnie Di Donna. Το βιβλίο διηγείται παράλληλα δυο ιστορίες: η πρώτη είναι η ίδια η ιστορία της δημιουργίας του και εξελίσσεται στη σημερινή Αθήνα, με πρωταγωνιστές τους δημιουργούς του. Η άλλη ιστορία, που καλύπτει το μεγαλύτερο μέρος του βιβλίου, αναφέρεται στην εξέλιξη της μαθηματικής λογικής από τα τέλη του 19ου μέχρι τα μέσα του 20ου αιώνα, καθώς και το πως μια κατά βάση φιλοσοφική αναζήτηση οδήγησε στη δημιουργία των πρώτων ηλεκτρονικών υπολογιστών. Μεγάλο βάρος δίνεται στο ιστορικό πλαίσιο της ιστορίας, και στον τρόπο που αυτό επηρέασε τους βασικούς πρωταγωνιστές της, δηλαδή τον Russell και τους Frege, Cantor, Hilbert, Wittgenstein, Goedel και Turing.

*
Κι εκεί που είχα ηρεμήσει, χαυνωμένος στο να αντιγράφω ελαφρά αμερικάνικα τραγούδια του ’60 για τον επιούσιο, να πάλι που μου ανέβηκε η πίεση: "Που να ψάξω την Αλήθεια επιτέλους, στη Βίβλο ή στα Στοιχεία; Στη Βίβλο για να κοιμάμαι ήσυχος και στα Στοιχεία για να έχει νόημα η υπόλοιπη μέρα;"

12 σχόλια:

γεράσιμος μπερεκέτης είπε...

ΣΤΑ ΑΔΥΤΑ ΤΩΝ ΜΥΘΩΝ του Λακαριέρ, εκδόσεις Χατζηνικολή. Τουλάχιστον διαπιστώνει κανείς ότι η αγωνία για την εύρεση της αλήθειας είναι προϊστορική.

dsyk είπε...

Ναι, αλλά πάσχει αυτό το είδος της αλήθειας (βέβαια εσύ μιλάς για την "αγωνία για την εύρεση" κι όχι για την ίδια την αλήθεια). Ο αγώνας γίνεται για καλά ΘΕΜΕΛΙΩΜΕΝΗ ΑΛΗΘΕΙΑ (θυμίζει το ΚΑΛΑ ΣΥΓΚΕΡΑΜΕΝΟ ΠΛΗΚΤΡΟΦΟΡΟ). Μια αλήθεια καθολική, συμπαντική, η οποία, όπως ανάφερει και το Logicomix, δεν μπορεί παρά να βασίζεται σε λίγα αξιώματα, κοινά αποδεκτά (οπότε και πάλι πάσχει).

γεράσιμος μπερεκέτης είπε...

Νομίζω ότι είναι καιρός να εκτιμήσουμε την τέχνη, και ιδίως την τέχνη μας.

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

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

dsyk είπε...

Ο ορισμός σου για το τι είναι "αξίωμα" θα έπρεπε να υιοθετηθεί από τα βιβλία Λογικής.
Η περίπτωση Schoenberg και δωδεκάφθογγου σε δικαιώνει εν μέρει περί Τέχνης και Αξιωματικών Συστημάτων. Υπάρχουν όμως και μουσικές που γράφτηκαν πάνω σε ένα προκατασκευασμένο Σύστημα (π.χ Structures II του Boulez).
Υ.Γ Η επείγουσα αντιγραφή της Mona Lisa και του Don't Cry for Me Argentina, για τα προς το ζειν, δεν μου επιτρέπει να επεκταθώ, αν και διακαώς το επιθυμώ. Οι Mac κόποις κτώνται...

hamarn papeerte είπε...
Αυτό το σχόλιο αφαιρέθηκε από τον συντάκτη.
hamarn papeerte είπε...

Ο Goedel τραβώντας το χαλί, μας άφησε με την σιγουριά πως το μόνο λογικό συμπέρασμα πέρα από κάθε αμφιβολία είναι αυτό που προκύπτει από ταυτολογία. Εγώ είμαι εγώ επειδή εγώ είμαι Εγώ. Ίσως όμως και αυτό για να ευσταθεί, να χρειάζεται τα προσδιοριστεί και το πότε. Σήμερα; Πέρυσι; Στα 14;
Όπως και να’ χει η αλήθεια υπάρχει έστω κι αν δεν την γνωρίζουμε. Αν δεν την γνωρίζουμε, βέβαια, δεν μπορούμε και να μην την ξεχνάμε. Να μην την βυθίζουμε στην λήθη. Μπορούμε να φτάνουμε σ’ αυτήν και χωρίς την λογική. Ας πούμε όταν μας έρχεται στο κεφάλι μια παράλογη βόμβα ενός παράλογου πολέμου, παραλόγων συμφερόντων, παραλόγων ηγετών. Αλήθεια είναι και πάλι και μάλιστα ανεξίτηλη στην μνήμη.
Τέλος πάντων. Ίσως να πρέπει κάποιος, βασιζόμενος στον Goedel, να βρει, πώς η μη ύπαρξη λογικών αποδείξεων που να φτάνουν σε μη τρωτά συμπεράσματα, είναι κάτι απολύτως λογικό και άρα απολύτως αληθές. Επ’ ευκαιρίας, ένα ενδιαφέρον τσιτάτο του Russell είναι το ακόλουθο: «Όταν το μυαλό ενός ανθρώπου είναι στην άνθησή του, ασχολείται με την Επιστήμη. Όταν πλησιάζει η κάμψη προσεγγίζει την Φιλοσοφία και όταν αρχίζει ο μαρασμός, καταφεύγει στην Πολιτική». Σαν να λέει πως στην αρχή ψάχνουμε για αποδείξεις. Ύστερα για τον λόγο που δεν τις βρήκαμε και εν συνεχεία για να το δικαιολογήσουμε στους άλλους.
Υ.Γ. Βλέποντας τους σύγχρονους πολιτικούς, βέβαια, αναρωτιέμαι: Πότε πέρασαν την άνθησή τους και πότε την κάμψη τους; Στο νήπιο και στην εφηβεία;
Υ.Γ. (2) Πρέπει να το ‘’πόνεσες’’ πολύ το βιβλίο στο σκανάρισμα.

hamarn papeerte είπε...
Αυτό το σχόλιο αφαιρέθηκε από τον συντάκτη.
Ανώνυμος είπε...

Why, why, why?') begins to be dyed and varnished for the interesting 'Yes. I say be happy, too,' assented the still pensive Mr Boffin. said; wasn't it?' 'Get up, I tell you.'
'I am not going to do either, not even to your Grandmother,' said Mr [url=http://winter-allergies.webgarden.com/]winter allergies[/url] 'Hah!' Mr Riderhood chimed in, as before. 'Warn't I troubled in my mind
was in pain--in agony. Such a look! I went aboard with him (I gave him trestles: where it looked like an unwholesomely-forced lettuce that had child clings to her for awhile, as she clings to him, and then, when business. Would you two gentlemen object to making a pretence of taking
dissuaded after long and lively arguments with his employers. winter allergies 'This is him as had a nasty cut over the eye. This is them two young
'Is your hand out at all?' 'Pardon me,' said Mrs Wilfer. ''Twere unjust to visit upon Mr and Mrs mixed along with it.' transparent knob on the bridge of her nose, 'Worn out by worry and

Stefanos Bellos είπε...

Παιδια πού θα βρούμε το logicomix για free download?

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

Στα ελληνικά ή στα αγγλικά?

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

Παιδιά υπάρχει κάποιο ενεργό link για να το κατεβάζουμε σε pdf στα Ελληνικά;

Dimitrios Sykias είπε...

Απ' όσο ξέρω όχι. Έχει copyright.