مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

مقاله مقاله نشریه

مشخصات مقاله

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

710
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

مناقشه «اثبات»

صفحات

 صفحه شروع 77 | صفحه پایان 92

چکیده

حدس چهار رنگ - اینکه برای رنگ کردن هر نقشه جغرافیایی چهار رنگ کافی است - یکی از حدس های مشهور ریاضی است که بیش از صد سال فکر ریاضی دانان را به خود مشغول کرده بود. در سال (1976) اثبات کاملی از این قضیه با استفاده از کامپیوترها ارایه شد. این اثبات قابل بررسی, بازبینی و تایید مستقیم به وسیله یک عامل عقلانی نبود. یعنی ریاضی دانان نمی توانستند تک تک مراحل این اثبات را به وسیله دست و مداد و کاغذ کنترل نمایند. به عبارت دیگر این اثبات صوری پذیر بود اما بررسی پذیر نبود. بنابراین چنین اثباتی یک اثبات به شیوه سنتی در ریاضیات نبود. پس آیا اثبات کامپیوتری واقعا یک اثبات ریاضی بود؟ پاسخ های متفاوت و معارض هم به این پرسش سبب مناقشه عظیمی درباره مفهوم «اثبات» یعنی بنیانی ترین مفهوم در ریاضیات شد و مجموعه ای از مسایل عمیق فلسفی را بوجود آورد. اما از آنجا که اثبات های کامیپوتری خصلتی کم و بیش تجربی به اثبات ریاضی می دهند بحران اثبات همچنان ادامه یافت تا سرانجام به تاسیس مجله تخصصی ریاضیات تجربی در (1992) انجامید. این مقاله سعی دارد با استناد به شواهد تاریخی به بیان پیامدهای فلسفی این مناقشه در عرصه ریاضیات بپردازد.

استنادها

  • ثبت نشده است.
  • ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    مقدم حیدری، غلامحسین. (1386). مناقشه «اثبات». نامه مفید، 13(62 (نامه فلسفی))، 77-92. SID. https://sid.ir/paper/3695/fa

    Vancouver: کپی

    مقدم حیدری غلامحسین. مناقشه «اثبات». نامه مفید[Internet]. 1386؛13(62 (نامه فلسفی)):77-92. Available from: https://sid.ir/paper/3695/fa

    IEEE: کپی

    غلامحسین مقدم حیدری، “مناقشه «اثبات»،” نامه مفید، vol. 13، no. 62 (نامه فلسفی)، pp. 77–92، 1386، [Online]. Available: https://sid.ir/paper/3695/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
    فایل موجود نیست.
    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button