Kísérleti matematika

A Wikipédiából, a szabad lexikonból.

Kísérleti matematikán sokszor azt a módszert értik, mikor egy feltevés bizonyítására tett kísérlet előtt a matematikusok hipotézist állítanak fel és ellenőrzik, hogy a számolások összhangban vannak-e az elmélettel. Egy ellentmodás, ellenpélda megtalálása eredményesen cáfolja ez elméletet. Ha nem sikerül ellentmondásra jutni, az azt sugallja, hogy megéri foglalkozni a precíz bizonyítással.

Rá kell mutasssunk, hogy a matematikusok eddig is követték ezt a módszert, és így semmi új nincs ebben. Ezért a matematiksok körében a "kísérleti matematika" kifejezés része a köznyelvnek, számítógépekkel való kísérletezést jelent, melynek során sok esetet vizsgálnak, vagy olyan számításokat hajtanak végre, melyeket kézzel nehéz lenne elvégezni. Azt mondhatjuk, hogy a számítógépek ily módon történő felhasználása az idők során egyre elfogadottabbá vált a matematikus közösség által. Valóban, néhány nagyra értékelt folyóirat elkezdett tanulmányokat közölni, melyek kísérleti matematikával foglalkoztak, sőt, létezik egészen ennek a témának szentelt újság is.

Tartalomjegyzék

[szerkesztés] Példa: A Graffiti

Lovász László nemzetközi hírű magyar matematikus szerint a kísérleti matematika „egyik legszisztematikusabb példája” S. Fajtlowicz amerikai matematikus GRAFFITI nevû szoftvere, mely gráfelméleti sejtéseket generál (a program a gráfok különbözõ paraméreteit számítja ki, és egy „érdekes” gráfokból álló hatalmas könyvtárat végignézve, összefüggéseket állapít meg köztük, melyek persze még nem tételek, hisz nem biztos, hogy a könyvtárban nem szereplõ végtelen sok gráfra is igazak; de a sok példa alapján bízvást nevezhetjük õket sejtéseknek, melyeket aztán matematikai módszerekkel bizonyítani kell). Lovász szerint a fõ ellenvetés Fajtlowicz programjával kapcsolatban az, hogy az általa felvetett összefüggéseknek matematikai motivációja nincs, még ha igazak is, nem biztosan érdekesek. Mint írja, „Eleinte magam is kételkedve szemléltem a matematikai problémákat felvetni próbáló számítógépet, egészen addig, amíg egyik sejtése engem is megigézett. E sejtésrõl késõbb kiderült, hogy a kommunikációs bonyolultságelmélet egy kulcskérdéséhez kapcsolódik. (A teljesség kedvéért hozzá kell tennem, hogy ugyanezt a sejtést már Van Nuffelen is felvetette több évvel korábban, késõbb pedig Alon és Seymour bebizonyította, hogy nem igaz; egy gyengített változata azonban ma is nyitott.). Lovász szerint az igazi kihívás az, hogy hogyan lehet e kísérleteket megfelelõen elvégezni, hogyan lehet eredményeikrõl beszámolni és azokat a matematikai tudományba beépíteni, továbbá úgy gondolja, hogy az utóbbi kérdésre viszont a kísérleti tudományokban kell keresnünk a választ.

[szerkesztés] Hivatkozások

[szerkesztés] Lásd még

  • számítógépes számelmélet egy dinamikusan fejlődő kísérleti matematikai tudományág

[szerkesztés] Hivatkozások

[szerkesztés] Külső hivatkozások

Más nyelveken