خبرگزاری فارس گوناگون کد خبر : ۳۹۷۸۲۱۵
تاریخ انتشار : ۱۸ بهمن ۱۳۹۵ ساعت ۰۳:۴۵
اغلب ریاضی­دانان اثبات های تصویری را به ­عنوان یک نوع اصیل از اثبات های ریاضیاتی نمی‌پذیرند یا در پذیرش آنها تردید دارند. در این مقاله ده ایراد متداول یا احتمالی وارد بر این نوع اثبات ها صورت­بندی شده است.

چکیده

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

کلیدواژه ها: اثبات های تصویری؛ اعتمادپذیری؛ مشروعیّت؛ خودبسندگی؛ مقبولیّت؛ خطاپذیری

نویسنده:

حسین بیات

دو فصلنامه تأملات فلسفی - دوره 6، شماره 16، بهار و تابستان 1395.

برای مشاهده کامل مقاله روی فایل مقابل کلیک کنید.   

منبع این خبر (خبرگزاری فارس) است و جستجوگر خبر سایت تیتر نو در قبال محتوای آن هیچ مسئولیتی ندارد. چنانچه محتوا را شایسته تذکر میدانید، خواهشمند است کد خبر (3978215) را همراه با ذکر منبع و موضوع به شماره 3000123095 پیامک بفرمایید.