همایش «ذهن، منطق و محاسبه» به همت گروه منطق و مطالعات علم موسسه پژوهشی حکمت و فلسفه ایران، برگزار می‌شود.این همایش به مناسبت یکصدمین سالگرد آلن تورینگ پدر علم محاسبه نوین و علم رایانه برگزار خواهد شد.
ضیا موحد با موضوع «مفهوم محاسبه»، امیراحسان کرباسی‌زاده با موضوع «آلن تورینگ نابغه غریب»، رسول رمضانیان، با موضوع «ماشین تورینگ تکاملی پایا»، محمد ایزدی با موضوع «محاسبه فراتر از تز چرچ - تورینگ»، محمد اردشیر با موضوع «مفهوم محاسبه در شهودگرایی»، فرزاد دیده‌ور با موضوع «نظریه محاسبات در گذر زمان»، کاوه لاجوردی با موضوع «تورینگ بیست و چهارساله» و همچنین مهدی نسرین با موضوع «ما و ماشین» سخنرانی خواهند کرد.
این همایش شنبه، سوم تیرماه 1391 از ساعت 10 تا 17 در سالن همایش‌های موسسه برپاست.
آلن ماتیسون تورینگ، ریاضی‌دان، منطق‌دان، و رمزنگار بریتانیایی بود. او به عنوان پدر علم محاسبه نوین و علم رایانه شناخته شده و مهم‌ترین جایزه علمی رایانه به افتخار وی جایزه تورینگ نام گرفته است.
ضیا موحد با موضوع «مفهوم محاسبه»، امیراحسان کرباسی‌زاده با موضوع «آلن تورینگ نابغه غریب»، رسول رمضانیان، با موضوع «ماشین تورینگ تکاملی پایا»، محمد ایزدی با موضوع «محاسبه فراتر از تز چرچ - تورینگ»، محمد اردشیر با موضوع «مفهوم محاسبه در شهودگرایی»، فرزاد دیده‌ور با موضوع «نظریه محاسبات در گذر زمان»، کاوه لاجوردی با موضوع «تورینگ بیست و چهارساله» و همچنین مهدی نسرین با موضوع «ما و ماشین» سخنرانی خواهند کرد.
این همایش شنبه، سوم تیرماه 1391 از ساعت 10 تا 17 در سالن همایش‌های موسسه برپاست.
آلن ماتیسون تورینگ، ریاضی‌دان، منطق‌دان، و رمزنگار بریتانیایی بود. او به عنوان پدر علم محاسبه نوین و علم رایانه شناخته شده و مهم‌ترین جایزه علمی رایانه به افتخار وی جایزه تورینگ نام گرفته است.
