پیام‌نما

كُتِبَ عَلَيْكُمُ الْقِتَالُ وَ هُوَ كُرْهٌ لَكُمْ وَعَسَى أَنْ تَكْرَهُوا شَيْئًا وَ هُوَ خَيْرٌ لَكُمْ وَعَسَى أَنْ تُحِبُّوا شَيْئًا وَ هُوَ شَرٌّ لَكُمْ وَاللَّهُ يَعْلَمُ وَأَنْتُمْ لَا تَعْلَمُونَ * * * جنگ [با دشمن] بر شما مقرّر و لازم شده، و حال آنکه برایتان ناخوشایند است. و بسا چیزی را خوش ندارید و آن برای شما خیر است، و بسا چیزی را دوست دارید و آن برای شما بد است؛ و خدا [مصلحت شما را در همه امور] می‌داند و شما نمی‌دانید. * * * بس بود چیزی که می‌دارید دوست / لیک از بهر شما شرّی دو توست

۲۷ خرداد ۱۳۹۱، ۱۲:۵۱

همایش ذهن، منطق و محاسبه برگزار می‌شود

همایش "ذهن، منطق و محاسبه" به همت گروه منطق و مطالعات علم مؤسسه پژوهشی حکمت و فلسفه ایران برگزار می‌شود.

به گزارش خبرگزاری مهر، در این همایش که به مناسبت یکصدمین سالگرد «آلن تورینگ» برگزار خواهد شد، دکتر ضیاء موحد با موضوع «مفهوم محاسبه»، دکتر امیر احسان کرباسی زاده با موضوع «آلن تورینگ نابغه غریب»، دکتر رسول رمضانیان، با موضوع «ماشین تورینگ تکاملی پایا»، دکتر محمد ایزدی با موضوع «محاسبه فراتر از تز چرچ-تورینگ» سخنرانی خواهند کرد.

دکتر محمد اردشیر با موضوع «مفهوم محاسبه در شهود گرایی»، فرزاد دیده ور با موضوع «نظریه محاسبات در گذر زمان»، کاوه لاجوردی با موضوع «تورینگ بیست و چهارساله» و دکتر مهدی نسرین با موضوع «ما و ماشین» دیگر سخنرانان این همایش خواهند بود.

این همایش شنبه سوم تیرماه 1391 از ساعت 10 تا 17 در سالن همایشهای موسسه پژوهشی حکمت و فلسفه ایران به نشانی خیابان نوفل لوشاتو، خیابان آراکلیان برگزار خواهد شد.

کد خبر 1627742