(TC* ،زمان فازی ) تاثیر و تاثر منطق و پارادوکسها بر نظریه محاسبات عام [Book Review]

Abstract

در تکوین نظریه محاسبات از اوایل قرن بیستم پارادکسها و خود ارجاعی نقش ویژه ای را بازی کرده اند. هر چند نظریه محاسبات عام بر اساس تعریف ماشین تورینگ، فرض تورینگ_چرچ و کاربردهای آن بنا شده ،اما از همان ابتدا تا به امروز منطق و حوزه های مختلف این علم در ارتباط تنگاتنگ با این تیوری و در ابتدا نظریه محاسبات خاص بوده و این ارتباط روز به روز گسترده و گسترده تر گشته است. از تاثیر پارادوکس دروغگو و پارادکس بری در تمایز میان مفهوم محاسبه پذیر و محاسبه پذیر شمارایانه، قضایای گودل و قضیه چیتین همه جا شاهد این تاثیر و تاثر متقابل هستیم. در این مقال می خواهیم بعد از معرفی اجمالی مطالب باال، تاثیر یک پارادوکس دیگر، پارادوکس اعدام غیر منتظره، را بر این نظریه بررسی نماییم.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

شطحیات عرفانی از منظر منطق و تفکر فازی.هادی وکیلی & پریسا گودرزی - 2014 - حکمت معاصر 5 (3):101-126.
معیت سرمدی خداوند و علم مطلق.انشاءالله رحمتی - 2017 - پژوهشنامه فلسفه دین 14 (2):83-103.
ذهنی‌بودن زمان در فلسفة ملاصدار.سیدعلی علم‌الهدی - 2015 - حکمت معاصر 5 (4):105-122.
اشیاء کوانتومی: تعبیر سیگما برای مسألۀ اندازه‌گیری در مکانیک کوانتوم.علیرضا منصوری, مهدی گلشنی & امیراحسان کرباسی‌زاده - 2012 - Metaphyzik (Metaphysics) 3 (11):89-112.
هستی‌شناسی نیوتن و پیامدهای الهیاتی آن.مصطفی شعبانی, ایرج نیک سرشت & ابوالفضل کیاشمشکی - 2018 - دانشگاه امام صادق 16 (1):151-172.
هرمنوتیک، حرکت جوهری و فرایند ترجمه.محمدجواد جاوید & عصمت شاهمرادی - 2015 - حکمت معاصر 6 (2):1-13.
نظریۀ ابن‌سینا دربارۀ علم خداوند به جزئیات: بررسی تفسیر مایکل مارمورا.امیرحسین زادیوسفی, محمد سعیدی مهر & حسین زمانیها - 2018 - دانشگاه امام صادق علیه السلام 16 (1):127-150.
 Epistemological Foundations of Hick’s Theory of Pluralism.Reza Akbari - 2004 - پژوهشنامه فلسفه دین 2 (2):35-54.
تحلیل منطقی فلسفی پارادوکس اسکولم. Mansooreh - 2015 - Dissertation,
مشکل جدایی در نظریه‌‌های انسجام توجیه.محمد علی پودینه - 2017 - Journal of Philosophical Theological Research 19 (73):128-151.
سه تفسیر از ازلیت خداوند در حکمت متعالیۀ ملاصدرا.مهدی زمانی - 2014 - حکمت معاصر 5 (2):75-88.
مقایسه تحلیلی نفس شناسی ابن مسکویه و نظریه شخصیت فروید.محمد جواد اسماعیلی & محمد قمی - 2016 - حکمت معاصر 7 (4):25-49.
اخلاقِ حرمتِ حیات.جعفر فلاحی - forthcoming - دانشگاه امام صادق علیه السلام.
نقش نظریه اعتباریات علامه طباطبایی (ره) در تبیین صفت مالکیت خداوند.سحر صدری, کاووس روحی برندق, علی حاجی خانی & محمد سعیدی مهر - 2020 - پژوهشنامه فلسفه دین 18 (1):89-106.
زبان تمثّلی وحی از نگاه غزالی.سعیده سعیدی & موسی ملایری - 2018 - دانشگاه امام صادق 15 (2):69-91.

Analytics

Added to PP
2022-06-10

Downloads
161 (#115,800)

6 months
52 (#80,128)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Farzad Didehvar
Amir Kabir University University (Tehran Polytechnic)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references