Neki matematički dokazi su prekrasni, primjerice dokaz beskonačnosti prostih brojeva (ako postoji samo konačan broj prostih brojeva, pomnožite ih i dodajte jedan; rezultat nije djeljiv ni s jednim prostim brojem, ali to bi bilo apsurdno). Neki matematički objekti su prekrasni, poput određenih fraktala. No, osim toga, zapanjujuće je da su neke matematičke činjenice prekrasne. Često su posebno iznenađujuće. Euklid-Eulerov teorem navodi lijepu i iznenađujuću vezu između Mersenneovih prostih brojeva i parnih savršenih brojeva. Vrlo je iznenađujuće da postoji samo pet Platonovih tijela, a sama činjenica da je to tako je prekrasna.
Ipak, gramatički, nešto je malo čudno s time da bi činjenica bila lijepa. Činjenice se ne čine pravom vrstom stvari da bi bile lijepe. Lijepe su stvari na koje se činjenice odnose. Dakle, možda su ljepi matematički objekti koji čine činjenice istinitima?
Ali neke lijepe matematičke činjenice su činjenice da nešto ne postoji, poput određene vrste postupka odlučivanja ili konačnog nekomutativnog prstena (s dijeljenjem).
Ovdje postoji lijepa teistička priča. Tvorac istine matematičkih istina je Bog (primjerice Božji um ili Božja moć). Dakle, ljepota matematičkih činjenica je točnije ljepota Boga. Nije li zapanjujuće da teističko objašnjenje matematike može objasniti ontologiju, epistemologiju i estetiku matematike?
PS
Izvori tekst; The beauty of mathematical facts, autor je filozof i matematičar A. Pruss.
Navedeni primjeri mi ne djeluju kao najbolji izbor (s nekima nisam ni upoznat), ali nisu toliko bitni za ono što želi istaknuti. Zaključak na koji upućuje mi se čini zanimljivim, i točnim. (Iako bi o samim detaljima mogli puno toga reći.)
NA yt možete pronaći nekoliko Prussovih predavanja o sličnim temama; "God, Beauty, & Mathematics" (1:27:39) odnosno TI - Talk: God, Mathematics, and Beauty, Did God make the natural numbers? Itd.
