نتایج جستجو برای: قضیۀ گودل
تعداد نتایج: 125 فیلتر نتایج به سال:
یکی از مسائل مهم در فلسفۀ دکارت دور دکارتی است. این مسئله را اولینبار معاصران دکارت مطرح کردند؛ اینکه دکارت معتقد است: «اگر من یقین داشته باشم که خداوند وجود دارد و فریبکار نیست، میتوانم یقین داشته که هر آنچه را به طور واضح و متمایز ادراک کردهام صحیح است» و «فقط در صورتی که در ابتدا یقین داشته باشم که هر آنچه را به طور واضح و متمایز ادراک کنم صحیح است، میتوانم یقین داشته باشم که خداوند...
در این مقاله تحریرهای طوسی و مغربی، از راه تحقیق در ویژگیهای هر یک و تفاوتهای آنها با یکدیگر، بررسی میشود. طوسی در تحریر اُکَر تئودوسیوس به چارچوب ظاهری متن اصلی پایبند بوده است؛ در عین حال با اضافه کردن اصول موضوعه و چند قضیۀ مقدماتی به استحکام ساختار ریاضی این رساله افزوده است و جملاتی را که خود به متن اضافه کرده است با عبارات مشخصی چون «أقول» و «فی بعض النسخ» از متن اصلی جدا کرده است. شیوۀ نگ...
با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از مادّه، مواردی از خلط صورت با مادّه در منطق قدیم آشکار شده است. عدهای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به کار میرود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت میگیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می...
از زمانی که بذرهای اولیه نهضت تحلیلی افشانده شد تا ظهور شاخه های مختلف این نهضت، بنیانگذاران و آغازگران این مکتب بیش از هر چیز به تحلیل منطقی نظر دارند. تحلیلی با تکیه بر ابزار خاص خود منطق. بنیانگذار تحلیل منطقی را می توان از یک نظر گوتلوب فرگه دانست، و از نگاهی دیگر راسل. این هر دو در پی انتقاد بر زبان به تحلیل منطقی به عنوان ابزاری در جهت وضوح بخشی و آسان سازی زبان می نگرند. رویکرد فرگه را م...
در این پایان نامه، انرژی دقیق حالات مقید و ویژه توابع متناظر نوسانگر هماهنگ با اسپین نسبتی و سد جانب مرکز که بعنوان نوسانگر ایزوتونیک شناخته می شود، در حضور جمله برهم کنش تانسوری در d بعد با بهره گیری از روش تبدیل لاپلاس در حد تقارن شبه اسپین حاصل گردیده است. میدان مغناطیسی قوی بطور قابل توجهی، گشتاور مغناطیسی ذاتی فرمیونها را تحت تاثیر قرار داده فلذا نمی توان از اثر چنین میدانهایی در مطالعه تر...
مدیران بیش از همه چیز به ابزارهایی راحت و مطمئن نیاز دارند که آن ها را در انجام تصمیم هایی که به طور مداوم یا گاه گاه با آن مواجه هستند، یاری کنند. انواع توابع تجزیه و تحلیل مکانی gis این امکان را می?دهد که با استفاده از نقشه?های ورودی و از طریق عملگرهای تلفیقی، مناطق دارای پتانسیل بالای آب ?های زیرزمینی مشخص و در اختیار مدیران و کارشناسان منابع آب قرار گیرد. توابع تجزیه و تحلیل از لحاظ نحوه ع...
چارچوبی نظری برای داوری در باب اخذ در شعر بر مبنای نظریۀ نظمِ عبدالقاهر جرجانی و نظریۀ فرمالیسم روسی
این مطالعه میکوشد چارچوبی نظری برای داوری در باب وقوع اخذ در شعر طرح کند. پرسش این است که با چه معیاری میتوان حکم به وقوع اخذ در شعر متأخر از شعر متقدّم داد و با چه روشی میتوان نحوۀ این اخذ را ارزیابی کرد؟ روش مطالعه تحلیلی – تطبیقی است. ابتدا با نگاهی انتقادی روند مطالعات سرقت شعری در سنت بلاغت عربی بازخوانی میشود. در این بازخوانی تأکید میشود که عبدالقاهر جرجانی در ضمن مباحث مربوط به نظریۀ...
افضلالدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزارههای حقیقیه و خارجیه، گزارههای همیشهصادق و گزارههای همیشهکاذب را یافته است. این گزارهها پیش از این در منطق مرتبۀ اول صورتبندی شده و مورد بررسی قرار گرفتهاند و نشان داده شده است که صدق همیشگی این گزارهها نیازمند پیشفرض «وجود فرضی معدومات» است. در این مقاله، این گزارهها را در منطق مرتبۀ دوم بررسی کرده و نشان دادهایم که در ای...
در این مقاله به شرح برخی مفاهیمی می پردازیم که برای سنجش بزرگی یا کوچکی مجموعه ها در آنالیز ریاضی به کار رفته است. به ویژه با استفاده از مفهوم توپولوژیکی مجموعه های رسته اول، نشان می دهیم که بسیاری از رفتار های غیرمتعارف توابع در برخی فضاهای تابعی که گاهی خلافِ عقل سلیم به نظر می رسند، رفتارهای به اصطلاح توپولوژیکی - عام هستند.
قضیه ای کلاسیک در نظریۀ گروه ها می گوید اگر G یک 2-گروه متناهی باشد که تنها یک عضو مرتبۀ 2 دارد، آن گاه G دوری است یا با یک ٢-گروه کواترنیون تعمیم یافته یکریخت است. هدف این نوشته، ارائۀ برهانی جدید برای این قضیه است.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید