دنیای ریاضی به هم ریخت / علامت = لزوما به معنی «مساوی» نیست!

به نظر می رسد که ریاضی دانان نمی توانند در مورد تعریف علامت مساوی (=) که دو چیز را باهم برابر می داند، به توافق برسند.

این اختلاف ممکن است برای برنامه های رایانه ای که در بررسی اثبات های ریاضی مورداستفاده قرار می گیرند، - دنیای ریاضی به هم ریخت / علامت = لزوما به معنی مساوی نیست! به نظر می رسد که ریاضی دانان نمی توانند در مورد تعریف علامت مساوی (=) که دو چیز را باهم برابر می داند، به توافق برسند.

این اختلاف ممکن است برای برنامه های رایانه ای که در بررسی اثبات های ریاضی مورداستفاده قرار می گیرند، دردسرساز شود.

در علم ریاضیات، مفاهیم بسیار مبهمی وجود دارد که به سختی می توان آن ها را در ذهن پذیرفت؛ مثلاً تا به امروز همه ما فکر می کردیم که معنا و مفهوم علامت مساوی (=) را به خوبی درک کرده ایم.

به نظر می رسد که ریاضی دانان نمی توانند در مورد تعریف علامت مساوی (=) که دو چیز را باهم برابر می داند، به توافق برسند.

این اختلاف ممکن است برای برنامه های رایانه ای که در بررسی اثبات های ریاضی مورداستفاده قرار می گیرند، دردسرساز شود.

ده ها سال است که این دعوای آکادمیک برقرار است، اما شدت آن اخیراً اوج گرفته؛ دلیلش هم این است که برنامه های رایانه ای که برای اثبات رسمی یا بررسی مدارک مورداستفاده قرار می گیرند، باید دستورالعمل های واضح و مشخصی داشته �