3 ماه پیش
دنیای ریاضی به هم ریخت علامت لزوما به معنی مساوی نیست خبرآنلاین
در علم ریاضیات، مفاهیم بسیار مبهمی وجود دارد که بهسختی میتوان آنها را در ذهن پذیرفت؛ مثلاً تا به امروز همه ما فکر میکردیم که معنا و مفهوم علامت مساوی (=) را بهخوبی درک کردهایم.
غزال زیاری: به نظر میرسد که ریاضیدانان نمیتوانند در مورد تعریف علامت مساوی (=) که دو چیز را باهم برابر میداند، به توافق برسند. این اختلاف ممکن است برای برنامههای رایانهای که در بررسی اثباتهای ریاضی مورداستفاده قرار میگیرند، دردسرساز شود.
به گزارشخبرآنلاین، دهها سال است که این دعوای آکادمیک برقرار است، اما شدت آن اخیراً اوج گرفته؛ دلیلش هم این است که برنامههای رایانهای که برای اثبات رسمی یا بررسی مدارک مورداستفاده قرار میگیرند، باید دستورالعملهای واضح و مشخصی داشته باشند و تعاریف مبهم از مفاهیم ریاضی که قابل تفسیرند یا به رایانههای زمینه تکیه دارند، در این راستا کارایی نخواهند داشت.
کوین بازارد، ریاضیدان بریتانیایی امپریال کالج لندن، در هنگام همکاری با برنامهنویسان کامپیوتری، با این مشکل مواجه شد. همین باعث شد تا او به بازبینی تعریف «این برابر است با آن» بپردازد و مفاهیم منطقی متعددی را در مورد برابری به چالش بکشد.
بازارد دراینباره مینویسد: «۶ سال پیش، فکر میکردم مفهوم تساوی را در ریاضی میدانم و این را اصطلاح کاملاً تعریفشدهای میدانستم؛ با شروع تلاشهایم، ریاضیات سطوح بالا را در کامپیوتری که اثبات قضایا را انجام میداد، به کار گرفتم. در آن زمان کشف کردم که مفهوم برابری یا تساوی در ریاضی، بهمراتب پیچیدهتر از چیزی است که تا قبل از آن میدانستم.»
تاریخچه مفهوم تساوی در ریاضی
سال ۱۵۵۷ بود که رابرت رکورد، ریاضیدان ولزی، علامت تساوی را (=) با دو خط موازی که به زیبایی نشاندهنده برابری بین اجسام دو طرف علامت است، به دنیا معرفی کرد.
این مفهوم در ابتدا موردتوجه قرار نگرفت، اما باگذشت زمان، نماد شهودی آقای رکورد، جایگزین عبارت لاتین "aequalis" شد و بعدها علوم کامپیوتر را پایهگذاری کرد. ۴۰۰ سال پس از معرفی این علامت توسط رابرت رکورد و در سال ۱۹۵۷، برای اولین بار از علامت مساوی بهعنوان بخشی از زبان برنامهنویسی کامپیوتری FORTRAN I استفاده شد.
مفهوم تساوی در دنیای ریاضیات، تاریخچه بهمراتب طولانیتری دارد و دستکم به یونان باستان برمیگردد. بازارد دراینباره گفته که ریاضیدانان مدرن، در عمل از اصطلاح «به نسبت آزاد» برای مفهوم تساوی استفاده میکنند.
در استفاده روزمره و آشنا برای ما، علامت تساوی در حقیقت تنظیمکننده معادلاتی است که در ریاضیات ارزش یا معنی یکسانی دارند؛ یعنی چیزی که میتواند با چند تغییر و تبدیل منطقی ازیکطرف بهطرف دیگر ثابت شود؛ مثلاً عدد صحیح ۲ توصیفکننده جمع یکجفت عدد (۱ + ۱) است.
اما تعریف دوم از مفهوم «تساوی» از اواخر قرن نوزدهم و با ظهور نظریه مجموعهها در بین ریاضیدانان مورداستفاده قرار گرفت. در آن زمان نظریه مجموعهها تکامل یافت و بدین ترتیب تعریف ریاضیدانان از مفهوم برابری نیز گسترش پیدا کرد.
ایزومورفیسم متعارف در علم ریاضی
مجموعهای مثل {۱، ۲، ۳} را میتوان «مساوی» (همارز) مجموعهای مثل {a, b, c} در نظر گرفت؛ دلیلش وجود درکی ضمنی به نام ایزومورفیسم (یکریختی) متعارف است که شباهتهای بین ساختار گروهها را مقایسه میکند.
بازارد دراینباره گفت: «این مجموعهها به روشی طبیعی باهم مطابقت دارند؛ ریاضیدانان متوجه شدند که اگر آنها را هم برابر بدانیم، کار واقعاً راحت خواهد بود.»
حالا و با در نظر گرفتن ایزومورفیسم (یکریختی) متعارف به معنای برابری، ریاضیدانانی که سعی میکنند با استفاده از رایانه، اثباتهایی ازجمله مفاهیم بنیادی چند دههای را به شکلی رسمی ارائه دهند، با مشکلاتی جدی روبهرو میشوند.
بازارد با اشاره به تلاشهای الکساندر گروتندیک، ریاضیدان قرن بیستم برای توصیف برابری در نظریه مجموعهها گفت: «هیچیک از سیستمهای رایانهای موجود، شیوه استفاده ریاضیدانی مثل گروتندیک را از نماد مساوی درک نمیکنند.»
بعضی از ریاضیدانان حالا بر این باورند که باید مفاهیم ریاضی را مجدداً تعریف کرد تا بهطور رسمی ایزومورفیسم (یکریختی) متعارف با مفهوم «مساوی» یکی و برابر دانسته شود؛ اما بازارد مخالف این موضوع است و فکر میکند که ناهماهنگی بین ریاضیدانان و ماشینها، باید ذهن ریاضیدانان را وادار کند که درباره منظور دقیقشان از مفاهیم پایهای ریاضی مثل «تساوی» تجدیدنظر کنند، بهنحویکه رایانهها بتوانند آنها را درک کنند.
او دراینباره میگوید: «وقتی کسی مجبور میشود تا منظور واقعیاش را بنویسد و نمیتواند پشت کلماتی که به شکلی نادرست تعریفشدهاند پنهان شود، درمییابد که باید کارهای اضافی انجام دهد یا حتی درباره نحوه ارائه ایدههای خاصش تجدیدنظر کند.»
منبع:sciencealert
۵۴۳۲۱
#اخبار_دانش منبع: خبرآنلاین
بیشتر...
تبلیغات
تبلیغات
مطالب مرتبط
مقایسه لنز ۲۴mm و ۵۰mm برای عکاسی از اشخاص. انتخاب لنز دوربین, عکاسی پرتره, لنز دوربین
4 روز پیش
سه لنز پرایم که هر عکاس پرتره باید آنها را در نظر بگیرد. لنز دوربین
4 روز پیش
چطور در خانه یک سافت باکس مقوایی رایگان بسازیم. خلاقیت در عکاسی, سافت باکس, نورپردازی
4 روز پیش
راههای تغییر IP به آی پی ایران از خارج کشور چیست؟ در دنیای امروز، دسترسی به سایتهای ایرانی و استفاده از خدمات بانکی ایران از خارج کشور به دلایل مختلفی
۱ هفته پیش
دیدن بینی یا عمل بینی در خواب میتواند تعابیر و معانی متعددی داشته باشد. به طور کلی اگر در خواب ببینید که بینی شما عمل شده، سوراخهای آن کوچک شده و تغییر
۱ هفته پیش
در شهر مشهد هتلهای بسیاری با کیفیتهای بالا با هدف جلب رضایت مسافران و توریستان ساخته شده است. بسیاری از این هتلها در قالب هتل آپارتمان احداث شدهاند.
۱ هفته پیش
شکرگزاری روزانه از خدا فواید بسیاری برای ما انسان ها دارد، اولین نکته بهبود سلامت روانی ماست، وقتی که بابت دریافت نعمات از خداوند شکرگزاری میکنیم استرس و
۱ هفته پیش
تکنیکهای زوجدرمانی گاتمن رویکردی تثبیتشده و مؤثر برای کمک به زوجها در بهبود روابط و دستیابی به شادی و رضایت بیشتر در زندگی مشترکشان است. این درمان که
۱ هفته پیش
چهار افسانه رایج در مورد دوربین های فول فریم. انتخاب دوربین, سنسور دوربین
4 روز پیش
بیشتر...