ناتمامیت در یک چهارچوب کلی

پایان نامه
چکیده

این حقیقت که قضیه مشهور ناتمامیت گودل و الگوی اصلی تمامی پارادوکس های منطقی از جمله پارادوکس دروغگو، به صورت نزدیکی با هم ارتباط دارند، نه تنها شناخته شده است بلکه وجه مشترکی از دانسته های منطق دانان محسوب می شود. در واقع، تقریباً تمام بحث های صوری این قضیه [ناتمامیت گودل] کمابیش پلی بر این ارتباط می سازند. در این پایاننامه سعی بر نشان دادن این ارتباط خواهیم داشت.

منابع مشابه

تعیین قدرت تفکیک محوری میکروسکوپ فلورسنس بازتابش داخلی کلی در یک چهارچوب تصادفی

قدرت تفکیک یک میکروسکوپ به عنوان کمترین فاصله بین دو نقطه روی نمونه که می توانند از هم تفکیک شوند، تعریف می شود. قدرت تفکیک میکروسکوپ نوری در دو بعد به وسیله ی معیار رایلی محدود می باشد. کاملاً واضح است که معیار رایلی آمار گسیل فوتون داده های به دست آمده را نادیده می گیرد. اخیراً رام و همکارانش از یک چهارچوب تصادفی برای تعیین قدرت تفکیک استفاده کرده اند که محدودیت های معیار رایلی را ندارد. آ...

15 صفحه اول

بررسی و نقد صادرات محصولات پتروشیمی در چهارچوب بند سیزدهم سیاست‏های کلی اقتصاد مقاومتی

صنعت بزرگ و استراتژیک پتروشیمی در بند 13 سیاست‌های کلی اقتصاد مقاومتی مورد توجه ویژه و مستقیم قرار گرفته است.در این پژوهش عملکرد اقتصادی صنعت پتروشیمی در چارچوب  بند 13 سیاستهای کلی ابلاغی اقتصاد مقاومتی، مورد نقد و بررسی قرار گرفته است و راهکارهای پیشبرد هرچه سریع تر این سیاست‌ها مورد توجه واقع شده است. برای این منظور ابتدا وضعیت موجود صنعت پتروشیمی مورد بررسی و نقد قرار گرفته است و سپس بر اسا...

متن کامل

چهارچوب کلی یک سیستم اطلاعات مدیریت برای شرکت داده پردازی ایران

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

15 صفحه اول

تبیین یک چهارچوب مفهومی برای «شهر اسلامی»

«شهر اسلامی» انگاره‌ای است که سؤالات بسیاری در باب چیستی، ماهیت و ویژگی‌های آن مطرح بوده است و نظام‌های علمی گوناگون، از زوایای مختلف بدان پرداخته و تلاش در تبیین و تشریح آن داشته‌اند. با این حال، مروری انتقادی بر ادبیات مربوطه، نشانگر حجم بالایی از سوءتعبیرها و آشفتگی‌ها درباره این انگاره و مفاهیم، موضوعات و اهداف مرتبط با آن است. بر این اساس، شهر اسلامی انگاره‌ای است مبهم، فاقد تعریفی کاربردی...

متن کامل

ارائه یک چهارچوب مفهومی برای سنجش کیفیت در دانشگاه

مطالعه صورت گرفته با هدف کلی شناخت مشکلات خدمات آموزشی و رفاهی به دانشجویان دانشگاه آزاد اسلامی واحد قزوین با رویکرد به مدل‌های مشتری مدار انجام گرفته است. پژوهش حاضر بر اساس مدل تغییر یافته servqual که بر شش بعد اصلی کیفیت خدمات آموزشی و امکانات رفاهی دانشجویی ارائه شده، استوار است. در این پژوهش شش فرضیه مطرح گردید، که سه فرضیه صحیح رد گردید و فرضیات مخالف مبتنی بر وجود شکاف و معنی‌دار بودن مو...

متن کامل

قضیة ناتمامیت گودل و فلسفة ذهن

یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن‌ها در استدلال‌هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می‌آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جملة گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023