هو الحکیم
ﻫﻤﺎﻳﺶ ذﻫﻦ، ﻣﻨﻄﻖ و ﻣﺤﺎﺳﺒﻪ
ﻫﻤﺎﻳﺶ
«ذﻫﻦ، ﻣﻨﻄﻖ و ﻣﺤﺎﺳﺒﻪ»
ﺑﻪﻫﻤﺖ ﮔﺮوهﻫﺎی ﻣﻨﻄﻖ و ﻣﻄﺎﻟﻌﺎت ﻋﻠﻢ ﻣﺆسسۀ ﭘﮋوﻫشی ﺣﻜﻤﺖ و ﻓﻠﺴﻔۀ اﻳﺮان، ﺑﺮﮔﺰار
ﺧﻮاﻫﺪﺷﺪ.
اﻳﻦ
ﻫﻤﺎﻳﺶ ﺑﻪ ﻣﻨﺎﺳﺒﺖﻳﻜﺼﺪﻣﻴﻦﺳﺎﻟﮕﺮد تولد آﻟﻦ ﺗﻮرﻳﻨﮓ ﺑﺮﮔﺰار ﺧﻮاﻫﺪ ﺷﺪ.
دﻛﺘﺮ ﺿﻴﺎ
ﻣﻮﺣﺪ ﺑﺎ ﻣﻮﺿﻮع «ﻣﻔﻬﻮم ﻣﺤﺎﺳﺒﻪ»،
دﻛﺘﺮ
اﻣﻴراﺣﺴﺎن ﻛﺮﺑﺎسیزاده ﺑﺎ ﻣﻮﺿﻮع «آﻟﻦ ﺗﻮرﻳﻨﮓ ﻧﺎﺑﻐﻪ ﻏﺮﻳﺐ»،
دﻛﺘﺮ
رﺳﻮل رﻣﻀﺎﻧﻴﺎن، ﺑﺎ ﻣﻮﺿﻮع «ﻣﺎﺷﻴﻦﺗﻮرﻳﻨﮓ ﺗﻜﺎﻣﻠی ﭘﺎﻳﺎ»،
دﻛﺘﺮ
ﻣﺤﻤﺪ اﻳﺰدی
ﺑﺎ ﻣﻮﺿﻮع «ﻣﺤﺎﺳﺒﻪ ﻓﺮاﺗﺮ از ﺗﺰ ﭼﺮچ-ﺗﻮرﻳﻨﮓ»، دﻛﺘﺮ ﻣﺤﻤﺪ
اردﺷﻴﺮ ﺑﺎ ﻣﻮﺿﻮع «ﻣﻔﻬﻮم ﻣﺤﺎﺳﺒﻪ
در ﺷﻬﻮدگرایی»،
ﻓﺮزاد
دﻳﺪهور ﺑﺎ ﻣﻮﺿﻮع «ﻧﻈﺮﻳﻪ ﻣﺤﺎﺳﺒﺎت در ﮔﺬر زﻣﺎن»،
ﻛﺎوه
ﻻﺟﻮردی ﺑﺎ ﻣﻮﺿﻮع «ﺗﻮرﻳﻨﮓ ﺑﻴﺴﺖ و ﭼﻬﺎرﺳﺎﻟﻪ»،
دﻛﺘﺮ
ﻣﻬﺪی ﻧﺴﺮﻳﻦ ﺑﺎ ﻣﻮﺿﻮع «ﻣﺎ و ﻣﺎﺷﻴﻦ» ﺳﺨﻨﺮانی ﺧﻮاﻫﻨﺪ ﻛﺮد.
اﻳﻦ
ﻫﻤﺎﻳﺶ ﺷﻨﺒﻪ، ﺳﻮم ﺗﻴﺮﻣﺎه 1391 از ﺳﺎﻋﺖ 10 ﺗﺎ 17 در ﺳﺎﻟﻦ ﻫﻤﺎﻳﺶﻫﺎی ﻣﻮﺳﺴﻪ ﺑﺮﮔﺰار ﺧﻮاﻫﺪ ﺷﺪ.

آلن ماتیسون تورینگ؛
ریاضیدان، منطقدان، و
رمزنگار بریتانیایی که به عنوان پدر علم
محاسبه ی نوین و
علم رایانه شناخته شدهاست و مهمترین جایزه ی علمی رایانه به افتخار وی جایزه ی
تورینگ نام گرفتهاست.
تورینگ به کمک
ماشین تورینگ فورمولاسیون موثری برای روش الگوریتم ومحاسبه تهیه کرد؛ با کمک آزمایش تورینگ، سهم مؤثر و محرکی در زمینه ی هوش مصنوعی ارائه کرد:
او سپس درآزمایشگاه ملی فیزیک مشغول به کار شد، و یکی از طرحهای
اولیه برنامه ذخیره شده
کامپیوتر را ارائه کرد، هرچند که در واقع ساخته نشد. در ۱۹۴۸ به دانشگاه منچستر
رفت تا روی «منچستر مارک ۱» کار کند، که به عنوان اولین کامپیوتر
حقیقی دنیا
شناخته شد.
در طول
جنگ جهانی،
تورینگ در بلچلی پارک (مرکز کد شکنی
انگلستان) مشغول بود و برای مدتی
مسئول بخشی از آن بود، بخش مربوط به
تحلیل نوشتههای رمزی نیروی دریایی
آلمان. او چند روش برای شکستن رمزهای
آلمانها ابداع کرد، شامل روش ماشینی الکترومکانیکی که میتوانست
ویژگیهای ماشین
انیگما را پیدا کند. )بامب(
در سال ۱۹۵۰ در مقالهای معیاری برای تعیین میزان هوشمندی رایانه پیشنهادکرد که
پس از آن به
آزمایش تورینگ معروف شد
تا به حال هیچ برنامهای قادر به موفقیت در این آزمون نگردیدهاست.
او با معرفی
ماشین تورینگ، یک مدل ریاضی برای تحلیل تواناییهای ذاتی الگوریتمها بنیان
گذاشت. به همین دلیل ماشین تورینگ یکی از عناصراصلی در نظریه محاسبات و
نظریه پیچیدگی است