نمایش مبدأ برای زیبایی ریاضی

[[پرونده:Pythagorean proof (1).svg|300px|thumb|یک نمونه از «زیبایی در روش»، اثبات درستی [[قضیه فیثاغورس|قضیهٔ فیثاغورس]] به روش شکلی، این روش در عین سادگی بسیار هوشمندانه است.]]
بیشتر [[ریاضی‌دان|ریاضی‌دانان]] زمینهٔ مطالعاتی شان و در حالت عمومی تر کل ریاضی را همراه با لذت و [[زیبایی‌شناسی|زیبایی]] می‌دانند برای همین برای توصیف ریاضیات (یا حداقل برخی بخش‌های آن) از صفت ''زیبا'' استفاده می‌کنند. برخی ریاضی را به [[هنر]] تشبیه می‌کنند و بعضی دیگر آن را یک فعالیت خلاقانه می‌دانند. اما در بیشتر موارد ریاضی را با [[شعر]] و [[موسیقی]] مقایسه می‌کنند. [[برتراند راسل]] احساس خود پیرامون '''زیبایی ریاضی''' را چنین بیان کرد:<ref>{{cite book|last=Russell|first=Bertrand|authorlink=Bertrand Russell|title=Mysticism and Logic: And Other Essays|publisher=[[Longman]]|date=1919|page=60|chapter=The Study of Mathematics|url=http://books.google.com/?id=zwMQAAAAYAAJ&pg=PA60&dq=Mathematics+rightly+viewed+possesses+not+only+truth+but+supreme+beauty+a+beauty+cold+and+austere+like+that+of+sculpture+without+appeal+to+any+part+of+our+weaker+nature+without+the+gorgeous+trappings+inauthor:Russell|accessdate=2008-08-22}}</ref>
{{نقل قول|ریاضیات، در جایگاه واقعی خود نه تنها حقیقت را حکایت می‌کند بلکه در منتها الیه زیبایی است - یک زیبایی سرد و تلخ مانند آنچه که در یک [[تندیس‌گری|تندیس]] می‌بینیم بدون هیچگونه نشانه‌ای از طبیعت ضعیف تر ما، بدون زیبایی‌های فریبندهٔ نقاشی و موسیقی و همچنان در انتهای خلوص و توانایی در نمایش کمال، چیزی که تنها بالاترین هنر قادر به نمایش آن است. ذات حقیقی سرخوشی و غرور. احساس شکستن محدودیت‌های یک انسان معمولی و بالاتر رفتن، و این چیزی است که نشانهٔ اوج برتری است و تنها در ریاضی و شعر می‌توان آن را جستجو کرد.}}

[[پل اردوش]] احساسش دربارهٔ غیرقابل وصف بودن ریاضیات را چنین بیان کرد: «اعداد برای چه زیبا هستند؟ مانند این است که بپرسیم چرا [[سمفونی شماره ۹ (بتهوون)|سمفونی ۹ بتهوون]] زیبا است. اگر دلیل آن را نمی‌دانید کسی هم نمی‌تواند آن را به شما بگوید. من ''می‌دانم'' که اعداد زیبایند. اگر آن‌ها زیبا نباشند پس هیچ چیز زیبا نیست.»<ref>{{cite book|last=Devlin|first=Keith|title=The Math Gene: How Mathematical Thinking Evolved And Why Numbers Are Like Gossip|publisher=[[Basic Books]]|date=2000|page=140|chapter=Do Mathematicians Have Different Brains?|url=http://books.google.com/?id=AJdmfYEaLG4C&pg=PA140&lpg=PA140&dq=Why+are+numbers+beautiful%3F+It's+like+asking+why+is+Beethoven's+Ninth+Symphony+beautiful. +If+you+don't+see+why,+someone+can't+tell+you. +I+know+numbers+are+beautiful. +If+they+aren't+beautiful,+nothing+is.|accessdate=2008-08-22|isbn=978-0-465-01619-8}}</ref>

== زیبایی در روش ==
ریاضی‌دانان برای وصف یک روش خوب و زیرکانهٔ [[برهان|اثبات]] از عبارت [[ظرافت|ظریف]] {{به انگلیسی|elegant}} استفاده می‌کنند. بسته به زمینهٔ مورد بحث این عبارت معانی مختلف خواهد داشت:
* یک روش اثبات که تا جایی که ممکن است از کمترین فرض‌های اضافی یا نتایج قضیه‌های قبلی استفاده می‌کند.
* یک روش اثبات که برخلاف دیگر روش‌ها بسیار کوتاه است.
* یک روش اثبات که به گونهٔ شگفت‌آوری به نتیجه می‌رسد (برای نمونه نظریه‌هایی را به کار می‌برد که در ظاهر هیچ ارتباطی با موضوع ندارند)
* یک روش اثبات که برپایهٔ بینشی نو و بکر استوار است.
* یک روش اثبات که می‌توان به آسانی از آن حالت کلی تر را نتیجه گرفت و برای حل مجموعه‌ای از مسئله‌های مشابه آن را به کار برد.

ریاضی‌دانان معمولاً در جستجوی راه حل‌های ''ظریف'' و زیرکانه‌اند برای همین برای اثبات یک مطلب همیشه راه‌های گوناگون و مستقل را امتحان می‌کنند - اولین راه حلی که به دست می‌آید معمولاً بهترین آن نیست. برای نمونه [[قضیه فیثاغورس|قضیهٔ فیثاغورس]] قضیه‌ای است که نسبت به دیگر قضیه‌ها، بیشترین تعداد اثبات برای آن معرفی شده‌است و صدها مورد از آن‌ها منتشر شده‌است.<ref>[[Elisha Scott Loomis]] published over 360 proofs in his book Pythagorean Proposition (ISBN 0-87353-036-5).</ref> قضیهٔ دیگری که اثبات‌های زیادی برای آن معرفی شده‌است، قضیهٔ [[روابط متقابل درجهٔ دوم|روابط متقابل درجه دوم]] است [[کارل فریدریش گاوس]] به تنهایی هشت اثبات مختلف برای آن ارائه کرده‌است.

درمقابل نتایجی که از دید منطق درست به نظر می‌آیند، ولی درگیر رابطه‌های ریاضی پرزحمتند، یا روش‌های که جزئیات سنگین در آن‌ها وجود دارد، یا رویکردهای خیلی معمولی یا رویکردهایی که برپایهٔ تعداد زیادی از اصل‌ها یا نتایج قضایای قبلی بنا شده‌اند، هیچ‌یک از این روش‌های اثبات ظریف و زیرکانه به‌شمار نمی‌روند و احتمالاً بر آن‌ها نام ''زشت'' {{به انگلیسی|ugly}} یا ''زُمخت'' {{به انگلیسی|clumsy}} گذاشته می‌شود.

== زیبایی در نتایج ==
[[پرونده:EulerIdentity2.svg |بندانگشتی|220px|با شروع از ''e''<sup>0</sup> = ۱ و حرکت با سرعت ''i'' به مدت π و بعد اضافه کردن ۱، به مبدأ می‌رسیم.]]

برخی ریاضی‌دانان (Rota سال ۱۹۷۷، ص ۱۷۳) بر این باورند که نتیجه‌هایی در ریاضی را می‌توان زیبا خواند که دو حوزهٔ متفاوت و به ظاهر کاملاً بی ارتباط در ریاضی را به هم مربوط می‌کنند. این نتیجه‌ها اغلب با عنوان ''عمیق'' {{به انگلیسی|deep}} توصیف می‌شوند.

اغلب بسیار مشکل می‌توان همه جهان ریاضی را دربارهٔ عمیق بودن یک نتیجه هم نظر یافت. در ادامه چند نمونه از این نتیجه‌ها آورده شده‌است. نخستین مورد [[تساوی اویلر]] است:
{{چپ‌چین}}
:<math>\displaystyle e^{i \pi} + 1 = 0\,.</math>
{{پایان چپ‌چین}}
فیزیکدان بزرگ [[ریچارد فاینمن]] این نتیجه را برجسته‌ترین رابطهٔ ریاضی (''the most remarkable formula in mathematics'') نامید.

نمونه‌های معاصر از این گونه نتیجه‌ها، عبارتند از modularity theorem که میان خم‌های بیضی-گون و فرم‌های modular رابطهٔ مهمی برقرار می‌کند (تلاش در این زمینه باعث شد تا [[اندرو وایلز]] و [[رابرت لانگلندز]] به [[جایزه ولف|جایزهٔ ولف]] دستیاب‌اند) و monstrous moonshine که میان Monster group و modular functions بوسیلهٔ نظریهٔ ریسمان رابطه برقرار کرد. [[ریچارد بورچردز]] برای این کار [[جایزه فیلدز|جایزهٔ فیلدز]] را دریافت کرد.

درمقابل ''عمیق'' (''deep'') می‌توان از صفت ''بدیهی'' (''trivial'') استفاده کرد. یک قضیهٔ بدیهی را می‌توان به آسانی و در نگاه نخست از نتایج قضیه‌های قبلی بدست آورد. یا قضیه‌ای است که تنها در بعضی حالات خاص درست است. گاهی ممکن است یک عبارت از یک قضیه به اندازهٔ کافی بکر باشد که بتوانیم آن را ''عمیق'' در نظر بگیریم اما اثباتی که برای آن پیدا می‌شود کاملاً آشکار است.

[[گادفری هارولد هاردی]] در کتاب [[عذرخواهی یک ریاضی‌دان (کتاب)|عذرخواهی یک ریاضی‌دان]] (''A Mathematician's Apology'') پیشنهاد می‌دهد که یک نتیجه یا اثبات ''زیبا''، دارای سه ویژگی «گریزناپذیری» (''inevitability'')، «غیرمنتظره بودن» (''unexpectedness'') و «کوتاه بودن» (''economy'') است.<ref>{{cite book | last=Hardy, G.H. | chapter = 18}}</ref>

اما روتا، با شرط غیرمنتظره بودن به عنوان یکی از نشانه‌های زیبایی موافق نیست و برای آن یک نمونه می‌آورد:<ref>{{cite|last = Rota|year = 1977|page = 172}}</ref>
{{نقل قول|بسیاری از قضیه‌های ریاضی هنگامی که برای اولین بار معرفی شدند به نظر غیرمنتظره و شگفت‌انگیز می‌آمدند: بنابراین برای نمونه بیست - سی سال پیش (از سال ۱۹۷۷) اثبات وجود [[ساختار نامساوی‌های دیفرانسیلی]] در کره‌های با ابعاد بالا به نظر شگفت‌انگیز می‌آمد اما هرگز هیچ‌کس، آن را یک حقیقت زیبا نخواند.}}

موناستریسکی (''Monastyrsky'') می‌نویسد:<ref>{{cite|last = Monastyrsky|year = 2001}}</ref>
{{نقل قول|بسیار سخت است تا ابتکاری مانند آنچه [[میلنور]] انجام داد پیدا کنیم. بنای زیبا از ساختارهای دیفرانسیلی متفاوت بر روی یک کرهٔ هفت بعدی. برهان ابتدایی میلنور خیلی ویژه به نظر نمی‌آمد ولی بعدها بریسکورن (''E. Briscorn'') نشان داد که این ساختارهای دیفرانسیلی را می‌توان به شیوه‌ای بسیار زیبا توصیف کرد.}}
این اختلاف‌ها نظرها نشان می‌دهد که زیبایی در طبیعت ریاضی یک مفهوم انتزاعی است و اینکه این زیبایی با نتایج ریاضیاتی در ارتباط است: که در این مورد نه تنها کره‌های عجیب و غیرمعمول دیده می‌شود بلکه نتیجه‌گیری‌های ویژه‌ای هم از آن‌ها بدست می‌آید.

== زیبایی در تجربه ==
[[پرونده:Compound of five cubes.png|thumb|222px|«سردی و سختی» ویژه‌ای در ترکیب پنج مکعب|ترکیب این پنج مکعب دیده می‌شود.]]
[[پرونده:Escher Circle Limit III.jpg|thumb|222px|[[سطح‌آرایی موزاییکی|مفروش سازی]] بی‌انتها، ساختهٔ [[موریس اشر|موریس اِشر]].]]
[[پرونده:Escher Waterfall.jpg|thumb|222px|[[چندوجهی]] و ساختار ناشدنی در «آبشارِ» [[موریس اشر|موریس اِشر]]]]
لازم است تا کمی لذت بازی با [[عدد|اعداد]] و [[نماد]]ها در بخش‌های مختلف ریاضی وارد شود. کاربرد ریاضی در [[علم]] و [[مهندسی]] چنان است که گویی هرجایی که از فن-آوری استفاده شده، انگار به صورت خودجوش به ترویج [[زیبایی‌شناسی|زیبایی]] ریاضی نیز پرداخته شده‌است. که اگر هیچ جایی چنین نباشد در بحث [[فلسفه علم|فلسفهٔ علم]] یقیناً چنین است.

بالاترین تجربهٔ زیبایی ریاضی برای بیشتر ریاضی‌دانان هنگامی است که به صورت فعال در ریاضیات درگیرند. هرگاه رویکردی منفعل به ریاضی داشته باشیم، لذت و جذابیت آن را از دست می‌دهیم یا به دشواری آن را حس خواهیم کرد. - در ریاضیات هیچ جایگاهی برای بیننده یا تماشاچی یا شنوندهٔ صرف بودن نیست. اشاره به ''سختی زیبایی'' ریاضی، [[برتراند راسل]].

== زیبایی و فلسفه ==
برخی ریاضی‌دانان بر این باورند که کار با ریاضی بیشتر به کشف کردن شبیه‌است تا ایجاد کردن. برای نمونه، [[ویلیام کینگدان کلیفورد]] در سخنرانیی با موضوع «بعضی شرط‌های پیشرفت ذهن» (''Some of the conditions of mental development'') که در مؤسسهٔ سلطنتی برگزار شد چنین گفت:
{{نقل قول|هیچ کاشف علمی، شاعر، نقاش، موسیقی‌دانان و کلا هر کسی که چیزی را آماده شده جلوی خود می‌یابد، اعم از یک کشف، شعر یا نقاشی، چنین کسی وجود ندارد - که بتواند چیزی را آگاهانه و تنها برگرفته از درون خود ایجاد کرده باشد بلکه هرچه هست همگی برگرفته از دنیای بیرون است.}}
این ریاضی‌دانان معتقدند که نتایج دقیق و همراه با ریزه‌کاری‌های ریاضی، می‌تواند منطقا درست باشد، بدون اینکه هیچ گونه وابستگی به دنیای بیرونی که در آن زندگی می‌کنیم. برای نمونه آن بر سر این بحث می‌کنند که نظریهٔ [[اعداد طبیعی]] از پایه درست است چون هیچ نیازی به بستر یا شرایط ویژه ندارد. برخی ریاضی‌دان‌ها پا را از این نیز فراتر می‌نهند و می‌گویند که زیبایی ریاضی یک زیبایی حقیقی است و می‌توان گفت نوعی [[عرفان]] است.

[[فیثاغورس]] (و تمامی مدرسهٔ فلسفه اش، [[مکتب فیثاغوری]]) بر این باور بود که اعداد (اعداد گویا) دارای حقیقتی اصیل اند، برای همین کشف [[اعداد گنگ]] ضربهٔ (روحی) بزرگی به این گروه وارد کرد. از دید آن‌ها وجود چیزی که نتوان آن را به صورت نسبت دو عدد بیان کرد نشان دهندهٔ وجود یک خدشه در طبیعت است. از دیدگاه امروزی، برخورد رازگونهٔ فیثاغورس با اعداد بیشتر شبیه رفتار یک [[عددشناسی|عالم علم الاعداد]] بود تا ریاضی‌دان. به نظر می‌رسد، آنچه که فیثاغورسیان در جهان‌بینی خود بدان بی‌توجه بودند، حد یک دنبالهٔ نامتناهی از کسرهای گویا بود- چیزی که امروزه آن را [[عدد حقیقی]] می‌نامیم.

در فلسفهٔ [[افلاطون]] دو جهان وجود داشت، جهان فیزیکی که در آن زندگی می‌کنیم و دیگری جهان معنا یا انتزاعی که حقیقت‌های تغییرناپذیر مانند ریاضی، را در خود جای داده‌است. او معتقد بود که دنیای فیزیکی تنها بازتابی از جهانی کاملتر و غیرمادی است.

گفته می‌شود که [[گالیلئو گالیله]] دربارهٔ ریاضی چنین گفته‌است: «ریاضی زبانی است که خدا بوسیلهٔ آن جهان را نوشته‌است.»

[[پل اردوش]]، ریاضیدان [[مجارستان|مجارستانی]] با آنکه که خود یک [[بی‌خدایی|بی‌خدا]]<ref>{{cite book | author=Schechter, Bruce | title=My brain is open: The mathematical journeys of Paul Erdős | url=https://archive.org/details/mybrainisopenmat0000sche | publisher=[[Simon & Schuster]] | location=New York | year=2000 | pages=[https://archive.org/details/mybrainisopenmat0000sche/page/70 70]–۷۱ | isbn = 0-684-85980-7}}</ref> بود از یک کتاب موهومی حرف می‌زند که خدا زیباترین برهان‌های ریاضی را در آن نوشته‌است. هنگامی که اردوش می‌خواست مراتب تحسین خود نسبت به یک برهان را ابراز کند، آشکارا گفت که «این برهان برآمده از همان کتاب است.» این دیدگاه نشان می‌دهد که ریاضیات به عنوان حقیقتی به ذات خود استوار که قوانین [[گیتی]] بر آن بنا شده‌است، همانی است که ادیان زیر عنوان «خدا» شخصی کرده‌اند.

در قرن بیستم میلادی، فیلسوف فرانسوی، [[آلن بدیو]] ادعا می‌کند که [[هستی‌شناسی]] همان ریاضیات است. وی همچنین به ارتباط عمیق میان ریاضیات، شعر و فلسفه معتقد بود.

<!-- In some cases, natural philosophers and other scientists who have made extensive use of mathematics have made leaps of inference between beauty and physical truth in ways that turned out to be erroneous. For example, at one stage in his life, Johannes Kepler(fa: یوهان کپلر) believed that the proportions of the orbits of the then-known planets in the Solar System(fa: منظومه شمسی) have been arranged by God(fa: خدا) to correspond to a concentric arrangement of the five Platonic solids, each orbit lying on the circumsphere of one polyhedron and the insphere of another. As there are exactly five Platonic solids, Kepler's hypothesis could only accommodate six planetary orbits and was disproved by the subsequent discovery of Uranus(fa: اورانوس). -->

== زیبایی و نظریهٔ اطلاعات ریاضی ==
در دههٔ ۱۹۷۰، [[آبراهام مولز]] و [[فریدر نیک]] تلاش کردند تا به بررسی رابطهٔ میان زیبایی، [[پردازش اطلاعات]] و [[نظریه اطلاعات|نظریهٔ اطلاعات]] بپردازند.<ref>A. Moles: ''Théorie de l'information et perception esthétique'', Paris, Denoël, ۱۹۷۳ ([[نظریه اطلاعات]] and aesthetical perception)</ref><ref>F Nake (۱۹۷۴). Ästhetik als Informationsverarbeitung. ([[زیبایی‌شناسی]] as information processing). Grundlagen und Anwendungen der Informatik im Bereich ästhetischer Produktion und Kritik. Springer, 1974, {{ISBN|3-211-81216-4|en}}, {{ISBN|978-3-211-81216-7|en}}</ref> در دههٔ ۱۹۹۰، [[یورگن اشمیت‌هوبر]] یک نظریهٔ ریاضی پیرامون «زیبایی‌های انتزاعی وابسته به مشاهده‌گر» را تدوین و فرمول‌بندی کرد. این نظریه بر اساس [[نظریه الگوریتمی اطلاعات|نظریهٔ الگوریتمی اطلاعات]] بود و در آن گفته شده بود که: زیباترین چیزها در میان چیزهایی که فقط از نظر انتزاعی قابل مقایسه‌اند، آن‌هایی هستند که [[الگوریتم]]‌های توصیفی کوتاهی در رابطه با آنچه مشاهده‌گر، خود می‌داند، دارند.<ref>J. Schmidhuber. [[Low-complexity art]]. Leonardo, Journal of the International Society for the Arts, Sciences, and Technology, ۳۰(۲):۹۷–۱۰۳, ۱۹۹۷. http://www.jstor.org/pss/1576418</ref><ref>J. Schmidhuber. Papers on the theory of beauty and [[low-complexity art]] since 1994: http://www.idsia.ch/~juergen/beauty.html</ref><ref>J. Schmidhuber. Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity. Proc. 10th Intl. Conf. on Discovery Science (DS 2007) p. 26-38, LNAI 4755, Springer, 2007. Also in Proc. 18th Intl. Conf. on Algorithmic Learning Theory (ALT 2007) p. 32, LNAI 4754, Springer, 2007. Joint invited lecture for DS 2007 and ALT 2007, Sendai, Japan, 2007. http://arxiv.org/abs/0709.0674</ref> اشمیت‌هوبر، به صراحت میان زیبایی و جذابیت تفاوت قائل شد.

== پانویس ==
{{پانویس|چپ‌چین=بله|۲}}

== منابع ==
* {{یادکرد-ویکی
|پیوند = http://en.wikipedia.org/w/index.php?title=Mathematical_beauty&oldid=451877452
|عنوان = Mathematical beauty
|زبان = انگلیسی
|بازیابی = ۳۰ سپتامبر ۲۰۱۱
}}

== جستارهای وابسته ==
* [[نسبت طلایی]]
* [[فلسفه ریاضیات]]
* [[مکتب فیثاغوری]]

== پیوند به بیرون ==
* [http://www.cut-the-knot.org/manifesto/beauty.shtml آیا ریاضیات زیباست؟]
* [https://web.archive.org/web/20061101224549/http://www.madras.fife.sch.uk/maths/linksbeauty.html پیوندهایی دربارهٔ ریاضی و زیبایی]
* [https://web.archive.org/web/20061023120828/http://www.chemistrycoach.com/science_mathematics_and_beauty.htm ریاضیات و زیبایی]
* [https://web.archive.org/web/20031004103933/http://users.forthnet.gr/ath/kimon/ زیبایی ریاضی]
* [http://www.justinmullins.com/ جاستین مولینز]
* [http://www.the-athenaeum.org/poetry/detail.php?id=80 وینسنت میلی (شاعر): ''اقلیدوس به تنهایی به زیبایی محض نگاه کرد. '']
* [https://web.archive.org/web/20111004223047/http://creativelab.kiev.ua/eng/index_eng.htm روشی برای دگرگونی موسیقی به نقاشی از راه اعداد و نسبت‌های هندسی]
* [http://www.math.ucla.edu/~tao/preprints/Expository/goodmath.dvi ''ریاضیات خوب چیست؟'']
{{زیبایی‌شناسی}}
{{ریاضیات و هنر}}

[[رده:ریاضیات مقدماتی]]
[[رده:زیبایی‌شناسی]]
[[رده:فلسفه ریاضیات]]
[[رده:واژگان ریاضیات]]