Γκρέγκορυ Τσάιτιν

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

Τα βιβλία του[Επεξεργασία | επεξεργασία κώδικα]


Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. ↑ Εθνική Βιβλιοθήκη της Γαλλίας: (Γαλλικά) καθιερωμένοι όροι της Εθνικής Βιβλιοθήκης της Γαλλίας. data.bnf.fr/ark:/12148/cb12399405t. Ανακτήθηκε στις 10  Οκτωβρίου 2015.
  2. ↑ CONOR.SI. 88958307.
  3. ↑ Ανακτήθηκε στις 3  Ιουλίου 2019.
  4. ↑ Gregory Chaitin: «Review of Meta Math!: The Quest for Omega», SIAM News, τόμ. 39, νο. 1, Ιαν.-Φεβρ. 2006
  5. ↑ Li; Vitanyi (1997), An Introduction to Kolmogorov Complexity and Its Applications, Springer, σελ. 92, ISBN 9780387948683, https://books.google.com/books?id=LKEmB_GQ53QC 
  6. ↑ Chaitin, G.J. (Οκτώβριος 1966), «On the Length of Programs for Computing Finite Binary Sequences», Journal of the ACM 13 (4): 547-569, doi:10.1145/321356.321363 
  7. ↑ G.J. Chaitin: Register Allocation and Spilling via Graph Coloring, US Patent 4.571.678 (1986) [αναφορά από Register Allocation on the Intel® Itanium® Architecture, σελ. 155]
  8. ↑ Ι.Γ. Ξυνόπουλος: «Πλησιάζει το τέλος της επιστήμης;» - μέρος Γ΄, περιοδικό Ακτίνες, τεύχος 600 (Απρίλιος 1999), σελ. 121
  9. ↑ Ι.Γ. Ξυνόπουλος: όπ.π.
  10. ↑ Ι.Γ. Ξυνόπουλος: όπ.π.
  11. ↑ Chaitin, G.J. (2003). «From Philosophy to Program Size». arXiv:math/0303352. 

Περαιτέρω διάβασμα[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]

Καθιερωμένοι όροι
Ανακτήθηκε από "https://el.wikipedia.org/w/index.php?title=Γκρέγκορυ_Τσάιτιν&oldid=10515437"