Γκρέγκορυ Τσάιτιν
Γκρέγκορυ Τσάιτιν | |
---|---|
Γενικές πληροφορίες | |
Γέννηση | 15 Νοεμβρίου 1947 Σικάγο |
Κατοικία | Βραζιλία |
Χώρα πολιτογράφησης | Ηνωμένες Πολιτείες Αμερικής |
Εκπαίδευση και γλώσσες | |
Ομιλούμενες γλώσσες | Αγγλικά[1][2] |
Σπουδές | Κολέγιο Σίτι της Νέας Υόρκης Λύκειο Επιστημών του Μπρονξ |
Πληροφορίες ασχολίας | |
Ιδιότητα | μαθηματικός επιστήμονας υπολογιστών φιλόσοφος διδάσκων πανεπιστημίου |
Εργοδότης | IBM Πανεπιστήμιο του Ώκλαντ[3] |
Επηρεάστηκε από | Γκότφριντ Βίλχελμ Λάιμπνιτς |
Ο Γκρέγκορυ Τζων Τσάιτιν (αγγλ. Gregory John Chaitin, γενν. 25 Ιουνίου 1947) είναι Αργεντινο-αμερικανός μαθηματικός και επιστήμονας υπολογιστών. Από νεαρής ηλικίας ο Τσάιτιν συνεισέφερε στην αλγοριθμική θεωρία της πληροφορίας και μεταμαθηματικά, ιδίως σε ένα αποτέλεσμα στη θεωρία του υπολογισμού που είναι ισοδύναμο με τα Θεωρήματα μη πληρότητας του Γκέντελ.[4] Θεωρείται ως ένας από τους θεμελιωτές της γνωστής σήμερα ως «αλγοριθμικής πολυπλοκότητας» (ή πολυπλοκότητας Solomonoff-Kolmogorov-Chaitin, ή πολυπλοκότητας Kolmogorov) μαζί με τους Αντρέι Κολμογκόροφ και Ρέυ Σολομόνοφ. Εκτός από το ενδιαφέρον των επιστημόνων υπολογιστών, το έργο του Τσάιτιν προσελκύει το ενδιαφέρον πολλών φιλοσόφων και μαθηματικών σε θεμελιώδη προβλήματα της μαθηματικής δημιουργικότητας και της «ψηφιακής φιλοσοφίας».
Απαρχές, μαθηματικά και επιστήμη υπολογιστών
[Επεξεργασία | επεξεργασία κώδικα]Ο Τσάιτιν γεννήθηκε στο Σικάγο από γονείς Εβραίους γεννημένους στην Αργεντινή. Μεγάλωσε ωστόσο στη Νέα Υόρκη από μικρής ηλικίας. Εκεί πήγε στο δημόσιο πρότυπο Γυμνάσιο Επιστήμης του Μπρονξ και κατόπιν σπούδασε στο Κολέγιο της Πόλης της Νέας Υόρκης (CCNY), όπου πριν κλείσει τα 19 χρόνια του ανέπτυξε τη θεωρία με βάση την οποία θεμελίωσε ανεξάρτητα την πολυπλοκότητα Κολμογκόροφ με δύο σχετικές δημοσιεύσεις.[5][6]
Ο Τσάιτιν όρισε τη λεγόμενη σταθερά του Chaitin Ω, έναν πραγματικό αριθμό, μη υπολογίσιμο, τα δεκαδικά ψηφία του οποίου είναι ισοκατανεμημένα και ο οποίος έχει θεωρηθεί ως μία έκφραση της πιθανότητας ότι ένα τυχόν πρόγραμμα υπολογιστή θα σταματήσει προτού ολοκληρωθεί η εκτέλεσή του. Η σταθερά Ω είναι ορίσιμος αριθμός (δηλαδή μπορεί να ορισθεί μονοσήμαντα με μια περιγραφή), με ασυμπτωτικές προσεγγίσεις εκ των κάτω (όχι όμως και εκ των άνω), αλλά όχι υπολογίσιμος.
Η χρήση χρωματισμού γραφήματος για την εκχώρηση τιμών σε πεπερασμένο αριθμό καταχωρητών στη μεταγλώττιση υπολογιστή (compiling) είναι επίσης επινόηση του Τσάιτιν και είναι γνωστή ως «αλγόριθμος του Chaitin».[7]
Ο Τσάιτιν εργάσθηκε ως ερευνητής στο Κέντρο Ερευνών της IBM «Thomas J. Watson» στη Νέα Υόρκη, ενώ διετέλεσε επίσης καθηγητής στο Ομοσπονδιακό Πανεπιστήμιο του Ρίο ντε Τζανέιρο και στο Πανεπιστήμιο του Μπουένος Άιρες. Συνέγραψε περισσότερα από δέκα βιβλία, που έχουν μεταφρασθεί σε περισσότερες από 15 γλώσσες. Στο ύστερο μέρος της σταδιοδρομίας του, ενδιαφέρθηκε για ζητήματα μεταβιολογίας και πληροφοριοθεωρητικές διατυπώσεις της θεωρίας της εξελίξεως.
Περαιτέρω συνεισφορές
[Επεξεργασία | επεξεργασία κώδικα]Πολλά κείμενα του Τσάιτιν έχουν φιλοσοφικό θέμα, ιδίως μεταφυσικής και φιλοσοφίας των μαθηματικών (ειδικότερα επί επιστημολογικών ζητημάτων στα μαθηματικά). Ο Τσάιτιν ισχυρίζεται ότι η αλγοριθμική θεωρία πληροφορίας είναι το «κλειδί» για την επίλυση προβλημάτων στα πεδία της βιολογίας (απόκτηση ενός αυστηρού ορισμού του όρου «ζωή», διευκρίνηση της προελεύσεως και της εξελίξεώς της) και της νευροεπιστήμης (το πρόβλημα της συνειδήσεως και η μελέτη του νου).
Το 1994 οργανώθηκε από το Ίδρυμα της Σάντα Φε ένα συνέδριο με τίτλο «Τα όρια της επιστημονικής γνώσεως», με διοργανωτές έναν μαθηματικό και έναν επιστήμονα υπολογιστών του ιδρύματος, όπου συμμετείχαν επιστήμονες με παρόμοια ενδιαφέροντα. Σε αυτό το συνέδριο ο Τσάιτιν προέβλεψε[8], με βάση την αρχή της «μη πληρότητας» του Γκέντελ, ότι στο μέλλον τα μαθηματικά θα τείνουν να γίνουν όλο και περισσότερο «πειραματική» επιστήμη, βασιζόμενη σε αριθμητικά πειράματα, ενώ από την άλλη οι μαθηματικοί θα προσθέτουν συνεχώς στο «οπλοστάσιό» τους νέα αξιώματα, ώστε να διευρύνουν το πεδίο των ερευνών τους. Αυτό όμως θα μειώνει αντιστοίχως τις αξιώσεις των μαθηματικών για αδιάσειστη βεβαιότητα και αλήθεια. Κατά τον Τσάιτιν, ο «αποχρών λόγος» για την ύπαρξη μιας μαθηματικής οντότητας είναι αυτό που ονομάζουμε «απόδειξη».[9]
Στο ίδιο συνέδριο ο Τσάιτιν έφθασε να πει: «οι φυσικοί γνωρίζουν ότι κάθε εξίσωσή τους είναι ένα ψέμα». Εννοούσε βέβαια ότι οι εξισώσεις στη φυσική είναι προσπάθειες για προσέγγιση της πραγματικότητας, χωρίς να μπορούμε ποτέ να βεβαιώσουμε ότι δεν υπάρχουν παράγοντες που μάς διαφεύγουν, οπότε η εξίσωσή μας δεν μπόρεσε να τους συμπεριλάβει.[10]
Δύο και πλέον δεκαετίες αργότερα, ο Τσάιτιν υπερασπίσθηκε μια θέση γνωστή ως «ψηφιακή φιλοσοφία». Στην επιστημολογία των μαθηματικών ισχυρίζεται από παλαιότερα ότι τα ευρήματά του στη μαθηματική λογική και την αλγοριθμική θεωρία πληροφορίας δείχνουν ότι υπάρχουν «μαθηματικά πράγματα που είναι αληθή χωρίς λόγο, που είναι αληθή γιατί έτσι έτυχε (αγγλ.: by accident)».[11] Προτείνει ότι οι μαθηματικοί πρέπει να εγκαταλείψουν κάθε ελπίδα να αποδείξουν αυτά τα πράγματα και να υιοθετήσουν μία ημι-εμπειρική μεθοδολογία.
Τα βιβλία του
[Επεξεργασία | επεξεργασία κώδικα]- Information, Randomness & Incompleteness (έκδ. World Scientific, 1987) (online)
- Algorithmic Information Theory (Cambridge University Press, 1987) (online)
- Information-theoretic Incompleteness (World Scientific, 1992) (online)
- The Limits of Mathematics (Springer-Verlag, 1998) (online Αρχειοθετήθηκε 2023-04-25 στο Wayback Machine.)
- The Unknowable (Springer-Verlag, 1999) (online)
- Exploring Randomness (Springer-Verlag, 2001) (online)
- Conversations with a Mathematician (Springer-Verlag, 2002) (online)
- From Philosophy to Program Size (Tallinn Cybernetics Institute Αρχειοθετήθηκε 2010-05-28 στο Wayback Machine., 2003)
- Meta Math!: The Quest for Omega (εκδ. Pantheon Books, 2005) Πρότυπο:ArXiv)
- Teoria algoritmica della complessità (G. Giappichelli Editore, 2006)
- Thinking about Gödel & Turing (World Scientific, 2007) (online Αρχειοθετήθηκε 2023-04-29 στο Wayback Machine.)
- Mathematics, Complexity and Philosophy (Editorial Midas, 2011)
- Gödel's Way (CRC Press, 2012)
- Proving Darwin: Making Biology Mathematical (εκδ. Pantheon Books, 2012) (online)
- Building the World from Information & Computation (Academia.edu, 2023) (online)
Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- ↑ Εθνική Βιβλιοθήκη της Γαλλίας: (Γαλλικά) καθιερωμένοι όροι της Εθνικής Βιβλιοθήκης της Γαλλίας. data
.bnf .fr /ark: /12148 /cb12399405t. Ανακτήθηκε στις 10 Οκτωβρίου 2015. - ↑ CONOR.SI. 88958307.
- ↑ Ανακτήθηκε στις 3 Ιουλίου 2019.
- ↑ Gregory Chaitin: «Review of Meta Math!: The Quest for Omega», SIAM News, τόμ. 39, νο. 1, Ιαν.-Φεβρ. 2006
- ↑ Li; Vitanyi (1997), An Introduction to Kolmogorov Complexity and Its Applications, Springer, σελ. 92, ISBN 9780387948683, https://books.google.com/books?id=LKEmB_GQ53QC
- ↑ Chaitin, G.J. (Οκτώβριος 1966), «On the Length of Programs for Computing Finite Binary Sequences», Journal of the ACM 13 (4): 547-569, doi:
- ↑ G.J. Chaitin: Register Allocation and Spilling via Graph Coloring, US Patent 4.571.678 (1986) [αναφορά από Register Allocation on the Intel® Itanium® Architecture, σελ. 155]
- ↑ Ι.Γ. Ξυνόπουλος: «Πλησιάζει το τέλος της επιστήμης;» - μέρος Γ΄, περιοδικό Ακτίνες, τεύχος 600 (Απρίλιος 1999), σελ. 121
- ↑ Ι.Γ. Ξυνόπουλος: όπ.π.
- ↑ Ι.Γ. Ξυνόπουλος: όπ.π.
- ↑ Chaitin, G.J. (2003). «From Philosophy to Program Size». arXiv:math/0303352.
Περαιτέρω διάβασμα
[Επεξεργασία | επεξεργασία κώδικα]- Pagallo, Ugo (2005), Introduzione alla filosofia digitale. Da Leibniz a Chaitin, G. Giappichelli Editore, ISBN 978-88-348-5635-2, http://www.giappichelli.it/home/88-348-5635-X,3485635.asp1, ανακτήθηκε στις 16 April 2008
- Calude, Cristian S., επιμ.. (2007), Randomness and Complexity. From Leibniz to Chaitin, World Scientific, ISBN 978-981-277-082-0
- Wuppuluri, Shyam; Doria, Francisco A., επιμ.. (2020), Unravelling Complexity: The Life and Work of Gregory Chaitin, World Scientific, doi: , ISBN 978-981-12-0006-9
Εξωτερικοί σύνδεσμοι
[Επεξεργασία | επεξεργασία κώδικα]- Διάλεξη του Τσάικιν με τίτλο «Η ζωή ως εξελισσόμενο λογισμικό» στο YouTube
- Marcus Chown: «The Omega Man», άρθρο στο New Scientist, Μάρτιος 2001
- Απόδειξη του «Θεωρήματος του Τσάιτιν»
- Συνέντευξη (σε βίντεο και μεταγραφή) από τη σειρά ντοκιμαντέρ Why Are We Here?
|