مروری بر نظریه اثبات

نویسنده

چکیده مقاله:

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

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

مبانی فقهی نظریه تعمیم ادله اثبات دعوا

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

متن کامل

مروری بر اثبات های مختلف از قضیه بورسوک-اولام

قضیه بورسوک -اولام به دلیل داشتن اثبات های مختلف، کاربردهای جالب و متنوع و قضیه های هم ارز با آن یکی از مهمترین ابزار توپولوژی جبری است که در کلی ترین فرم خود می گوید که هر تابع پیوسته ‎$f:mathbb{s}^nlongrightarrowmathbb{r}^n$‎ لااقل دو نقطه متقاطر را به یک مقدار می نگارد. و در حالت پیشرفته تر آن بیان می کند هر نگاشت فرد از ‎$mathbb{s}^{n-1}longrightarrow mathbb{s}^{n-1}$‎ درجه فرد دار...

15 صفحه اول

مروری بر نظریه انیشتین - اتر

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

15 صفحه اول

حجیت نظریه کارشناسی پزشکی در اثبات حجر

Medical expert’s opinion about psychological situation and extent of responsibility is known as a reason which to juridical courts refers for sentencing of incapacity. It is current in many countries. In Iran in the most situations medical expert opinions based on being insanity or non-intellectual growth are determinant, so expert opinions are very important. Here there is a question: co...

متن کامل

مروری انتقادی بر نظریه انقلاب اسکاچپول

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

متن کامل

منابع من

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

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

{@ msg_add @}


عنوان ژورنال

دوره 24  شماره شماره 35

صفحات  55- 71

تاریخ انتشار 2005-12-22

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

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

copyright © 2015-2023