غريغوري تشايتين
غريغوري جون تشايتين ( يُلفظ / ˈtʃaɪtɪn / تشايتين ؛ وُلد في 25 يونيو 1947) هو عالم رياضيات وعلوم حاسوب أرجنتيني - أمريكي . شكّلت أعماله أساسًا لتطوير نظرية المعلومات الخوارزمية ، وكان لها تأثير كبير على ما وراء الرياضيات . [ 2 ] [ 3 ] اكتشف بشكل مستقل ما يُعرف اليوم بالتعقيد الخوارزمي (كولموغوروف أو سولومونوف-كولموغوروف-تشايتين) بالتزامن مع أندريه كولموغوروف وراي سولومونوف . [ 4 ]
الرياضيات وعلوم الحاسوب
غريغوري تشايتين يهودي . التحق بمدرسة برونكس الثانوية للعلوم وكلية مدينة نيويورك ، حيث طور (وهو لا يزال في سن المراهقة) النظرية التي أدت إلى اكتشافه المستقل للتعقيد الخوارزمي . [ 5 ] [ 6 ]
في عام 1975، عرّف تشايتين ثابت تشايتين Ω، وهو عدد حقيقي تتوزع أرقامه بالتساوي ، ويُوصف أحيانًا بشكل غير رسمي بأنه تعبير عن احتمال توقف برنامج عشوائي. يتميز Ω بخاصية رياضية تتمثل في إمكانية تعريفه ، مع تقريبات تقاربية من الأسفل (وليس من الأعلى)، ولكنه غير قابل للحساب .
يُعتبر تشايتين أيضًا مبتكر استخدام تلوين الرسم البياني لتخصيص السجلات في عملية الترجمة ، وهي عملية تُعرف باسم خوارزمية تشايتين . [ 7 ]
كان سابقاً باحثاً في مركز أبحاث توماس جيه واتسون التابع لشركة آي بي إم في نيويورك، حيث كتب أكثر من 10 كتب تُرجمت إلى حوالي 15 لغة.
بعد ذلك أصبح شايتين مهتمًا بمسائل علم الأحياء الميتافيزيقي والصياغات النظرية للمعلومات لنظرية التطور ، وكان أحد الأعضاء المؤسسين لمعهد الدراسات المتقدمة في جامعة محمد السادس متعددة التقنيات في المغرب.
مساهمات علمية أخرى
يكتب تشايتين أيضًا عن الفلسفة ، وخاصة الميتافيزيقا وفلسفة الرياضيات (وتحديدًا عن المسائل المعرفية في الرياضيات). في الميتافيزيقا، يزعم تشايتين أن نظرية المعلومات الخوارزمية هي المفتاح لحل المشكلات في مجال علم الأحياء (الحصول على تعريف رسمي لـ "الحياة"، وأصلها وتطورها ) وعلم الأعصاب (مشكلة الوعي ودراسة العقل).
في كتاباته الأخيرة، يدافع عن موقف يُعرف بالفلسفة الرقمية . في مجال نظرية المعرفة الرياضية، يدّعي أن نتائج أبحاثه في المنطق الرياضي ونظرية المعلومات الخوارزمية تُظهر وجود "حقائق رياضية صحيحة بلا سبب، صحيحة بالصدفة". [ 8 ] يقترح تشايتين أن يتخلى علماء الرياضيات عن أي أمل في إثبات تلك الحقائق الرياضية، وأن يتبنوا منهجية شبه تجريبية .
التكريمات
في عام ١٩٩٥، مُنح درجة الدكتوراه الفخرية في العلوم من جامعة مين . وفي عام ٢٠٠٢، مُنح لقب أستاذ فخري من جامعة بوينس آيرس في الأرجنتين، مسقط رأس والديه ومكان قضاء تشايتين جزءًا من شبابه. وفي عام ٢٠٠٧، مُنح ميدالية لايبنتز [ ٩ ] من قِبل شركة وولفرام للأبحاث ؛ وقد صمم الميدالية ستيفن وولفرام وهيكتور زينيل، باستخدام رقم تشايتين الذي حسبه كريستيان كالود . وفي عام ٢٠٠٩، مُنح درجة الدكتوراه الفخرية في الفلسفة من الجامعة الوطنية في قرطبة . وقد عمل سابقًا باحثًا في مركز توماس ج. واتسون للأبحاث التابع لشركة آي بي إم ، وأستاذًا في الجامعة الفيدرالية في ريو دي جانيرو .
فهرس
- نظرية المعلومات الخوارزمية ( مطبعة جامعة كامبريدج 1987) ( متوفرة على الإنترنت )
- المعلومات والعشوائية وعدم الاكتمال ( دار النشر العالمية 1987) ( متوفر على الإنترنت )
- عدم الاكتمال من منظور نظرية المعلومات ( دار النشر العالمية 1992) ( متوفر على الإنترنت )
- حدود الرياضيات ( دار نشر سبرينغر 1998) ( مؤرشف على الإنترنت في 25 أبريل 2023 على موقع Wayback Machine )
- المجهول ( دار نشر سبرينغر-فيرلاغ 1999) ( متوفر على الإنترنت )
- استكشاف العشوائية ( دار نشر سبرينغر-فيرلاغ 2001)
- محادثات مع عالم رياضيات ( دار نشر سبرينغر-فيرلاغ 2002) ( متوفر على الإنترنت )
- من الفلسفة إلى حجم البرنامج ( معهد تالين للسيبرنيات 2003) ( arXiv : math/0303352 )
- الرياضيات الميتافيزيقية!: البحث عن أوميغا ( بانثيون بوكس 2005) (أعيد طبعه في المملكة المتحدة بعنوان الرياضيات الميتافيزيقية: البحث عن أوميغا ، أتلانتيك بوكس 2006) ( arXiv : math/0404335 )
- التفكير في غودل وتورينج ( دار النشر العالمية 2007) ( مؤرشف على الإنترنت بتاريخ 29 أبريل 2023 في Wayback Machine )
- إثبات نظرية داروين: جعل علم الأحياء رياضياً ( دار بانثيون للنشر، 2012) ( متوفر على الإنترنت )
- اللغة المثالية (محاضرة لاهوتية في القدس 2015) ( متوفرة عبر الإنترنت )
- حياة في الرياضيات (مقال سيرة ذاتية 2021) ( متاح عبر الإنترنت )
- اللانهاية، عدم الاكتمال، عدم الاختزال (ملاحظات الدورة 2024) ( عبر الإنترنت )
مراجع
- ↑ غريغوري تشايتين (2007)، نظرية المعلومات الخوارزمية: "الجدول الزمني لأبحاث تشايتين"
- ↑ كالود، سي إس (2002). المعلومات والعشوائية: منظور خوارزمي . نصوص في علوم الحاسوب النظرية. سلسلة EATCS. سبرينغر-فيرلاغ.
- ↑ R. Downey, and D. Hirschfeldt (2010), Algorithmic Randomness and Complexness , Springer-Verlag.
- ↑ بانو راتيكاينن، "استكشاف العشوائية والمجهول" إشعارات الجمعية الرياضية الأمريكية مراجعة الكتب أكتوبر 2001.
- ↑ لي؛ فيتاني (1997)، مقدمة في تعقيد كولموغوروف وتطبيقاته ، سبرينغر، ص 92، ISBN 9780387948683،
كان جي جي تشايتين قد أنهى دراسته في مدرسة برونكس الثانوية للعلوم، وكان طالبًا جامعيًا يبلغ من العمر 18 عامًا في كلية سيتي التابعة لجامعة مدينة نيويورك، عندما قدم ورقتين بحثيتين .... في ورقته البحثية [الثانية]، يطرح تشايتين مفهوم تعقيد كولموغوروف ....
- ↑ تشايتين، جي جي (أكتوبر 1966)، "حول طول البرامج لحساب المتتاليات الثنائية المحدودة"، مجلة ACM ، 13 (4): 547-569 ، doi : 10.1145/321356.321363 ، S2CID 207698337
- ↑ جي جي تشايتين، تخصيص السجلات والتفريغ عبر تلوين الرسم البياني ، براءة اختراع أمريكية رقم 4,571,678 (1986) [مقتبس من تخصيص السجلات على بنية Intel® Itanium® ، ص 155]
- ↑ تشايتين، جي جي (2003). "من الفلسفة إلى حجم البرنامج". arXiv : math/0303352 .
- ↑ زينيل، هيكتور "ميدالية لايبنتز تعود إلى الحياة بعد 300 عام" أنيما إكس ماكينا ، مدونة هيكتور زينيل ، 3 نوفمبر 2007.
للمزيد من القراءة
- باجالو، أوغو (2005)، مقدمة عن الفلسفة الرقمية. Da Leibniz a Chaitin [ مقدمة إلى الفلسفة الرقمية: من Leibniz إلى Chaitin ] (باللغة الإيطالية)، G. Giappichelli Editore، ISBN 978-88-348-5635-2تمت أرشفة هذا النص من المصدر الأصلي في 22 يوليو 2011 ، وتم استرجاعه في 16 أبريل 2008
- كالود، كريستيان س.، محرر (2007)، العشوائية والتعقيد: من لايبنتز إلى تشايتين ، وورلد ساينتيفيك، doi : 10.1142/6577 ، ISBN 978-981-277-082-0
- ووبولوري، شيام؛ دوريا، فرانسيسكو أ.، محرران (2020)، فكّ التعقيد: حياة وأعمال غريغوري تشايتين ، وورلد ساينتيفيك، doi : 10.1142/11270 ، ISBN 978-981-12-0006-9، S2CID 198790362
- غوسفيلد، دان (2024)، مُثبت الاستحالة: براهين أولية على الاستحالة العميقة من آرو، وبيل، وشايتين، وغودل، وتورينغ، وغيرهم ، مطبعة جامعة كامبريدج، doi : 10.1017/9781009349451 ، ISBN 978-1-009-34950-5
روابط خارجية
- جريج تشايتين، مبرمج كمبيوتر
- السيرة الذاتية لـ جي جي تشايتين
- الصفحة الرئيسية لـ GJ Chaitin من موقع academia.edu
- الصفحة الرئيسية لـ GJ Chaitin من موقع UMaine.edu في أرشيف الإنترنت ، مؤرشفة بتاريخ 29 أكتوبر 2013 في Wayback Machine
- فيديو لمحاضرة عن علم الأحياء الأيضي: "الحياة كبرنامج متطور" على يوتيوب (كائن برمجي واحد متحول)
- فيديو لمحاضرة حول علم الأحياء الأيضي 2.0: "فون نيومان حول علم الأحياء والحياة كبرمجيات متطورة" على يوتيوب (مجموعة من الكائنات البرمجية والمطفرات)
- فيديو لمحاضرة بعنوان "لايبنيتز، التعقيد، وعدم الاكتمال"
- مقال في مجلة نيو ساينتست (مارس 2001) حول الكيتين والأوميغا والأوميغا الفائقة
- نسخة مختصرة من برهان تشايتين
- مقابلة مطولة مع غريغوري تشايتين ونصوصها لسلسلة الأفلام الوثائقية "لماذا نحن هنا؟"
- برنامج Chaitin Lisp على موقع GitHub
- مواليد عام 1947
- الناس الأحياء
- خريجو مدرسة برونكس الثانوية للعلوم
- خريجو كلية مدينة نيويورك
- علماء الرياضيات الأرجنتينيون
- علماء الحاسوب الأرجنتينيون
- علماء الرياضيات الأمريكيون في القرن العشرين
- علماء الرياضيات الأمريكيون في القرن الحادي والعشرين
- منظرو المعلومات الأمريكيون
- موظفو شركة IBM
- فلاسفة الرياضيات
- علماء المعرفة
- كتاب الميتافيزيقا
- علماء المنطق الأمريكيون
- فلاسفة أمريكيون من القرن الحادي والعشرين
- منظرو المعلومات الأرجنتينيون
- علماء الرياضيات من ولاية نيويورك
