“آژنگ نیوز”:کتاب داستان اثبات: منطق و تاریخ ریاضیات؛منتشر شد. نویسنده: جان استیلول.جلد سخت قیمت: ۲۹٫۹۵ دلار / ۲۵٫۰۰ پوند شابک .تاریخ انتشار: ۸ سپتامبر ۲۰۲۶ .تعداد صفحات: ۴۵۶ ابعاد: ۶٫۱۳ در ۹٫۲۵ اینچ تصاویر: ۹۸ تصویر رنگی + ۷۱ تصویر سیاهوسفید
چگونه مفهوم اثبات باعث ایجاد دانش ریاضی شده است.
کتاب «داستان اثبات» سیر تحول مفهوم اثبات —که یکی از مهمترین و تعیینکنندهترین ویژگیهای تفکر ریاضی است— را از طریق بررسی مقاطع کلیدی تاریخ آن واکاوی میکند. جان استیلول با گذر از قضیه فیثاغورس تا دوران معاصر و با نگاهی به تمامی شاخههای اصلی ریاضیات، نشان میدهد که اثبات، مفهومی حیاتی در ریاضیات است که الهامبخش نوآوری بوده و نقشی اساسی در تولید دانش ایفا میکند.
استیلول بحث خود را با اقلیدس و تأثیر او بر توسعه هندسه و روشهای اثبات آن آغاز میکند و سپس به سراغ جبر میرود؛ شاخهای که در ابتدا به عنوان حوزهای مستقل شکل گرفت، اما بعدها از نظر تأثیرگذاری ریاضی، همتراز و رقیب هندسه شد. بهویژه، فرآیندهای نامتناهی در حساب دیفرانسیل و انتگرال (آنالیز) در ابتدا نوعی «جبرِ مقادیر بینهایتکوچک» تلقی میشدند و این حوزه به عرصهای برای اثباتهای جبری و محاسباتی بدل گشت، نه اثباتهای اصلموضوعی به سبک اقلیدس.
استیلول در ادامه به حوزههای نظریه اعداد، هندسه نااقلیدسی، توپولوژی و منطق میپردازد و شکاف عمیق میان حساب اعداد طبیعی و اعداد حقیقی را بررسی میکند. در ژرفای این مباحث، متفکرانی همچون کانتور، گودل، تورینگ و دیگران دریافتند که مفهوم اثبات در نهایت بخشی از خودِ حساب (نظریه اعداد) است. این واقعیت شگرف، محدودیتهای بنیادینی را بر دایره قضایای قابلاثبات و مسائل قابلحل تحمیل میکند. کتاب «داستان اثبات» با روشن ساختن سازوکار ریاضیات در بنیادیترین سطوح آن، دیدگاهی تازه و جذاب درباره قدرت و پیشرفت این حوزه ارائه میدهد.
گروه رسانه