Matematikai platonizmus

Forrs: James Robert Brown: Philosophy of Mathematics: an introduction to the world of proofs and pictures, Routledge, London, 2005, pp. 8-
15.

1. a gondolkodstrtnet legnagyobb felfedezse

1. Platn: absztrakt trgyak
1. a matematika tadhatsga s jellege, mint olyan: Platn - Menn, valamint az llam negyedik knyve
2. legnagyobb modern platonista: Kurt Gdel
1. a nem-teljessgi ttel, amit bevezet a Zermelo-Frankel aximarendszer hatvnyhalmaz aximjnak hatsra a
platni absztrakt ontolgiai tbbletnek felel meg matematikban kifejezve
2. A PLATONIZMUS TZISEI
1. a matematika trgyai tkletesen valsak s tlnk fggetlenl lteznek
1. a matematika trgyait nem ltrehozzuk, hanem felfedezzk - legfeljebb a megnevezseiket hozzuk ltre
2. a matematika elvei s szablyai ezeket prbljk meg minl jobban lerni
2. a matematika trgyai kvl vannak tren s idn
1. az ltalnos termszettudomny vals ltezk vizsglatval foglalkozik
1. mindig rendelkeznek a hol s a mikor korreltumaival
2. a prmszmok, a , a polinomilisak teljesen ms jellegek
1. a standard mter megtallhat egy specilis helyen Prizsban
2. a 27 sehol s soha nincs lokalizlva s nem is lehet, noha pont annyira vals, mint a Gibraltr vagy
brmelyik msik fizikai ltez
3. nmely matematikus azt mondja, hogy a szmok lteznek (exist), de nem maradnak fenn (subsist)
1. tkletesen ltezek, de nem fizikai ltezk
3. a matematikai ltezk absztraktak egy rtelemben, nem azok msban
1. az absztrakt sz ktfle jelentsvel fgg ssze ez a tzis
1. univerzlis vs partikulrs az els rtelemben
1. az egy viszonytdik a sokasghoz (ld. ehhez Badiou matematikafilozfijt)
1. a vrssg, mint kategria a vrs alma, vrs zokni stb egy-szer trgyakbl
absztrahldik jellemzv
2. ebben az rtelemben a szmok nem absztraktak mivel minden egyes szm egy totlis elszigetelt
egy-szersgknt ltezik
1. ez termszetesen nem azt jelenti, hogy ne lenne felbonthat trtszmokra pldul
2. pontosan azrt egy-szer s nem Egy, mert halmazosthat
 2. kvl tren s idn a msodik, kortrs rtelemben
1. nem konkrt s nem fizikai
2. ebben az rtelemben minden matematikai trgy absztrakt
3. magyarzat:
1. a ttelezhet szmok halmaza minden rtelemben vgtelen: n + 1 (n + 1) + 1 [(n +
1) + 1] + 1 {[(n + 1) + 1] + 1}.....stb.
1. a vgtelensgek hierarchijnak krdse ksbb merl csak fel: Georg Cantor,
halmazelmlet, XIX. szzad, stb.
2. a fizikai ltezk szma vges (?)
3. kvetkezik: a matematikai ltezk szksgszeren nem-fizikai jellegek
1. nem lehet azt mondani, hogy tetszleges n szm mg fizikai, de az n + 1 mr
nem-fizikai
4. kpesek vagyunk matematikai intucira s ltala matematikai igazsgok megragadsra
1. megjegyzs: a matematikban az intuci nem kznapi guess work alaptalan eljrst, hanem az axiomatikus
gondolkodst jelli
2. a matematika trgyait meg lehet ragadni s rteni az sz szemvel (mind's eye)
3. a matematika absztrakt terletre val betekintsnk hasonlatos a fizikai ltezk terletre vetett tekintetnk
1. adott dolgokat ltunk (Kant: 5 + 7 = 12 pldja), msokat nem (a vge)
2. adott dolgokat ltunk (fehr svok, gmbk, almk, trgyak), msokat nem (pozitronok, rszecskk,
kvarkok stb.)
5. a matematika a priori, nem empirikus
1. az empirikus eljrs az rzktapasztalatokra (s -csaldsokra) alapozott
2. a matematika, alapveten tren s idn kvli entitsokkal val foglalatoskodsa rvn, megelzi ezt a
kategrit: a priori
3. ltezik ms nzet is a matematikn bell: a matematika naturalista megkzeltse (Quine et al) megrgztten
anti-a-priori
1. cljuk a matematikt integrlni a termszettudomnyokba, mikzben a matematika azok alapja
2. humorosra fogva a dolgot: ezt mindig meg fogja akadlyozni a Russell-paradoxon
3. a termszettudomnyban egy kvetkez felfedezs nmely esetben megsznteti egy korbbi llspont
igazsgtartalmt
4. a matematika tkletesen kumulatv tudomny
1. ltezsnek tbbezer ves trtnete alatt egyetlen ksbbi fejlemny sem szntette meg
semmilyen korbbi teorma semmilyen igazsgtartalmt
 2. tkletesen kiegszt, integrl s kumulatv tudomny: a legrugalmasabb s a legrugalmasabb
gondolkodssal rendelkez
3. tkletes plda: a nem-euklidszi matematika felfedezse nem trlte el, hanem kiegsztette az
euklidszi matematikt, a matematikt, mint olyat
1. noha els ltsra az euklidszi s nem-euklidszi matematika tkletesen ellenttei
egymsnak
6. mindannak ellenre, hogy a matematika a priori, nem szksgszeren kell bizonyosnak lennie
1. az a priori jelleg s a bizonyossg kifejezetten eltr fogalmak
2. az aximk vezrelvek, nem pedig megcfolhatatlan igazsgok (ezek a teormk: a "Pitagorsz ttele" nven
ismert jelensg az univerzum ezen s brmelyik msik pontjn, brmelyik idben rvnyes, ritka kivtel: fekete
lyuk)
7. a matematika lehetv teszi a kutat/feltr eljrsok voltakpp vgtelen trhzt
1. a levezetsek s bizonytsok hagyomnyos formja nem szksgszeren a matematikai eljrs s igazols
egyedli formi
2. a matematikai platonizmus teljes mrtkben lehetv teszi a nem-standard eljrsokat, levezetseket,
bizonytsokat
1. legjobb plda: Gdel nem-teljessgi ttele, ami a maga korban minden volt, csak nem standard
1. a matematika integrlta anlkl, hogy korbbi igazsgtartalmakat el kellett volna vetnie
2. a matematika naturalista s formalista elkpzelsei ezeket kizrjk
3. mindennek ellenre a platonizmus meglepen kzel van a matematika standard kphez