افسانهها و خطاهای مشهور در تاریخ ریاضیات؛ چه کسی واقعاً چه چیزی را کشف کرد؟
در کتابهای درسی، نام یک ریاضیدان معمولاً کنار یک قضیه، روش یا دنباله میآید؛ از «قضیه فیثاغورس» و «مثلث پاسکال» تا «دنباله فیبوناچی». این نامگذاری برای یادگیری و ارجاع مفید است، اما اگر آن را شناسنامه قطعیِ کشف بدانیم، تاریخ ریاضیات به مجموعهای از داستانهای ساده و گاه نادرست تبدیل میشود. بسیاری از ایدههای ریاضی پیش از آنکه نام امروزی خود را بگیرند، در تمدنهای مختلف و برای نیازهایی متفاوت پدید آمده بودند. گاهی یک نفر مسئلهای را حل کرد، فردی دیگر نخستین اثبات باقیمانده را نوشت، شخصی بعدی نمادگذاری کارآمدی ساخت و ریاضیدانی دیگر آن مفهوم را در شبکه آموزش و نشر رواج داد.
پرسش «چه کسی واقعاً کشف کرد؟» فقط زمانی پاسخ معنادار دارد که روشن کنیم منظور از کشف چیست: نخستین نمونه عملی، نخستین بیان عمومی، نخستین اثبات، نخستین متن باقیمانده، نخستین نمادگذاری یا نخستین انتشار اثرگذار؟ اسناد نیز کامل نیستند. بسیاری از نوشتهها از میان رفتهاند، بعضی آثار فقط در نقلهای متأخر شناخته میشوند و تاریخ یا تفسیر برخی لوحها و نسخهها محل بحث است. بنابراین نبودِ سند قدیمیتر، همیشه به معنای نبودِ دانش قدیمیتر نیست.
این مقاله چند روایت مشهور را با همین معیارها بازبینی میکند. هدف، کمرنگکردن سهم چهرههایی مانند فیثاغورس، خوارزمی، پاسکال، فیبوناچی، نیوتن یا لایبنیتس نیست؛ بلکه میخواهیم سهم دقیق هرکدام را از لایههای پیشین جدا کنیم. نتیجه معمولاً از یک پاسخ تکاسمی پیچیدهتر و در عین حال جذابتر است: ریاضیات اغلب محصول زنجیرهای از کشف، انتقال، بازنویسی، اثبات، نامگذاری و آموزش است. با این نگاه، هم نامهای مشهور معنای دقیقتری پیدا میکنند و هم سهم جوامع و نویسندگانی که کمتر دیده شدهاند، بدون اغراق آشکار میشود.
چرا پرسش «چه کسی کشف کرد؟» پاسخ یککلمهای ندارد؟
برای داوری درباره یک انتساب تاریخی، باید ابتدا نوع دستاورد را مشخص کنیم. «دانستن یک رابطه» با «اثباتکردن آن»، «ساختن روش عمومی» با «حل چند مثال» و «انتشار گسترده» با «نخستین مشاهده» یکسان نیست. تاریخنگار همچنین میان نخستین شاهدی که امروز در اختیار داریم و نخستین رخداد واقعی تفاوت میگذارد؛ زیرا سند باقیمانده فقط حد پایینِ قدمت دانش را نشان میدهد. این تفکیک ساده، بیشتر دعواهای ظاهری درباره مخترع یک مفهوم را روشن میکند و راه را برای دیدن سهمهای مکمل باز میگذارد.
نام یک قضیه معمولاً بیش از آنکه حکم مالکیت باشد، برچسبی برای ارتباط علمی است. این نام ممکن است به کسی اشاره کند که قضیه را اثبات کرد، صورت تازهای از آن داد، آن را در کتابی اثرگذار منتشر کرد یا در سنت آموزشی خاصی مشهور شد. نامها در زبانها و کشورها نیز یکسان نیستند؛ الگویی که در یک کشور «مثلث پاسکال» خوانده میشود، در سنتهای دیگر با نامهای متفاوت شناخته شده است.
برای رسیدن به پاسخ منصفانه، شش پرسش باید جداگانه بررسی شود: دقیقاً کدام گزاره یا روش موضوع بحث است؟ قدیمیترین شاهد مادی یا متنی چیست؟ آیا متن روش را توضیح میدهد یا فقط یک نمونه نشان میدهد؟ آیا اثباتی وجود دارد؟ چه کسی نمادگذاری یا صورت عمومی را ساخته است؟ و چه مسیرهایی برای انتقال دانش میان زبانها و تمدنها وجود داشته است؟ پاسخها ممکن است به شش شخص یا جامعه متفاوت برسند.
دو دام رایج نیز باید کنار گذاشته شود. نخست، حالگرایی است؛ یعنی مفهومی مدرن را بیکموکاست بر متن باستانی تحمیل کنیم. برای مثال، حل مسئلهای که امروز با معادله درجه دوم مینویسیم، الزاماً به معنای وجود جبر نمادین امروزی نیست. دوم، «قهرمانسازی» است؛ روایتی که شبکه استادان، مترجمان، کاتبان، مسئلهسازان و سنتهای آموزشی را حذف میکند تا داستان حول یک نابغه شکل بگیرد.
| نوع سهم | پرسش درست |
| شاهد اولیه | قدیمیترین متن یا شیء باقیمانده چه چیزی را واقعاً نشان میدهد؟ |
| روش | آیا فقط چند نمونه حل شده یا یک قاعده عمومی ارائه شده است؟ |
| اثبات | آیا چراییِ درستی نتیجه نشان داده شده یا فقط از آن استفاده شده است؟ |
| نمادگذاری | چه کسی زبان نوشتاریِ سادهتر و گسترشپذیرتر ساخت؟ |
| انتشار | چه کسی مفهوم را وارد آموزش، ترجمه یا شبکه علمی گسترده کرد؟ |
آیا فیثاغورس واقعاً قضیه فیثاغورس را کشف کرد؟
رابطه میان ضلعهای مثلث قائمالزاویه پیش از دوران فیثاغورس در چند سنت ریاضی دیده میشود، اما شناخت رابطه، تولید سهتاییهای عددی و ارائه اثبات عمومی سه ادعای متفاوتاند. لوحهای بابلی نشان میدهند که ریاضیدانان بینالنهرین بسیار پیش از سده ششم پیش از میلاد با محاسباتی مرتبط با ضلع و قطر و با سهتاییهای قائم آشنا بودند. در متون هند باستان نیز صورتهایی از این رابطه در زمینه ساخت محرابها دیده میشود. با این حال، نسبت دقیق هر سند با قضیه و تاریخ برخی متون باید با احتیاط بیان شود.
لوح مشهور پلیمپتون ۳۲۲، متعلق به دوره بابلی کهن، ردیفهایی از اعداد دارد که با سهتاییهای فیثاغورسی ارتباط دارند. درباره هدف اصلی جدول—آموزش، محاسبه یا کاربرد هندسی—اختلاف نظر وجود دارد، اما خود محاسبات نشان میدهند دانشی پیشرفته درباره نسبتهای سازگار با مثلث قائم وجود داشته است. این شاهد نمیگوید بابلیان دقیقاً همان قضیه را با صورت و برهان اقلیدسی بیان کردهاند؛ فقط روایت «هیچکس پیش از فیثاغورس رابطه را نمیشناخت» را ناموجه میکند.
درباره خود فیثاغورس مشکل دیگری داریم: نوشتهای از او باقی نمانده و گزارشهای زندگیش عمدتاً متأخرند. در جامعه فیثاغورسی نیز یافتهها میتوانستند به نام مکتب یا بنیانگذار آن نقل شوند. ازاینرو تاریخنگاران نمیتوانند با اطمینان بگویند فیثاغورس شخصاً نخستین اثبات را ساخته است. قدیمیترین اثبات نظاممند و باقیماندهای که معمولاً مبنای آموزش قرار میگیرد در «اصول» اقلیدس دیده میشود؛ اثری که چند قرن پس از فیثاغورس تدوین شد و خود حاصل یک سنت هندسی گسترده بود.
پس نام درست را نباید حذف کرد، بلکه باید درست فهمید: «قضیه فیثاغورس» نام رایج یک نتیجه است، نه گواه قطعی درباره نخستین کاشف. صورت محتاطانهتر چنین است: رابطه در سنتهای قدیمیتر شناخته شده بود؛ نقش شخصی فیثاغورس در کشف یا اثبات قطعی نیست؛ و اقلیدس اثباتی ماندگار در یک دستگاه برهانی ثبت کرد.
آیا صفر و جبر اختراع یک نفر بودند؟
جملههایی مانند «فلانی صفر را اختراع کرد» یا «خوارزمی جبر را ساخت» تنها وقتی دقیقاند که سطح نوآوری را توضیح دهند. صفر میتواند جای خالی در دستگاه ارزش مکانی، یک نشانه نوشتاری یا عددی باشد که در محاسبات قواعد مشخص دارد. جبر نیز ممکن است به معنای حل مسئلههای مجهول، روش عمومی حل معادلهها، دانشی مستقل یا زبان نمادین امروزی باشد. با تغییر تعریف، پاسخ تاریخی نیز تغییر میکند. افزون بر این، انتقال دانش عددی میان هند، جهان اسلام و اروپا سبب میشود میان پدیدآوردن، توضیحدادن و رواجدادن یک روش تفاوت بگذاریم.
در دستگاه شصتگانی بابلی، نشانهای برای جای خالی بهتدریج به کار رفت، اما این نقش با صفر بهعنوان عددی مستقل یکسان نبود. در آمریکای میانه نیز تمدن مایا نشانه صفر را در نظام تقویمی و عددی خود و مستقل از جهان قدیم به کار برد. در هند، دستگاه دهدهی ارزش مکانی و شیوههای محاسبه با صفر رشد کرد. براهماگوپتا در سال ۶۲۸ میلادی قواعدی صریح برای کار با صفر و اعداد منفی نوشت؛ هرچند توضیح او درباره تقسیم بر صفر مطابق تعریف امروزی نبود. بنابراین بهتر است او را صورتبندیکننده مهم حساب با صفر بدانیم، نه تنها فردی که مفهوم «هیچ» ناگهان به ذهنش رسید.
داستان جبر نیز لایهلایه است. مسئلههایی که امروزه با معادله خطی یا درجه دوم حل میکنیم در مصر و بینالنهرین باستان سابقه دارند. دیوفانتوس در سنت یونانی از شیوهای فشردهتر برای برخی مجهولها و عملیات استفاده کرد. اما محمد بن موسی خوارزمی در سده نهم میلادی موضوع را در رسالهای منظم کرد، انواع معادلههای درجه دوم را دستهبندی کرد و روشهای عمومی را با استدلال هندسی توضیح داد. واژه «جبر» از عنوان همان اثر آمده و کتاب او در شکلگیری جبر بهعنوان حوزهای آموزشی و مستقل بسیار اثرگذار بود.
در عین حال، جبر خوارزمی هنوز کلامی بود و از نمادگذاری امروزی استفاده نمیکرد. نسلهای بعدی در جهان اسلام، هند و اروپا دامنه روشها، کار با توانها، چندجملهایها و نمادها را گسترش دادند. حتی واژه الگوریتم نیز از صورت لاتینی نام خوارزمی آمده، اما الگوریتم به معنای عامِ روش مرحلهبهمرحله، پیش و پس از او نمونههای فراوان داشته است. سهم بزرگ خوارزمی را دقیقتر باید در نظاممندکردن، آموزشپذیرکردن و انتقال روشها دید.
آیا مثلث پاسکال و دنباله فیبوناچی نخستینبار در اروپا پدید آمدند؟
دو نام بسیار آشنا نمونه روشنی از فاصله میان نام امروزی و مسیر واقعی پیدایش هستند. آرایه ضرایب دوجملهای قرنها پیش از پاسکال در آثار ریاضی هند، ایران و چین ظاهر شده بود. اعدادی که امروز دنباله فیبوناچی مینامیم نیز پیش از لئوناردو پیزایی در پژوهشهای مربوط به وزنهای شعر سانسکریت دیده میشوند. بااینحال، پاسکال و فیبوناچی نقشهای واقعی و مهمی داشتند؛ خطا زمانی آغاز میشود که شهرت بعدی آنان را با نخستین ظهور جهانی یکی بدانیم. مقایسه نسخهها نشان میدهد یک ساختار عددی واحد میتواند برای شعر، استخراج ریشه، ترکیبیات یا یک مسئله داستانی به کار رود.
در چین، جیا شیان در سده یازدهم آرایهای برای محاسبه ضرایب داشت و یانگ هویی در سده سیزدهم آن را ثبت و توضیح کرد. در سنت فارسی و عربی، الکرجی و سپس عمر خیام با ضرایب بسط دوجملهای و روشهای مرتبط با استخراج ریشه کار کردند. در هند نیز الگوهای ترکیبیاتیِ مرتبط با وزن شعر پیشینه داشت. بلز پاسکال در سده هفدهم خواص این آرایه را بهشکلی منسجم بررسی کرد و آن را در پیوند با ترکیبیات و احتمال به کار گرفت. پس «مثلث پاسکال» نامی جاافتاده برای آرایهای بسیار قدیمیتر است.
درباره دنباله ۱، ۱، ۲، ۳، ۵ و ادامه آن نیز باید میان مراحل فرق گذاشت. پژوهشگران شعر سانسکریت ترکیبهای هجاهای کوتاه و بلند را میشمردند؛ در این زمینه، رابطه بازگشتی دنباله در آثار و شرحهای هندی پیش از سده سیزدهم دیده میشود. فیبوناچی این اعداد را در «لیبر آباکی» و در قالب مسئله مشهور زادآوری خرگوشها به خوانندگان اروپایی معرفی کرد. خود اصطلاح «دنباله فیبوناچی» بسیار دیرتر، در سده نوزدهم، رواج یافت.
یک افسانه وابسته نیز میگوید فیبوناچی «نسبت طلایی را در همه طبیعت کشف کرد». رابطه حدی میان نسبت جملههای متوالی دنباله و عدد طلایی درست است، اما از آن نمیتوان نتیجه گرفت هر مارپیچ صدف، گل، بدن انسان یا بنای تاریخی دقیقاً بر اساس این نسبت ساخته شده است. بخشی از نمونههای مشهور با اندازهگیری گزینشی یا تقریب آزاد شکل گرفتهاند. وجود یک رابطه ریاضی واقعی، مجوز تعمیم تاریخی و طبیعی نامحدود نیست.
حسابان را نیوتن کشف کرد یا لایبنیتس؟
پاسخ پذیرفتهشده امروز این است که ایزاک نیوتن و گوتفرید ویلهلم لایبنیتس حساب دیفرانسیل و انتگرال را بهطور مستقل توسعه دادند، هرچند زمان، زبان و مسیر فکری آنان یکسان نبود. نیوتن در دهه ۱۶۶۰ روش «فلوکسیونها» را پروراند، اما بسیاری از نتایجش دیر منتشر شد. لایبنیتس در دهه ۱۶۷۰ به روش خود رسید و مقالهاش را در ۱۶۸۴ منتشر کرد. نمادهای مشتق و انتگرال او، از جمله dx و علامت ∫، برای گسترش بعدی حسابان بسیار مناسب بودند. همین تفاوت میان زمانِ کار خصوصی و زمانِ انتشار، هسته اصلی اختلاف تقدم را ساخت و داوری ساده را دشوار کرد.
این دستاورد نیز از خلأ پدید نیامد. روش افنا در ریاضیات یونانی، کارهای ارشمیدس درباره مساحت و حجم، پژوهشهای ریاضیدانان هند—بهویژه سنت کرالا درباره سریهای نامتناهی—و تلاشهای کاوالیری، فرما، دکارت، والیس و بارو در اروپا، قطعات مهمی از زمینه حسابان را فراهم کردند. نیوتن و لایبنیتس این جریانها را به دستگاههایی عمومیتر برای تغییر، مماس، مساحت و رابطه معکوس مشتق و انتگرال رساندند.
دعوا از اواخر سده هفدهم بالا گرفت. هواداران نیوتن، لایبنیتس را به اقتباس متهم کردند و گزارش انجمن سلطنتی بریتانیا در ۱۷۱۲ به سود نیوتن رأی داد؛ اما نیوتن، که آن زمان رئیس انجمن بود، در تنظیم گزارش نقشی تعیینکننده داشت. بررسی یادداشتها و توالی کارها سبب شده است تاریخنگاری جدید، با وجود تماسهای علمی و آگاهی محدود آنان از کار یکدیگر، نظریه سرقت را نپذیرد و از کشف مستقل سخن بگوید.
حتی پرسش «کدامیک اول بود؟» فقط یک پاسخ ندارد. نیوتن زودتر به بسیاری از ایدهها رسید؛ لایبنیتس زودتر روشش را منتشر کرد؛ و دستگاه نمادگذاری لایبنیتس در سنت قارهای اثر مستقیمتری بر آموزش و توسعه حسابان گذاشت. بنابراین داوری کامل باید دستکم سه رتبه جدا بدهد: تقدم در کار خصوصی، تقدم در انتشار و اثرگذاری نمادگذاری. این پرونده نمونه کلاسیک آن است که چرا یک مدال واحد برای «مخترع» تاریخ را تحریف میکند.
جمعبندی
در تاریخ ریاضیات، پاسخ درست اغلب یک نام نیست، بلکه نقشهای از سهمها است. یک تمدن مسئله را صورتبندی میکند، دیگری روش محاسباتی میسازد، نویسندهای آن را نظاممند میکند، ریاضیدانی اثبات میآورد و نسل بعد نمادگذاری یا نامی ماندگار به آن میدهد. چنین روایتی نه از ارزش چهرههای مشهور کم میکند و نه سهم سنتهای کمتر دیدهشده را اغراقآمیز میسازد؛ فقط نوع دستاورد هرکدام را دقیقتر مشخص میکند. همچنین به ما یادآوری میکند که حفظ، ترجمه و آموزش متنها گاهی به اندازه لحظه ابداع برای ماندگاری یک مفهوم اهمیت داشتهاند.
برای سنجش هر ادعای تاریخی، ابتدا واژه «کشف» را تعریف کنید. سپس قدیمیترین سند باقیمانده، محتوای واقعی آن سند، تاریخگذاری، امکان انتقال فرهنگی و تفاوت میان نمونه، قاعده، اثبات، نمادگذاری و انتشار را بررسی کنید. عبارتهایی مانند «نخستین نمونه شناختهشده» یا «قدیمیترین متن باقیمانده» معمولاً علمیتر از ادعای مطلق «اولین انسان» هستند.
مرور پروندههای این مقاله نشان میدهد رابطه قائمالزاویه پیش از فیثاغورس شناخته شده بود، اما صورت برهانیِ ماندگار آن داستان جداگانهای دارد؛ صفر حاصل تحول چند نقش و چند سنت بود؛ خوارزمی جبر را نظاممند و اثرگذار کرد، نه اینکه همه پیشینه آن را از صفر بسازد؛ آرایه پاسکال و دنباله فیبوناچی پیشینههای آسیایی داشتند؛ و حسابان مدرن در دو مسیر مستقل نیوتنی و لایبنیتسی شکل گرفت.
پس هنگام دیدن نام یک ریاضیدان کنار یک مفهوم، آن نام را نقطه ورود به تاریخ بدانید، نه پایان تحقیق. پرسش دقیقتر این نیست که «مالک این ایده چه کسی بود؟» بلکه این است که «هر شخص، متن و تمدن کدام مرحله از تبدیل یک مسئله به دانش عمومی را پیش برد؟» این تغییر پرسش، تاریخ ریاضیات را هم منصفانهتر میکند و هم به واقعیتِ شکلگیری دانش نزدیکتر.
سؤالات متداول
آیا نام یک قضیه همیشه نام نخستین کاشف آن است؟
خیر. نام قضیه ممکن است به اثباتکننده، منتشرکننده، نظاممندکننده یا چهرهای اشاره کند که آن نتیجه را در یک سنت آموزشی مشهور کرده است. نامگذاریهای ریاضی قراردادهای تاریخیاند و بهتنهایی سند تقدم نیستند.
چرا نمیتوان با یافتن قدیمیترین سند، نخستین کاشف را قطعی شناخت؟
زیرا بسیاری از اسناد از میان رفتهاند و نسخه باقیمانده ممکن است رونوشتی از دانشی بسیار قدیمیتر باشد. قدیمیترین سند موجود معمولاً فقط نشان میدهد مفهوم دستکم تا آن زمان شناخته شده بود، نه اینکه دقیقاً همان زمان و به دست همان نویسنده پدید آمد.
آیا گفتن «قضیه فیثاغورس» از نظر تاریخی غلط است؟
نه. این نام، اصطلاح رایج و قابلفهم قضیه است. خطا زمانی رخ میدهد که از نام نتیجه بگیریم فیثاغورس بدون تردید نخستین کسی بوده که رابطه را شناخته یا اثبات کرده است. در متن تاریخی بهتر است نام رایج همراه با توضیح پیشینه بیاید.
آیا خوارزمی مخترع جبر بود؟
خوارزمی یکی از بنیادیترین چهرههای تاریخ جبر است و رساله او این دانش را منظم، عمومی و آموزشپذیر کرد؛ همچنین واژه جبر از عنوان اثر او آمده است. بااینحال، حل مسئلههای جبری پیش از او در چند تمدن وجود داشت و جبر نمادین جدید نیز قرنها بعد شکل گرفت.
میان نیوتن و لایبنیتس کدامیک حسابان را زودتر منتشر کرد؟
نیوتن در دهه ۱۶۶۰ زودتر روی روش خود کار کرد، اما لایبنیتس در ۱۶۸۴ زودتر شرحی از حساب دیفرانسیل را منتشر کرد. اجماع تاریخی امروز این است که هر دو بهطور مستقل دستگاههای خود را توسعه دادند.
چگونه یک ادعای مشهور درباره تاریخ ریاضیات را سریع ارزیابی کنیم؟
بپرسید ادعا درباره نخستین نمونه، نخستین متن، اثبات، نمادگذاری یا انتشار است؛ سپس به تاریخ و ماهیت سند، فاصله زمانی گزارش با رخداد و دیدگاه تاریخنگاران متخصص توجه کنید. ادعاهای مطلق و تکاسمی معمولاً به توضیح بیشتری نیاز دارند.
