ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS
SOBRE LO QUE HAY EN FILOSOFÍA DE LAS MATEMÁTICAS
ICE B. RISTESKI 7RURQWR&DQDGD (PDLOLFH#VFLHQWLVWFRP
CARLOS E. GARCÍA D. 8QLYHUVLGDGGH&DOGDV8QLYHUVLGDGGH0DQL]DOHV (PDLOFDUORVJDUFLDBG#XFDOGDVHGXFR
RECIBIDO EL 30 DE NOVIEMBRE DE 2007 Y APROBADO EL 14 DE MARZO DE 2008
ABSTRACT RESUMEN
,QWKLVSDSHUZHVNHWFKURXJKO\VHYHUDO (QHVWHDUWtFXORSUHVHQWDPRVXQERVTXHMR PRPHQWVWKDWKDYHDFRQVLGHUDEOHLQÁXHQFH GHGLYHUVRVPRPHQWRVTXHKDQHMHUFLGR RQWKHGHYHORSPHQWRIWKHSKLORVRSK\RI una influencia considerable sobre el PDWKHPDWLFV:HLOOXVWUDWHWKHPDLQ GHVDUUROORGHODÀORVRItDGHODVPDWHPiWLFDV problems of this discipline and discuss Ilustramos los principales problemas de WKHLPSRUWRIWKHVRFDOOHG¶SRVLWLYLQHVV HVWDGLVFLSOLQD\GLVFXWLPRVHOVHQWLGR\ RIPDWKHPDWLFV·%\H[DPLQLQJVHYHUDO DOFDQFHGHODGHQRPLQDGD¶SRVLWLYLGDG DSSURDFKHVWRWKLVSUREOHPZHDQDO\]H GHODPDWHPiWLFD·$GHPiVPHGLDQWHHO RQWRORJLFDODQGHSLVWHPRORJLFDOTXHVWLRQV examen de diversos enfoques sobre este ZKLFKFDQKHOSWRFODULI\WKLVFRPSOLFDWHG WySLFRDQDOL]DPRVDOJXQDVFXHVWLRQHV area. HSLVWHPROyJLFDV\RQWROyJLFDVTXHSXHGHQ DUURMDUDOJRGHOX]VREUHHVWDFRPSOLFDGD iUHDGHODPHWDÀORVRItD
KEY WORDS PALABRAS CLAVE
3KLORVRSK\ RI PDWKHPDWLFV ORJLF )LORVRItDGHODVPDWHPiWLFDVOyJLFD DEVWUDFWPDWKHPDWLFVSXUHPDWKHPDWLFV PDWHPiWLFDDEVWUDFWDPDWHPiWLFDSXUD application of mathematics. aplicación de las matemáticas.
'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS Ice B. Risteski & Carlos E. García D.
3KLORVRSK\RIPDWKHPDWLFVLVDYHU\FRPSOLFDWHGGLVFLSOLQHDQGLVIXOORI GLYHUJHQWLGHDV3KLORVRSK\RIPDWKHPDWLFVGRHVWKHSUREOHPDWL]DWLRQRI PDWKHPDWLFVi.e.LWEULQJVWKHODWWHULQWRTXHVWLRQ,WLVDFULWLFDOVXUYH\ RQPDWKHPDWLFVDVXUYH\WKDWUHTXLUHVGLVWDQFHDQGDEDQGRQPHQW RIPDWKHPDWLFDOWKLQNLQJ+HQFHLWPXVWEHGLVWLQJXLVKHGIURPWKH XQFULWLFDOSHQHWUDWLRQLQWKHIUDPHZRUNRIWKHPDWKHPDWLFDOWKLQNLQJ LQZKLFKPDWKHPDWLFVLWVHOILVGHYHORSHG
+RZHYHUWKLVDSSURDFKFDQEHPLVLQWHUSUHWHGE\TXDVLSKLORVRSKHUV ZKREHOLHYHWKDWWKHLUYLVLRQRIDVFLHQWLVWZKRFDQQRWXQGHUVWDQG WKHHVVHQFHRIVFLHQFHLVFRQÀUPHGRQFHPRUHi.e.WKHLUYLVLRQRID PDWKHPDWLFLDQZKRFDQQRWXQGHUVWDQGWKHHVVHQFHRIPDWKHPDWLFV6XFK DVFLHQWLVWZRXOGEHRQHZKRFDQQRWOHDYHVFLHQFHDQGXQGHUVWDQGLW FOHDUO\LQDSKLORVRSKLFDOZD\%XWVXFKDYLHZLVQRWPDLQWDLQHGKHUH $VZHNQRZPRVWVFLHQWLVWVGRQRWOHDYHVFLHQFHDQGPRVWSKLORVRSKHUV GRQRWSHQHWUDWHLQWRVFLHQFHVRWKH\FDQQRWOHDYHDSODFHWKH\KDYH QHYHUYLVLWHG4XDVLSKLORVRSKHUVIRUJHWWKDWVRPHWKLQJFDQEHZDONHG RXWRIRQO\LILWKDVEHHQZDONHGLQWREHIRUHKDQG,QJHQHUDORQO\ DVFLHQWLVWZKROHDYHVVFLHQFHRUDSKLORVRSKHUZKRSHQHWUDWHVLQWR VFLHQFHPDLQWDLQLQJDSKLORVRSKLFDOGLVWDQFHIURPLWFDQKDYHDUHOHYDQW SKLORVRSKLFDOYLHZRIVFLHQFH7KXVSXUHVFLHQWLVWVKDYHOLWWOHWRVD\LQ the present discussion as do the so called pure philosophers.
:HGLVFXVVKHUHDSUREOHPDWL]DWLRQRIPDWKHPDWLFVDVDVFLHQFHRU PRUHSUHFLVHO\DVDSDUDGLJPDWLFH[DPSOHRIDVFLHQFHDFFRUGLQJWR WZRGLUHFWLRQV
0DWKHPDWLFVLVDSDUDGLJPDWLFH[DPSOHRIDSRVLWLYHVFLHQFHDQGWKXV LWEHFRPHVDÀHOGRQZKLFKDQ\HSLVWHPRORJ\FDQEHWHVWHG
0DWKHPDWLFV LV D SDUDGLJPDWLF H[DPSOH RI D VFLHQFH ZKRVH SRVLWLYHQHVVPXVWEHMXVWLÀHGE\DJHQHUDOHSLVWHPRORJ\+HUHWKH positiveness itself is questioned.
,Q WKH ÀUVW DSSURDFK WKH HSLVWHPRORJ\ SDVVHV RU IDLOV GHSHQGLQJ RI ZKHWKHU WKH SRVLWLYHQHVV RI PDWKHPDWLFV i.e. WKH SRVLWLYHQHVV RI mathematical science can be explained or not. In the second approach LWLVPDWKHPDWLFVWKDWSDVVHVRUIDLOVGHSHQGLQJRIZKHWKHULWFDQEH HSLVWHPRORJLFDOO\MXVWLÀHG
7KH ÀUVW DSSURDFK LV FKDUDFWHULVWLF RI WKH SKLORVRSKHUV ZKR WKLQN DERXWPDWKHPDWLFVZKLOHWKHVHFRQGDSSURDFKLVFKDUDFWHULVWLFRIWKH PDWKHPDWLFLDQVZKRWKLQNSKLORVRSKLFDOO\
152 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS
7KHÀUVWDSSURDFKHQFDSVXODWHVWKHold PHDQLQJRIWKHSKLORVRSKLFDO DWWLWXGHWRZDUGVWKHSRVLWLYHPDWKHPDWLFVZKLOHWKHVHFRQGDSSURDFK represents the newPHDQLQJRIWKHSKLORVRSKLFDODWWLWXGHWRZDUGVWKH positiveness of mathematics.
/HWXVH[DPLQHQRZWKHIROORZLQJTXHVWLRQ:KDWLVPDWKHPDWLFDOO\ EURXJKWLQWRTXHVWLRQLQWKHold philosophy of mathematics"&HUWDLQO\QRW LWVSRVLWLYHQHVV:KDWHYHUFRXOGFRQWUDGLFWWKLVSRVLWLYHQHVVLVDOUHDG\ GRXEWIXOGXHWRWKLVWHQVLRQ%ULHÁ\WKHSRVLWLYHQHVVRIPDWKHPDWLFVLQ WKHROGSKLORVRSK\RIPDWKHPDWLFVLVQRWTXHVWLRQHG:KDWLVEURXJKW LQWRTXHVWLRQKHUHLVLWVDSSOLFDELOLW\,QRUGHUWRH[SODLQWKLVZHVKDOO PDNHXVHRIVRPHOHJHQGVZKLFKVKRXOGQRWEHWDNHQOLWHUDOO\
7KDOHV FUHDWHG HOHPHQWDU\ PDWKHPDWLFV 1DPHO\ KH FRQVWUXFWHG PDWKHPDWLFVDVDGHGXFWLYHVFLHQFHGLVFRYHULQJWKHDEVWUDFWWHUULWRU\ LQZKLFKLWGHYHORSV,WLVNQRZQWKDWVLQFH7KDOHVWKHUHKDVH[LVWHGD VFLHQFHZKLFKGRHVQRWGHDOZLWKFRQFUHWHQHVVDQGWKLVVFLHQFHLVFDOOHG PDWKHPDWLFV7KLVVFLHQFHLVQRWVXEMHFWWRDFKDQJHRIWKHFRQFUHWH EXWLWLVDEVROXWHO\SRVLWLYHLQLWVDEVWUDFWQHVV0DWKHPDWLFVSURYHVLWV abstract truths. The positiveness of mathematics lies in its abstractness ZKLFKHQDEOHVSURRI
7KDOHV VWDUWHG DQG 3\WKDJRUDV ZHQW RQ GHYHORSLQJ PDWKHPDWLFV DV D SRVLWLYH DEVWUDFW VFLHQFH :LWK 3\WKDJRUDV WKLV DEVWUDFW VFLHQFH LV QRWRQO\DEVWUDFWFRQVFLRXVQHVV:LWKKLPPDWKHPDWLFDOFRQFHSWLVD VWUXFWXUDODQGFRQVWLWXWLYHHOHPHQWRIWKHFRQFUHWHRUDV3\WKDJRUDV ZRXOGVD\nature is made up of numbers7KRXJKWKLVSKUDVHLVRIWHQ FRQVLGHUHGDVPDWKHPDWLFDOP\VWLFLVP\HWLWVHHPVWKDWWKLVLVMXVWD JHQHUDOHVWLPDWHZKLFKVD\VQRWKLQJDQGH[SODLQVVWLOOOHVV%XWZKDW LV WKLV DOO DERXW" ,W LV DERXW WKH UHODWLRQVKLS EHWZHHQ WKH SRVLWLYH DEVWUDFW PDWKHPDWLFV DQG WKH FRQFUHWH QDWXUH +HUH ZH ÀQG IRU WKH ÀUVWWLPHWKHSUREOHPDWL]DWLRQRIWKLVUHODWLRQVKLSDVZHOODVWKHÀUVW VROXWLRQRIWKHSUREOHPQRWLFHGZKLFKWKURXJKWKHLGHQWLÀFDWLRQRI FRQFUHWHQDWXUHZLWKDEVWUDFWPDWKHPDWLFVGHVFULEHVWKHDSSOLFDELOLW\ of abstract mathematics to the comprehension of concrete nature. A JUHDW QXPEHU RI FRQWHPSRUDU\ DQG IRUPHUO\ OLYLQJ PHWDOOXUJLVWV SK\VLFLVWV DQG FKHPLVWV ZKR EHOLHYH LQ WKH DSSOLFDELOLW\ RI DEVWUDFW PDWKHPDWLFVDUHLQIDFWDVPXFKRIP\VWLFVDV3\WKDJRUDVZDVVLQFH WKHLUEHOLHILVEDVHGPDLQO\RQDQLGHQWLÀFDWLRQRI3\WKDJRUHDQW\SH 7KHSUREOHPDWL]DWLRQRIWKHUHODWLRQVKLSEHWZHHQDEVWUDFWPDWKHPDWLFV DQGFRQFUHWHQDWXUHRUDVLWZDVFDOOHGDERYHWKHSUREOHPDWL]DWLRQRI 153 Ice B. Risteski & Carlos E. García D.
WKHDSSOLFDELOLW\RIDEVWUDFWPDWKHPDWLFVWRFRQFUHWHQDWXUHLQQRZD\ FDQEHFDOOHGP\VWLFLVP7KHSRLQWLVDERXWWKHPDLQSUREOHPRIWKHROG SKLORVRSK\RIPDWKHPDWLFVZKLFKGRHVQRWTXHVWLRQWKHSRVLWLYHQHVV RIPDWKHPDWLFVWUHDWLQJLWDVZHOOIRXQGHGLQLWVDEVWUDFWQHVVEXWLW EULQJVLQWRTXHVWLRQLWVDSSOLFDELOLW\ZLWK3\WKDJRUDVDVLWVIRXQGHU
+HUH DQ DGGLWLRQDO H[SODQDWLRQ LV QHFHVVDU\ 7KH DERYH PHQWLRQHG LGHQWLÀFDWLRQE\3\WKDJRUDVWDNHVSODFHLQWZRVWHSV,QWKHÀUVWVWHS WKHJHRPHWULFDODEVWUDFWLRQVDUHFRQVLGHUHGDVFRQVWUXFWLYHHOHPHQWV RI WKH FRQFUHWH QDWXUH DQG LQ WKH VHFRQG VWHS DV D ÀQDO UHGXFWLRQ of these abstractions the number is discovered. The second step RI WKHVH LGHQWLÀFDWLRQV LV VKDWWHUHG E\ WKH GLVFRYHU\ RI WKH SRVVLEOH LQFRPPHQVXUDEOH OHQJWKV ,W DOVR VKDWWHUV WKH VSHFLÀF 3\WKDJRUHDQ UHGXFWLRQRIWKHFRQFUHWHQDWXUHRIWKHQXPEHUEXWQRWWKH3\WKDJRUHDQ YLHZWKDWWKHDEVWUDFWIRXQGDWLRQRIPDWKHPDWLFVEULQJVLQWRTXHVWLRQ LWV DSSOLFDELOLW\ WR FRQFUHWHQHVV i.e. WKH YLHZ ZKLFK UHSUHVHQWV D IXQGDPHQWDOSUREOHPRIWKHROGSKLORVRSK\RIPDWKHPDWLFV
+HUHZHVKDOOXQGHUOLQHWKDWWKLVSUREOHPUHDOO\DQGEDVLFDOO\UHPDLQV DSUREOHPRIWKHROGSKLORVRSK\RIPDWKHPDWLFV
7RPDQ\SHRSOHLWLVGLIÀFXOWWRXQGHUVWDQGWKHJHQHVLVRI'HPRFULWXV· PDWKHPDWLFDO DWRPLVP >@ ,W FDQ EH HDVLO\ XQGHUVWRRG LI ZH VHH LQ LW D FRQFRUGDQFH RI WKH DEVWUDFW PDWKHPDWLFV ZLWK WKH FRQFUHWH DWRPLVWLFDOO\ FRPSUHKHQGHG QDWXUH D FRQFRUGDQFH ZKLFK VKRXOG MXVWLI\WKHDSSOLFDELOLW\RIPDWKHPDWLFV
6LPLODU SUREOHPV DUH HQFRXQWHUHG E\ PDQ\ LQYHVWLJDWRUV RI =HQR·V DSRULD:KLOHVRPHVHHLQWKHVHMXVWDQLGOHVRSKLVWLFDOWDONRWKHUVÀQG PDWKHPDWLFDOHUURUVLQ=HQR·VDUJXPHQWV7KHZHOONQRZQVRSKLVPV FDQQRWFRQIXVHWKRVHZKRORRNSULPLWLYHO\DQGFRQFUHWHO\DWWKHPRWLRQ RIWKHDUURZDQG$FKLOOHV·VYLFWRU\RYHUWKHWRUWRLVH7KH\FDQQRWEH GHFHLYHGDQGOHGDORQJDZURQJZD\E\DEVWUDFWDUJXPHQWV2QWKH RWKHUKDQGWKHLVRODWHGDEVWUDFWDUJXPHQWLVEDVHGRQWKHHUURQHRXV PDWKHPDWLFDOSUHPLVHWKDWWKHVXPRILQÀQLWHO\PDQ\ÀQLWHTXDQWLWLHV PXVWEHLQÀQLWHO\JUHDW,VQRW=HQR·VDUJXPHQWMXVWDVRSKLVWLFDOJDPH ZKLFKEULQJVLQWRTXHVWLRQWKHHOHPHQWDU\XQGHUVWDQGLQJRIWKHFRQFUHWH QDWXUH E\ XVLQJ DQ DEVWUDFW PDWKHPDWLFDO DUJXPHQW ZKLFK UHPDLQV VLOHQWDERXWDIDOVHPDWKHPDWLFDOSUHPLVH"0D\EHEXWRQO\XQGHUWKH FRQGLWLRQWKDWWKHDSSOLFDELOLW\RIWKHDEVWUDFWPDWKHPDWLFDODUJXPHQW WRWKHFRQFUHWH$FKLOOHV·VVLWXDWLRQLVFRQVLGHUHGVHOIHYLGHQWRQO\LI
154 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS
ZHLGHQWLI\WKHFRQFUHWHSDWKRI$FKLOOHVZLWKDQDEVWUDFWPDWKHPDWLFDO OHQJWK RQO\ LI ZH WKLQN WKDW WKH LQÀQLWH GLYLVLELOLW\ RI WKH DEVWUDFW PDWKHPDWLFDOOHQJWKLVWKHVDPHWKLQJDVWKHLQÀQLWHGLYLVLELOLW\RIWKH FRQFUHWHSDWKRI$FKLOOHV7KXV=HQR·VHIIHFWFDQEHFRQVLGHUHGDKROORZ VRSKLVPRQO\LIWKHDSSOLFDELOLW\RIWKHDEVWUDFWPDWKHPDWLFDODUJXPHQW WR WKH FRQFUHWH $FKLOOHV·V VLWXDWLRQ LV FRQVLGHUHG VHOIHYLGHQW %XW LV QRWMXVWWKLVVHOIHYLGHQFHRIWKHDSSOLFDELOLW\RIDEVWUDFWPDWKHPDWLFV EURXJKWLQWRTXHVWLRQE\=HQR·VDUJXPHQW",VQRWWKHSRLQWKHUHDERXW WKHIXQGDPHQWDOSUREOHPRIWKHROGSKLORVRSK\RIPDWKHPDWLFV"2I FRXUVHWKLVLVH[DFWO\WKHSRLQW
,QWKHPRGHUQSKLORVRSK\RIPDWKHPDWLFVZHFDQWUDFHWKHVKLIWIURP WKH REMHFWLYH QRUPDWLYH UHODWLRQVKLS RI WKH DEVWUDFW WR WKH FRQFUHWH WRZDUGV WKH WKRXJKW DERXW WKH DEVWUDFW ZKLFK VWDQGDUGL]HV WKH GHVFULSWLRQ RI WKH FRQFUHWH .DQW VWDQGV RQ WKH WRS RI WKLV WKRXJKW ZKHQKHVD\VWKDWPDWKHPDWLFDOVHQVHLVSRVLWLYHEHLQJDVHQVHRIWKHa prioriVKDSHVRIFRQVFLRXVQHVVVSDFHDQGWLPH7KLVVHQVHLVDSSOLFDEOH since the a prioriVKDSHVRIFRQVFLRXVQHVVÀUVWHQDEOHWKHPHHWLQJZLWK UHDOLW\i.e.WKHVHDUHFRQVWLWXHQWVRIUHDOLW\7KHRSSRVLWLRQDEVWUDFW FRQFUHWHLVUHSODFHGE\WKHRSSRVLWLRQWUDQVFHQGHQWDOLPPDQHQWDQG DSSOLFDELOLW\VKRXOGQRWEHXQGHUVWRRGDVDSSOLFDELOLW\RIWKHDEVWUDFW in the comprehension of the transcendental since the transcendental is QRWFRQFUHWH%RWKWKHFRQFUHWHDQGWKHDEVWUDFWDUHLPPDQHQWDQGWKDW LVKRZWKH\DUHUHODWHGWRHDFKRWKHU
7KH ROG SKLORVRSK\ RI PDWKHPDWLFV GRHV QRW HQG ZLWK .DQW ,WV IXQGDPHQWDOSUREOHPLVVWLOORQHRIWKHEDVLFSUREOHPVRISKLORVRSK\ of mathematics. The terms old and new SKLORVRSK\ VKRXOG QRW EH XQGHUVWRRGOLWHUDOO\
The new philosophyRIPDWKHPDWLFVEULQJVLQWRTXHVWLRQWKHSRVLWLYHQHVV RIDEVWUDFWPDWKHPDWLFV6ROYLQJWKLVSUREOHPGRHVQRWWRXFKDWDOOWKH TXHVWLRQRIDSSOLFDELOLW\,WVSUREOHPLVWRH[SODLQWKHSRVLWLYHQHVVRI SXUHPDWKHPDWLFVWKDWLVWKHSRVLWLYHQHVVZKLFKLQWKHROGSKLORVRSK\ RI PDWKHPDWLFV LV VHOIHYLGHQW 7KH QHZ SKLORVRSK\ RI PDWKHPDWLFV LV VR SUHRFFXSLHG ZLWK WKLV SUREOHP WKDW LW GRHV QRW FRQVLGHU WKH IXQGDPHQWDO SUREOHP RI WKH ROG SKLORVRSK\ WKDW LV the possibility of applying mathematics 6RPHWLPHV WKH ROG DQG QHZ SKLORVRSKLHV RI
3ODWR JLYHV XS WKH VLPSOH LGHQWLÀFDWLRQ RI WKH DEVWUDFW ZLWK WKH FRQFUHWH +H VROYHV WKLV UHODWLRQVKLSE\UHSODFLQJWKHDEVWUDFWLGHDE\DFRQFUHWHRQH7KHDEVWUDFWLGHDLVDQREMHFWLYH norm of the concreteness. 155 Ice B. Risteski & Carlos E. García D.
PDWKHPDWLFVDUHWKRXJKWWREHLQVRPHFRQÁLFW,QIDFWWKHVHSXWLQWRWKH IRFXVRIWKHLULQWHUHVWVWZRGLIIHUHQWEXWHTXDOO\HVVHQWLDOSUREOHPV
:KHUHGRHVWKHSRVLWLYHQHVVRISXUHPDWKHPDWLFVOLH"2QZKDWLVLW JURXQGHGDQGRQZKDWLVLWEDVHG",QWKHthFHQWXU\WKUHHDQVZHUVDUH FOHDUO\RXWOLQHG7KHVHDUHWKHDQVZHUVRIORJLFLVPLQWXLWLRQLVPDQG IRUPDOLVP1RZZHVKDOOVD\VRPHWKLQJPRUHDERXWHDFKRIWKHP
$VDSLGDQGWRDFHUWDLQH[WHQWSRSXODUSUHVHQWDWLRQRIWKHORJLFLVWLF intuitionistic and formalistic foundations of mathematics can be found LQWKHZRUNVRI&DUQDS>@+H\WLQJ>@DQGYRQ1HXPDQQ>@ZKLFK ZHUHZULWWHQLQ7KHGLIÀFXOWLHVDQGWKHPDWXUHORJLFLVPZHUHWKHQ DOUHDG\NQRZQDQGRQWKHLUEDVLV&DUQDSJDYHKLVUHYLHZ,QWXLWLRQLVP LVDWWKDWWLPHD\RXQJDQGUHYROXWLRQDU\WHDFKLQJZKLFKLVÀJKWLQJ IRULWVSODFHXQGHUWKHVXQVR+H\WLQJ·VVHOIFRQÀGHQFHVRPHWLPHV H[FOXVLYLVPPXVWEHUHJDUGHGLQWKLVFRQWH[W7KHIRUPDOLVWLFWKHRU\ RISURRILVLQDQXSVXUJH*|GHO·VUHVXOWVDERXWWKHLQFRPSOHWHQHVVRI IRUPDOV\VWHPVDUHVWLOOXQNQRZQVRRQHFDQH[SODLQYRQ1HXPDQQ·V UHODWLYHRSWLPLVP7KHORJLFLVWVGHGXFHWKHSRVLWLYHQHVVRIPDWKHPDWLFV IURPWKHVHOIHYLGHQFHRIORJLFWKXVWKH\GHGXFHPDWKHPDWLFVIURPORJLF 0DWKHPDWLFVLVDQH[WHQVLRQRIORJLFDQGDVVXFKLWDFTXLUHVLWVLQH[RUDEOH SRVLWLYHQHVV7RVXFKXQGHUVWDQGLQJRIWKHUHODWLRQVKLSEHWZHHQORJLF DQGPDWKHPDWLFVZKLFKUHVXOWVIURPWKHFUHDWLRQRIPDWKHPDWLFDOORJLF RQHFDQFRPHIURPWKHIROORZLQJRSSRVLWLRQ
,QWKHWKLUWLHVDQGIRUWLHVRIWKHthFHQWXU\IRUPDOORJLFGHYHORSV PDLQO\LQWKH(QJOLVKHODERUDWLRQRIWKHVFKRODVWLFV\OORJLVWLFVGXHWR +DPLOWRQDQG'H0RUJDQ7KHUHDUHFKDUDFWHULVWLFDWWHPSWVLQWKHVWXG\ RIORJLFDVDVFLHQFHZKLFKWHVWVWKHODZVLQWKHÀHOGRITXDOLW\WRDSSO\ WKHPDWKHPDWLFDOPHWKRGVRIDQDO\VLVZKLFKSURYHWREHIUXLWIXODQG SRVLWLYHLQWKHVWXG\RIWKHODZVRITXDQWLW\7KHÀQDOJRDOZRXOGEHWKH HODERUDWLRQRIWKHFRUUHVSRQGLQJV\PEROLFVDQGWKHFRQÀUPDWLRQRIWKH ODZRILWVPDQLSXODWLRQWDNLQJSDWWHUQIURPPDWKHPDWLFVPRUHSUHFLVHO\ DULWKPHWLF7KHÀUVWUHDOVXFFHVVLQVXFKDWWHPSWVZDVDFKLHYHGLQ E\%RROH·VZRUNMathematical Analysis of Logic%RROHKDVVKRZQWKDW WKHEDVLFRSHUDWLRQVZLWKFRQFHSWVFDQEHUHSUHVHQWHGE\WKHDULWKPHWLF RSHUDWLRQVDQGăDQGWKHEDVLFQRWLRQVRIVRPHWKLQJDQGQRWKLQJ²E\ WKHQXPEHUVDQG7KHVHRSHUDWLRQVDUHVXEMHFWSUHFLVHO\WRWKHODZV RIDULWKPHWLFi.e.WRWKHODZVIRURSHUDWLRQVZLWKTXDQWLWLHVZLWKRQH DGGLWLRQDOODZx x called the principle of tautologyZKLFKLVFKDUDFWHULVWLF DQGGLVWLQFWLYHIRUWKHRSHUDWLRQVZLWKTXDOLWLHV,QWKLVVHQVHWKHORJLF
156 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS of concepts becomes a special arithmetic and Boole himself understood LWWKLVZD\
PremisesDUHHTXDOLWLHVIURPZKLFKE\DULWKPHWLFRSHUDWLRQVRQHFDQ REWDLQRWKHUHTXDOLWLHVZKLFKDUHFRQVHTXHQFHVRIWKHDULWKPHWL]HG FRQFOXVLRQV%\WKLVDQDO\VLVLWZDVFRQVLGHUHGWKDWWKHORJLFRIFRQFHSWV DFTXLUHGVLPSOLFLW\SRVLWLYHQHVVDQGJHQHUDOLW\
1RLQWHUSUHWHGHTXDOLWLHVWKDWDSSHDULQWKHDULWKPHWL]HGSURRIVGLVWXUE WKHSXUHORJLFDOXQGHUVWDQGLQJRIWKHEDVLFODZVVR%RROH-HYRQV 9HQQ6FKU|GHUDQGRWKHUSURPLQHQWORJLFLDQVEHJDQZLWKDpurge of arithmetic.
7KHÀQDOUHVXOWZDV%RROH6FKU|GHU·VDOJHEUDZKLFKUHSUHVHQWVDORJLF RIFRQFHSWVEXWDWWKHVDPHWLPHDORJLFRISURSRVLWLRQDOIXQFWLRQVDV ZHOODVDORJLFRISURSRVLWLRQV7KLVDOJHEUDWKXVDSSHDUVDVDQDEVWUDFW PDWKHPDWLFDOV\VWHPZLWKPRUHWKDQRQHSRVVLEOHLQWHUSUHWDWLRQ6XFK V\VWHPLVQRWGHÀQHGZLWKLWVLQWHUSUHWDWLRQ i.e.ZLWKWKHREMHFWRI VWXG\EXWLQGHSHQGHQWO\RILWVSRVVLEOHLQWHUSUHWDWLRQVLWLVIRXQGHGDV DGHGXFWLYHD[LRPDWLFV\VWHPZKRVHD[LRPVDQGWKXVWKHV\VWHPLWVHOI can admit different interpretations.
7KHVHWWLQJDQGVWXG\RIVXFKV\VWHPVLVFKDUDFWHULVWLFIRUSXUH PDWKHPDWLFVZKLFKLVQRORQJHUGHÀQHGZLWKLWVREMHFWRIVWXG\DV DULWKPHWLFRUJHRPHWU\ZHUHEXWGHYHORSVLQGHSHQGHQWO\RIWKLVREMHFW FRQVWUXFWLQJSXUHQRLQWHUSUHWHGD[LRPDWLFV\VWHPV
Thus pure mathematicsZDVERUQ%\WKHZD\%RROH6FKU|GHU·VDOJHEUD ZKLFKVKRXOGUHSUHVHQWDSXUHpurgedIURPDULWKPHWLFIRXQGDWLRQRI ORJLFLVLQVRPHVHQVHSDUDGR[LFDODVDIRXQGDWLRQRIORJLF1DPHO\WKH PDWKHPDWLFDOGHGXFWLRQVZKLFKDUHLQWURGXFHGWKHUHDVLQDQ\RWKHU SXUHO\PDWKHPDWLFDOV\VWHPDUHVXEMHFWWRORJLFDOODZV+RZHYHULI LQWKLV%RROH6FKU|GHU·VDOJHEUDZHZDQWWRIRXQGORJLFLWVHOIWKHQ ZHVKRXOGQRWXVHLQLWWKHODZVRIWKHYHU\ORJLFZKLFKRQWKHRWKHU KDQGLVQRWSRVVLEOHVLQFHPDWKHPDWLFVSUHVXSSRVHVORJLF1DWXUDOO\ WKLVEHOLHILQWKHSULRULW\RIORJLFLVQRWDEHOLHIRI%RROHDQGKLV WLPH,QWKDWSHULRGIRUPDOORJLFLVFRQVLGHUHGDVSHFLDOFDVHRISXUH PDWKHPDWLFV0DWKHPDWLFDOORJLFXQGHUVWRRGDVPDWKHPDWLFVRIORJLFLV LQFRQFRUGDQFHZLWKDQDEVWUDFWV\VWHPRISXUHPDWKHPDWLFVi.e.ZLWK
5XVVHOO PXVW EH XQGHUVWRRG LQ WKLV VHQVH ZKHQ KH VD\V WKDW %RROH ZDV WKH IDWKHU RI SXUH mathematics. 157 Ice B. Risteski & Carlos E. García D.
%RROH6FKU|GHU·VDOJHEUD7KLVV\VWHPZKLFKLVPDWKHPDWLFVRIORJLF LVQRWDSXUHPDWKHPDWLFDOORJLFVLQFHLWLVQRWIRXQGHGLQGHSHQGHQWO\ RILWVORJLFDOLQWHUSUHWDWLRQ%RROHLVWKHIDWKHURISXUHPDWKHPDWLFV ZKLFKSUHVXSSRVHVORJLFEXWQRWWKHIDWKHURISXUHPDWKHPDWLFDO ORJLF3XUHPDWKHPDWLFDOORJLFDODULVHVIURPWKHFRQWUDGLFWLRQRIWKH %RROHDQPDWKHPDWLFVRIORJLFZKLFKSDVVHVLQWRORJLFRIPDWKHPDWLFV 1RZWKHQDWXUDOTXHVWLRQDULVHV+RZGRHVRQHFRPHWRWKDWORJLFLVWLF FRQWUDGLFWLRQ"
7KHFULWLFLVPRIGLIIHUHQWLDODQGLQWHJUDOFDOFXOXVDQGWKHPDWKHPDWLFLDQV· UHWXUQWRWKHSUREOHPRILWVIRXQGDWLRQLQWKHPLGGOHRIWKHthFHQWXU\ JDYHDFOHDUQRWLFHRIWKHQHHGRIIRXQGDWLRQRIWKHDULWKPHWLFRIUHDO QXPEHUV7KLVZDVDSHULRGRIFULWLFDOPRWLRQLQPDWKHPDWLFVDSHULRG ZKHQ:HLHUVWUDVVDFKLHYHGDVXSUHPHPDWKHPDWLFDODXWKRULW\DSHULRG ZKHQZLWKWKHLQIRUPDOORJLFDODQDO\VLVWKHLQWXLWLRQVRIVSDFHDQGWLPH DVIRXQGDWLRQVRIDULWKPHWLFZHUHUHMHFWHG,QWKDWSHULRG'HGHNLQG DULWKPHWL]HGWKHFRQWLQXXPRIUHDOQXPEHUVWRVHWDIWHUZDUGVHYHQWKH SUREOHPRIWKHJHQHVLVRIWKHYHU\QDWXUDOQXPEHUVZLWKWKHZRUGV>@ “If we call arithmetic, algebra or analysis just one branch of logic, by this we already mean that we consider the concept of number quite independent of the notion of space and time; on the contrary, we consider it an immediate product of the pure laws of thoughtµ7KDWZDVDSHULRGZKHQWKHUHZDVQRVSHHFK DERXWWKH%RROHDQORJLFVHHNLQJIRULWVSRVLWLYHQHVVLQPDWKHPDWLFV2Q WKHFRQWUDU\LQWKDWSHULRGPDWKHPDWLFVZRXOGVHHNIRULWVSRVLWLYHQHVV LQORJLF+RZHYHUWKLVUDGLFDOFRQWUDGLFWLRQZDVGHYHORSLQJJUDGXDOO\ ZLWKWKHDGRSWLRQDQGGHYHORSPHQWRIRQHPRUHDVSHFWRIWKHFULWLFDO PRWLRQLQPDWKHPDWLFV,QWKHPLQGVRIWKHOHDGLQJPDWKHPDWLFLDQVRI WKHHQGRIWKHthFHQWXU\WKHLGHDORIWKHPDWKHPDWLFDOWKHRU\ZKLFKLV deduced from a small number of mathematical premises in accordance ZLWKWKHORJLFDOSULQFLSOHVZDVFOHDUO\GUDZQVRWKHLGHDORIWKHWKHRU\ UHMHFWHGLQWXLWLRQHYHQDVPHDQVRIGHPRQVWUDWLRQ,WLVREYLRXVWKDWWKH %RROHDQSHULRGLQZKLFKSXUHPDWKHPDWLFVZDVHODERUDWHGHVVHQWLDOO\ FRQWULEXWHGWRWKHFUHDWLRQRIWKDWLGHDO5DGLFDOWKLQNHUVVXFKDV3HDQR VDZWKDWDGHGXFWLYHVFLHQFHVRXQGHUVWRRGWKDWUHTXLUHGSRVWXODWLRQDQG GHÀQLWLRQRIWKHEDVLFHQWLWLHVEXWDOVRDUDGLFDOSXUJHRIWKHGHGXFWLYH SURFHGXUHIURPWKHSURSHQVLW\WRLQWXLWLRQFRXOGFRPHWUXHRQO\LQWKH IUDPHZRUNRIDV\PEROLFODQJXDJHIUHHRIWKHLQWXLWLYHFRQWHQWVRIWKH QDWXUDOODQJXDJHV7RDJUHDWH[WHQWWKDWODQJXDJHKDGEHHQDOUHDG\ GHYHORSHGE\PDWKHPDWLFV0HDQZKLOH3HDQRLQFRQFRUGDQFHZLWK WKHQHZFRQFHSWLRQVRIGHGXFWLYHVFLHQFHFRQVLGHUHGQHFHVVDU\WRGR ZKDWKDGQRWEHHQGRQHLQPDWKHPDWLFVWLOOWKHQQDPHO\WRIRUPDOL]H
158 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS
DQGV\PEROLFDOO\GHVFULEHRQO\WKHPDWKHPDWLFDODUJXPHQWDWLRQ6RKH FRQVWUXFWHGWKHV\PEROLFORJLFZKLFKKHXVHGLQWKHIRUPDOL]DWLRQRI PDWKHPDWLFV%\PHDQVRIWKDWORJLFWKHGHGXFWLRQRIWKHFRQFOXVLRQV IURPWKHSUHPLVHVZDVUHSODFHGE\DIRUPDOJHQHUDWLRQRIWKHUHVSHFWLYH V\PEROLFH[SUHVVLRQVIURPRWKHUVXFKH[SUHVVLRQVE\DTXDVLDOJHEUDLF process.
6XFKDPRGHUQEXWKDUGO\VLPSOHUDQGPRUHUHDGDEOHSUHVHQWDWLRQRI PDWKHPDWLFDOORJLFRIÀUVWRUGHUZDVJLYHQE\%HWK>@+HDOVRSURYHG LWVFRPSOHWHQHVVE\FRPSULVLQJDOOORJLFDOSULQFLSOHVRIÀUVWRUGHU7KLV ZDV*|GHO·VUHVXOWZKLFKEHFDPHVWLOOPRUHLQWHUHVWLQJLQWKHFRQWH[W RIKLVODWHUUHVXOWVRILQFRPSOHWHQHVVRIWKHIRUPDOPDWKHPDWLFVRIÀUVW RUGHU$QDOWHUQDWLYHV\VWHPRIORJLFWKHVRFDOOHGQDWXUDOV\VWHPZDV SURSRVHGE\3UDZLW]>@ZKLFKFDQEHXVHGLQWKHIRUPDOL]DWLRQRI PDWKHPDWLFVPRUHFRQFUHWHO\RIHOHPHQWDU\DULWKPHWLF
,QWKLVZD\PDWKHPDWLFVLVIUHHGIURPLQWXLWLRQEHLQJWUDQVIRUPHGLQWR a set of propositions of the form p implies q,ZKHUHp represents the FRQMXQFWLRQRIWKHSRVWXODWHGPDWKHPDWLFDODVVHUWLRQVDQGq are their TXDVLDOJHEUDLFDOO\GHGXFHGFRQVHTXHQFHV7KHFRQQHFWLRQRIWKLVDVSHFW RIWKHFULWLFDOPRWLRQZLWKWKDWSUHVHQWHGE\'HGHNLQGZKRFODLPHG that the main constituents of the mathematical proportions could be ORJLFDOO\GHÀQHGVKRZHGWKHSRVVLELOLW\WKDWp and qZHUHSXUHO\ ORJLFDOSURSRUWLRQVi.e.WKDWPDWKHPDWLFVIUHHGIURPLQWXLWLRQEHFDPH DVHWRISXUHO\ORJLFDOSURSRVLWLRQVRIWKHIRUPp implies q. In other ZRUGVPDWKHPDWLFVEHFDPHDEUDQFKRIORJLF7KHFRQQHFWLRQRIWKHVH WZRDVSHFWVRIWKHFULWLFDOPRWLRQLQPDWKHPDWLFVDQGWKHFRQVHTXHQW DGRSWLRQRIWKDWDWWLWXGHZHUHDFFRPSOLVKHGE\WKHORJLFLVWV)UHJHDQG 5XVVHOO7KH\RFFXSLHGWKHPVHOYHVZLWKWKHSURRIWKDWSXUHPDWKHPDWLFV ZDVDEUDQFKRIORJLFWKHEUDQFKFDOOHGPDWKHPDWLFDOORJLFEHLQJWKH ORJLFRIPDWKHPDWLFVi.e.WKHORJLFIURPZKLFKPDWKHPDWLFVVWDUWHG
7KHORJLFZKLFKLVQHFHVVDU\IRUWKHORJLFLVWLFUHFRQVWUXFWLRQRIWKH SXUHPDWKHPDWLFVH[WHQVLYHO\RYHUODSVZLWK&DQWRU·VVHWWKHRU\ ZKRVHSRVLWLYHQHVVDWWKHEHJLQQLQJRIWKHthFHQWXU\ZDVEURXJKW LQWRTXHVWLRQE\WKHGLVFRYHU\RILWVSDUDGR[LFDOLW\/RJLFLVPUHGXFHG PDWKHPDWLFVWRORJLFEXWQRWWRLQH[RUDEOHSRVLWLYHORJLFEXWWRORJLF ZKLFKLVSHUKDSVOHVVSRVLWLYHWKDQPDWKHPDWLFVLWVHOI7KHLQWXLWLRQLVWV RUPRUHJHQHUDOO\WKHFRQVWUXFWLYLVWVDV%URXZHUDQGRWKHUVJRDORQJ WKHZD\RIUHSHDWHGDFTXLVLWLRQRIWKHSRVLWLYHQHVVRIPDWKHPDWLFVLQ PDWKHPDWLFVLWVHOI>@ 159 Ice B. Risteski & Carlos E. García D.
7KHFRQWUDGLFWLRQEHWZHHQWKHORJLFLVWLFDQGLQWXLWLRQLVWLFIRXQGDWLRQV RIPDWKHPDWLFVFDQEHPRUHFOHDUO\VHHQLQWKHRSLQLRQVFRQFHUQLQJ the existence of mathematical entities. A brilliant presentation of this FRQWUDGLFWLRQLQZKLFKWKHFRQVLGHUDWLRQRIWKHIRUPDOLVWLFRSLQLRQLV DOVRLQFOXGHGDVZHOODVWKHFRQQHFWLRQZLWKWKHWUDGLWLRQDOSKLORVRSKLFDO FRQWUDGLFWLRQFDQEHIRXQGLQ4XLQH·VSKLORVRSK\RIPDWKHPDWLFV>@ 6RPHORJLFLVWVOLNH5XVVHOOGRQRWJLYHXSWKHLURULJLQDORSLQLRQDQG PXVWWUHDWWKDWVLWXDWLRQDVDFDWDVWURSKHRIORJLFLVP2WKHUVVXFKDV 5DPVH\DQG4XLQHFRQVLGHUWKHORJLFLVWLFSURJUDPIXOÀOOHGZLWKWKHYHU\ DGRSWLRQRI3ODWRQLVP:HPXVWXQGHUOLQHWKDWWKH3ODWRQLVWLFRSLQLRQ FRQFHUQLQJWKHH[LVWHQFHRIPDWKHPDWLFDOHQWLWLHVLVWKHRIÀFLDO opinion of PRGHUQPDWKHPDWLFV7KLVLQIDFWLVFRQÀUPHGE\*|GHO>@WKURXJK KLVVWLOOXQVXUSDVVHGSUHVHQWDWLRQRI3ODWRQLVPLQPDWKHPDWLFV7KH constructivistic opinions retreat from this main trend. Such an opinion LVDOVRSUHVHQWLQ*RRGVWHLQ·VWKHRU\>@:HVKDOOVKRZZKHUHWKH FRQVWUXFWLYLVWVÀQGSRVLWLYHQHVVLQPDWKHPDWLFVE\PHDQVRIDWH[WRQ WKHGHÀQLWLRQRIPDWKHPDWLFV
:KDWLVWKHVXEMHFWRIPDWKHPDWLFV"'RHVPDWKHPDWLFVGHVFULEHWKH HQWLWLHVDQGZKDWLVWKHPRGHRIH[LVWHQFHRIWKHVHHQWLWLHV":KDW LVVSRNHQDERXWLQPDWKHPDWLFV":KHQRQHVSHDNVRIWKHPRVW IXQGDPHQWDOi.e.RIWKHILUVWVXEMHFWRIPDWKHPDWLFVWKHQDWXUDO QXPEHURXUFRPSUHKHQVLRQHQFRXQWHUVDORWRIWURXEOHV:HVKDOOWU\ WRH[SODLQZKHUHWKHVHXQNQRZQVFRPHIURPDQGDOVRWKHXQFHUWDLQW\ FKDUDFWHULVWLFIRUWKHHQFRXQWHUVZLWKWKHVHTXHVWLRQV
7KHILUVWGHVFULSWLRQRIPDWKHPDWLFVZKLFKGHVHUYHVDVHULRXV FRQVLGHUDWLRQLV5XVVHOO·VYHU\RIWHQTXRWHGDSKRULVP´Mathematics can EHGHÀQHGDVDVXEMHFWDERXWZKLFKZHQHYHUNQRZZKDWLVLWZHDUHWDONLQJ about, nor whether what we say is trueµ
7KLVGHÀQLWLRQFRQWDLQVIRXUJUHDWGLVWLQFWLRQV
,WLVUHMHFWHGE\FRPPRQVHQVH,QWKLVSRLQWFRPPRQVHQVHLVLQFRQÁLFW ZLWKZKDWWKHXVXDOcommon sense does not do. One of the main VHUYLFHVWKDWPDWKHPDWLFVKDVGRQHWRPDQNLQGLVSXWWLQJFRPPRQ
+HUHDQH[SODQDWLRQLVQHHGHG7KHRULJLQDOORJLFLVWLFRSLQLRQIRULQVWDQFH5XVVHOO·VRSLQLRQ FRQFHUQLQJWKHH[LVWHQFHRIPDWKHPDWLFDOHQWLWLHVLVQRWUHDOLVPRUZKDWLWLVRIWHQFDOOHGQRZDGD\V 3ODWRQLVP&DUQDS·VSKLORVRSKLFDODSSURDFK>@DOVRWHVWLÀHVIRUWKLV%\WKHZD\DVZHDOUHDG\ VDLGWKHORJLFZKLFKLVnecessary for the logicistic reconstruction of mathematicsRYHUODSVLWVHOIZLWK &DQWRU·VVHWWKHRU\DQGWKLVLVLQIDFW3ODWRQLVWLF 4 RUSSELL, B. (1901) “Recent work on the Principles of Mathematics.” Int. Monthly 4, pp. 83-101.
160 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS
VHQVHZKHUHLWEHORQJVRQWKHKLJKHVWVKHOIQH[WWRWKHGXVW\WLQER[ ZLWKWKHODEHOthrown out nonsense.
5XVVHOO·VGHWHUPLQDWLRQIL[HVDQHQWLUHO\DEVWUDFWFKDUDFWHURI mathematics.
,WJLYHVWKHSRVVLELOLW\RIUHDOL]LQJLQMXVWDIHZZRUGVRQHRIWKHEDVLF WKRXJKWVRIPDWKHPDWLFVVLQFHi.e.WKHHQWLUHPDWKHPDWLFVDQG WKHPDWXUHVFLHQWLÀFGLVFLSOLQHVVKRXOGEHUHGXFHGWRDSRVWXODWLRQ IRUPVRWKDWPDWKHPDWLFLDQVSKLORVRSKHUVVFLHQWLVWVDQGSHRSOH ZLWKQRUPDOFRPPRQVHQVHFRXOGVHHSUHFLVHO\WKDWZKDWHDFKRQH RIWKHPWKLQNVZKHQKHVSHDNVDERXWLW
5XVVHOO·VGHWHUPLQDWLRQRIPDWKHPDWLFVVHQGVDORXGIDUHZHOOWRWKH VKDWWHUHGWUDGLWLRQZKLFKVWLOOUHVSHFWVWKHFRPSRVHUVRIGLFWLRQDULHV DFFRUGLQJWRZKRPPDWKHPDWLFVLVDVFLHQFHRIQXPEHUTXDQWLW\DQG PHDVXUH7KHVHVXEMHFWVFRPSULVHDJUHDWSDUWRIWKHPDWWHUWRZKLFK PDWKHPDWLFVZDVDSSOLHG%XWWKH\DUHLQQRFDVHKLJKHUPDWKHPDWLFV MXVWDVWKHSDLQWVLQWKHPDVWHU·VWXEHVDUHQRWWKHPDVWHUSLHFHWKDW KHSDLQWV7KH\DUHIRUPDWKHPDWLFVZKDWOLQVHHGRLODQGEOXHSDLQW DUHIRUWKHSDLQWHU·VVNLOO
:KDWWKHDERYHDSKRULVPVDLGVHHPVWREHWUXHDVWKHH[DPSOHVEHORZ ZLOOWHVWLI\:HGRQRWNQRZZKDWZHDUHWDONLQJDERXWLQPDWKHPDWLFV EXWWKHUHLVDQRWKHUVLGHRIWKHVWRU\ZKLFKGLVWLQJXLVKHVPDWKHPDWLFV IURPWKHXQFOHDUZD\RIUHDVRQLQJRIVRPHSKLORVRSKHUVDQGSHRSOHZKR RFFXS\WKHPVHOYHVZLWKVSHFXODWLYHVFLHQFHV:HPXVWEHFHUWDLQZH KDYHQRWFKDQJHGWKHVXEMHFWRIGLVFXVVLRQLQWKHFRXUVHRIWKHLQWULFDWH DQGGHOLFDWHPDWKHPDWLFDOUHDVRQLQJRUWKDWRXULQLWLDOSUHPLVHVUHDOO\ FRQWDLQZKDWZHWKLQNZKLOHVSHDNLQJ2QFHDJDLQWKHPDWKHPDWLFLDQV KDGWRGHVWUR\WKHHUHFWHGVWUXFWXUHRIWKHLURZQNQRZOHGJHVLQFHWKH\ OLNHDOORWKHUKXPDQEHLQJVDUHSURQHWRHUURUVQRWWDNLQJQRWLFHRIVRPH trivial defects in the foundations of mathematics.
%HIRUHDEDQGRQLQJ5XVVHOO·VGHÀQLWLRQOHWXVFRPSDUHZLWKWKHVHWZRGHÀQLWLRQV$FFRUGLQJ WR3HLUFH´mathematics is a science that deduces the indispensable conclusionsµ$QGDJDLQ5XVVHOO SURQRXQFHVDVLPLODUWKRXJKW´3XUHPDWKHPDWLFVFRQVLVWVH[FOXVLYHO\RIDVVHUWLRQVRIWKHIRUPLID statement is true for some entity, then some other statement is also true. The essence is not to discuss ZKHWKHUWKHÀUVWVWDWHPHQWLVDFWXDOO\WUXHDQGQRWWRPHQWLRQZKDWLVWKLVZKLFKLVSUHVXSSRVHGWREH trueµ$QGDJDLQ´pure mathematics is a class of all statements of the form p implies q, where p and q are statements . . . “ $OO TXRWDWLRQV E\ 5XVVHOO FRPH IURP RUSSELL, B. (1901) “Recent work on the Principles of Mathematics.” Int. Monthly 4, pp. 83-101 161 Ice B. Risteski & Carlos E. García D.
7KHHYROXWLRQRIWKLVWRRDEVWUDFWYLHZRIPDWKHPDWLFVZDVVORZDQGLQ its mature form it represents a characteristic product of the mathematical DFWLYLW\LQWKHthFHQWXU\1RWDOO PDWKHPDWLFLDQVDJUHHGZLWKWKH GHWHUPLQDWLRQVRIWKDWW\SH0DQ\JDYHSULRULW\ WRVRPHWKLQJPRUH FRQFUHWH2QO\DIHZDFFHSWHGWKHGRJPDWKDWVNLOO LQPDQLSXODWLQJ SRVWXODWHVLQRUGHUWRFRPHWRZKDW.DQWFDOOHGDQDO\WLFDOMXGJPHQW LVVXIILFLHQWIRUWKHFUHDWLRQRUXQGHUVWDQGLQJRIPDWKHPDWLFV,Q PDWKHPDWLFVXVXDOO\ VRPHWKLQJPRUHWKDQLPSHFFDEOHORJLFLVVRXJKW $VNLOOIXOORJLFLDQFDQQRWEHFRQVLGHUHGDV mathematician due to his LQJHQXLW\LQORJLF
7KHVHFRQFOXVLRQVFDQEHVXSSRUWHGWRDJUHDWH[WHQWE\WKHWKRXJKWRI .OHLQDOHDGLQJ *HUPDQPDWKHPDWLFLDQLQWKHODVWTXDUWHURIWKHth FHQWXU\ZKRVDLGWKDWmathematics in general is a fundamental science about the entities which are self-evident7KRXJKWKLVLVSURIRXQGO\WUXH can be misunderstood.
)LUVWRIDOOWKHPRGHUQFULWLFDOGHYHORSPHQWWDXJKWPRVWRIWKH mathematicians WREHH[WUHPHO\PLVWUXVWIXOZLWKUHVSHFWWRentities which are self-evident$FFRUGLQJ WRWKLVDPDWKHPDWLFLDQFDQEHPLVOHGLIKH accepts that the complicated chains of WKHVWULFWUHDVRQLQJDUHHDV\RU WKDWWKH\FDQEHDYRLGHGIURPWKHYHU\EHJLQQLQJ,I PDWKHPDWLFVZHUH DFWXDOO\DVFLHQFHDERXWVHOIHYLGHQWHQWLWLHVWKHQPDWKHPDWLFLDQV ZRXOG EHDIDQWDVWLFPRERIIRROVZKRVSRLOWRQVRIKLJKTXDOLW\SDSHUSURYLQJ that fact. 0DWKHPDWLFV DFFRUGLQJWRWKLVSKLORVRSK\RIPDWKHPDWLFV LV abstract and GLIÀFXOWDQGDQ\DVVHUWLRQRIVLPSOLFLW\LVWUXHRQO\LQD VWULFWO\SURIHVVLRQDOVHQVH 2QO\WKHSUHPLVHVPDWKHPDWLFVFRPHVIURP are simple.
(DFKRIWKHDWWHPSWVWRGHÀQHPDWKHPDWLFVFRQWULEXWHVWRWKHHOXFLGDWLRQ of particular details RIWKHSLFWXUH7KHVHDWWHPSWVDVZHOODVRWKHUV WKDWZHUHQRWPHQWLRQHGKHUHVKRZWKHKRSHOHVVQHVVRIWKHDWWHPSWWR SDLQWWKHEULJKWVXQULVHLQRQHFRORU7KHDWWHPSWWRFRQGHQVHWKHIUHH VSLULWRIPRGHUQPDWKHPDWLFVZLWKLQDIHZLQFKHVLQVRPHGLFWLRQDU\ LVYDLQMXVWDVWKHHQGHDYRUWRFRPSUHVVLQWRDVPDOOSKLDODFORXGIXOO RIHOHFWULFLW\ZKLFKFRQVWDQWO\WHQGVWRH[SDQVLRQ>@
/HWXVPDNHWKLVFOHDU)RUWKH*UHHNVPDWKHPDWLFVZDVÀUVWRIDOO JHRPHWU\DQGLIJHRPHWU\LVVWXGLHGLQWKHWUDGLWLRQDOZD\WKHQD ÁRRGRISKLORVRSKLFDO TXHVWLRQVDULVHVIURPWKHYHU\EHJLQQLQJ(XFOLG GHÀQHGWKHSRLQWDVsomething that has no partsEXWKRZPXVWWKLVEH
162 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS
XQGHUVWRRG",QGHHGLVLWSRVVLEOHWKDWVRPHWKLQJZLWKRXWSDUWVH[LVWV" (YHQLIVXFKWKLQJVFRXOGH[LVWFRXOGZHHYHUVHHWKHPRUNQRZ DQ\WKLQJDERXWWKHP"3HRSOHRIWHQFRQVLGHU(XFOLGHDQJHRPHWU\D description of the SK\VLFDOZRUOGEXWLWVHHPVKDUGWREHOLHYHWKDWWKH ZRUOGFDQEHFRQVWUXFWHGRISRLQWVVLQFHLIWKHSRLQWVDUHQRWH[SDQGHG WKHQHYHQDQLQÀQLWHQXPEHURISRLQWVDUHQRWVXIÀFLHQW to obtain some YROXPH$UHWKHSRLQWVMXVWLGHDVRIRXUPLQG"2UDUHWKH\UHDOWKLQJV WKDWFDQQRWEHREVHUYHG" 7KHFUHDWLRQRIQRQ(XFOLGHDQJHRPHWULHVDGGVQHZIXHOWRWKDWÀUH ,IWKRVHJHRPHWULHVWKDWFRQWDLQODZVORJLFDOO\LQFRPSDWLEOHZLWKWKH (XFOLGHDQJHRPHWU\DUHPDWKHPDWLFDOO\ H[DFWWKHQZKDWKDSSHQV ZLWKWKHFRQFHSWRIPDWKHPDWLFDOWUXWK":KHQDODZLVLQFRPSDWLEOH ZLWKDQRWKHURQHWKHQERWKFDQQRWEHWUXHDWWKHVDPHWLPH+DYH PDWKHPDWLFLDQVFHDVHGGHDOLQJZLWKWUXWK",WLVKDUGWRLPDJLQHDVWXG\ RIJHRPHWU\ZKLFKKDVDQ\VHQVHZLWKRXWSUHVXSSRVLQJWKHVHHNLQJIRU truth in space. &RQFHUQLQJDULWKPHWLFWKHUHDUHDOVRDQXPEHURIVLPLODUTXHVWLRQV ZKLFKUHIHUWR WKHPHDQLQJRIWKHWHUPVXVHGWKHSRVVLELOLWLHVRI FRQÀUPLQJWKHWUXWKLQIDFWZKHWKHUWUXWKLVDOVRVRXJKWLQWKLVÀHOG RIPDWKHPDWLFV,PSRUWDQWTXHVWLRQVDUHUDLVHGDERXWZKDWNLQGRI NQRZOHGJHGRZHVSHDNZKHQZHXVHVXFKWHUPRUZK\WKHODZVRI QXPEHUVFDQEHDSSOLHGWRUHDOLW\,QUHODWLRQWRWKHPDWKHPDWLFVZKLFK VWXGLHVWKHQXPEHUVDQRWKHUSUREOHPDULVHVQDPHO\WKHSUREOHPRI PDWKHPDWLFDOH[LVWHQFH7KHSULQFLSOHVRIJHRPHWU\FDQEHXQGHUVWRRG DVK\SRWKHWLFDOSULQFLSOHVZKLFKGRQRWFODLPWKHH[LVWHQFHRIDQ\WKLQJ IRULQVWDQFHif there exists a triangle, then the sum of its angles equals two right angles*HRPHWU\FDQQRWEHFRQFHLYHGDVDWKHRU\ZKLFKPDNHV H[LVWHQWLDOFODLPVOLNHthere exists a triangle2QWKHRWKHUKDQGLQWKH PDWKHPDWLFVZKLFKVWXGLHVWKHQXPEHUVWKHUHDUHDQXPEHURIODZV ZKLFKVHHPWRFODLPWKHH[LVWHQFHRIVRPHWKLQJVIRULQVWDQFH: there exists a unique number y such that x multiplied by y yields x, no matter what number x is/DZVRIWKLVIRUPQRGRXEWVHHPWRFODLPWKHH[LVWHQFHRI VRPHWKLQJi.e.WKHQXPEHULQVXFKDZD\WKDWWKHODZFDQQRWEHHDVLO\ XQGHUVWRRGLQDK\SRWKHWLFDOVHQVHDVLWZDVWKHFDVHZLWKWKHODZVRI JHRPHWU\%XWZKDWNLQGRIH[LVWHQFHDUHZHWDONLQJDERXW":KDWNLQG 163 Ice B. Risteski & Carlos E. García D. RIUHDOLW\GRHVWKDWÀHOGRIPDWKHPDWLFVUHIHUWR"6KRXOGWKHVWDWHPHQWV RIH[LVWHQFHEHXQGHUVWRRGOLWHUDOO\RUTXLWHÀJXUDWLYHO\" $OOWKHVHDUHSKLORVRSKLFDOSUREOHPVVLQFHWKH\UHIHUWRYHU\JHQHUDODQG IXQGDPHQWDOTXHVWLRQVDERXWPHDQLQJWUXWKUHDOLW\DQGNQRZOHGJH 7KHKDUGZRUNLQJPDWKHPDWLFLDQVZKRPDNHHIIRUWVWRH[SDQGWKHLU VXEMHFWXVXDOO\GHYRWHOLWWOHDWWHQWLRQWRVXFKSUREOHPV6RPHRQH FRXOGVD\rightly so, since the above mentioned problems are just mixed pseudoproblems, such a type of philosophical speculation about mathematics is meaningless. 7KHPDWKHPDWLFVRIWKHQXPEHUVRUDULWKPHWLFVKRZVE\PHDQV RIH[DPSOHVWKDWDVFLHQFHDERXWWKHQXPEHUVLVSRVVLEOHZLWKRXW RQWRORJ\]LQJWKHQXPEHU7KHSUREOHPRIDULWKPHWLFLVQRWWKHQXPEHUV DVDQREMHFWRIVRPHRQWRORJ\EXWWKHUROHRIWKHQXPEHUVi.e.LQWKH DGGLWLRQVXEWUDFWLRQPXOWLSOLFDWLRQGLYLVLRQHWF7KHSUHVHQFHRIWKLV UROHLQDULWKPHWLFLVUHDOL]HGE\WKHFDUULHUVRIWKHUROHi.e.ZLWKWKH V\PERORIWKHQXPEHUDQGWKLVSUHVHQFHHQDEOHVWKHFRQVWUXFWLRQRI DULWKPHWLF7KHUROHRIWKHVHFDUULHUVLVGHWHUPLQHGE\WKHLUHQXPHUDWLRQ LQWKHVHQVHRIDSRWHQWLDOUHDOL]DWLRQRIWKHVHQXPEHUVWKHLUDGGLWLRQLQ WKHVHQVHRIDSRWHQWLDOUHDOL]DWLRQRIWKHVHQXPEHUVHWF7KLVSRWHQWLDO UHDOL]DWLRQLVXVXDOO\HQFRGHGLQWKHIRUPRIUXOHV enumeration of numbers m m_ addition of numbers m m mn p mn_ p_HWF ,IZHXQGHUVWDQGWKHVRGHWHUPLQHGUROHVDVWUDQVIRUPDWLRQUXOHV RIWKHV\PEROVRIWKHQXPEHUVWKHQZHFDQDJUHH WKRXJKQRWLQ DQ\GLVSDUDJLQJIRUPDOVHQVH ZLWKWKHRIWHQUHSHDWHGDVVHUWLRQ WKDWDULWKPHWLFLVQRWDVWXG\RIWKHQXPEHUVWKHPVHOYHVEXWRIWKH WUDQVIRUPDWLRQUXOHVSRWHQWLDOO\UHDOL]HGZLWKWKHV\PEROVRIWKH QXPEHUV7KRXJKLQDULWKPHWLFZHVSHDNDERXWQXPEHUVWKLVLPSOLFLWO\ VKRZVWKDWWKHVSHHFKLVIUHHRIRQWRORJLFDODFFHQW %\WKHZD\WKLVUHPDUNLVWRRURXJK3HUKDSVPRVWRIWKHGLIÀFXOWLHVH[SHULHQFHGE\SKLORVRSKHUV ZKRFRQVLGHUPDWKHPDWLFVDULVHIURPWKHPLVXQGHUVWDQGLQJRIWKLVNLQGRISUREOHPV\HWWKHVH TXHVWLRQVUHSUHVHQWVHULRXVLQWHOOHFWXDOSUREOHPVEHFDXVHWKHPLVXQGHUVWDQGLQJVWKH\DULVHIURP DUHVLJQLÀFDQWDQGFRQYLQFLQJEXWQRWULGLFXORXVQRUHDV\WRHOLPLQDWH7KHVHSUREOHPVZKLFKDUH QRWHDVLO\GLVFDUGHGGHVHUYHEHLQJWHVWHGDQGVROYHG7KRVHZKRFXWWKH*RUGLDQNQRWLQVWHDGRI XQW\LQJLWVKRZWKDWWKHNQRWERWKHUVWKHPIRUDORQJWLPH 164 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS $VIRUWKHH[LVWHQFHRIWKHV\PEROVRIWKHQXPEHUVDQGWKHWUDQVIRUPDWLRQ UXOHVZKLFKGHWHUPLQHWKHLUUROHVOHWXVDGGWKHIROORZLQJ7KH transformation rules have a normative but not descriptive character. To WKRVHUXOHVLWFRUUHVSRQGVDQRUPRISRWHQWLDOUHDOL]DWLRQRIWKHQXPEHUV WKHLUDGGLWLRQHWF2QWKHRWKHUKDQGWKHV\PERORIWKHQXPEHURSSRVHV WKHRQWRORJLFDODFFHQWE\LWVDUELWUDULW\$Q\WKLQJFDQEHWKHV\PERORI DQXPEHU%XWWKLVRQWRORJLFDODUELWUDULW\RIWKHQXPEHULVWKHEDVLVIRU WKHFRQVWUXFWLRQRIDULWKPHWLFVLQFHWKHSRVVLELOLW\RIUHDOL]DWLRQRIDQHZ QXPEHUOLHVLQLWZKLFKHQDEOHVWKHVWDWHPHQWRIWKHSRWHQWLDOUHDOL]DWLRQ LQWKHIRUPRIWKHSUHYLRXVO\PHQWLRQHGWUDQVIRUPDWLRQUXOHV ,QWKHQRUPDWLYHFKDUDFWHURIWKHSXUHPDWKHPDWLFVDQGWKHRQWRORJLFDO DUELWUDULW\ZKLFKHQDEOHVLWVFRQVWUXFWLRQOLHVLWVSRVLWLYHQHVVRUDVLW LVVRPHWLPHVZLWKSULGHDQGPRUHRIWHQZLWKLQFRPSUHKHQVLRQFDOOHG its eternal truth. 7KLVSRVLWLYLQHVVLVFRQIURQWHGVWLOOEHLQJXQDZDUHRILWVVRXUFHDQGWKHQ XQGHURQWRORJLFDOSUHVVXUHZHZDQWWRGLVFRYHUDQGRQWRORJLFDOO\IRXQG WKHVXEMHFWRIPDWKHPDWLFVDQGWRXQGHUVWDQGLWDVDGHVFULSWLRQRIWKDW VRPHZKHUHH[LVWLQJVXEMHFW,WLVFOHDUWKDWLQWKHRQWRORJLFDOLQYROYHPHQW and the descriptive character of the so understood mathematics the SRVLWLYHQHVVZKLFKZHFRQIURQWHGDQGZKRVHVRXUFHLVLPSRUWDQWIRU XVLVORVW:KLOHVHHNLQJWKHYHU\VRXUFHRISRVLWLYHQHVVZHEHFRPH XQFHUWDLQDQGFRQIXVHGZHEHJLQWRZKLUOLQWKHVHWRIXQNQRZQV 7KLVLVZK\ZHPXVWEHFRQVFLRXVWKDWWKHRQWRORJLFDOIRXQGDWLRQRI PDWKHPDWLFVDVDGHVFULSWLYHVFLHQFHWKURXJKWKHIRXQGDWLRQRILWVVXEMHFW FDQQRWKDYHWKDWFKDUDFWHURISRVLWLYHQHVVZKLFKSXUHPDWKHPDWLFVKDV ,QYLHZRIWKHFKDUDFWHURIWKHSXUHPDWKHPDWLFVDQGLWVIRXQGDWLRQZH VKDOOVD\DIHZZRUGVDERXWWKHDSRGLFWLFDOWUXWKRIWKHPDWKHPDWLFDO assertions. 7KHSUHYLRXVO\SUHVHQWHGUHDVRQLQJRIWKHSXUHPDWKHPDWLFVDERXW WKHQXPEHUVOHGXVWRXQGHUVWDQGWKHVHLQDFOHDUO\GHÀQHGVHQVHDVD VWXG\RIWKHWUDQVIRUPDWLRQUXOHVRIWKHV\PEROVRIWKHQXPEHUV7KLV VWXG\UHTXLUHVDVSHHFKZKLFKLVDVVHUWLYHLQQDWXUH A simple arithmetic assertion is the claim of the potential realization of VRPHFDOFXODWLRQIRULQVWDQFHDGGLWLRQPXOWLSOLFDWLRQHWF%\VXFKDQ DVVHUWLRQZHFODLPWKHSRWHQWLDOUHDOL]DWLRQRIWKHWULSOHmn pE\ the application of the rule of addition. This assertion of the potential UHDOL]DWLRQRUFRQVWUXFWLELOLW\FDQEHJLYHQWKHIRUPmn p. 165 Ice B. Risteski & Carlos E. García D. 7KHDSRGLFWLFDOWUXWKRIVXFKDQDVVHUWLRQOLHVH[DFWO\LQWKHSRWHQWLDO UHDOL]DWLRQRIQRUPDWLYHO\GLUHFWHGFDOFXODWLRQV7KLVLVJXDUDQWHHG E\WKHUHDOL]DWLRQRIWKHSUHVFULEHGFRQVWUXFWLRQWKLVPHDQVE\WKH UHDOL]DWLRQRIWKHV\QWKHVLVZKLFKLVQRWGHVFULSWLYHEXWLVQRUPDWLYHO\ GLUHFWHGi.e.DFFRUGLQJWRWKHROGYRFDEXODU\LWLVa priori:HFDQVD\ WKDWE\WKHPHDQLQJRIWKHDVVHUWLRQ LQRXUFDVHWKLVLVWKHSRWHQWLDO UHDOL]DWLRQRIDFRQVWUXFWLRQ LWVWUXWKLVGHWHUPLQHG 0HDQZKLOHZHGRQRWDELGHE\WKHZRUGVsimple proposition:HFRPELQH WKHSURSRVLWLRQE\PHDQVRIFRQQHFWLYHVQHJDWHLWSDUWLFXODUL]HLWHWF ,QZKDWOLHVDQGZKDWLVWKHWUXWKYDOXHRIWKHLQGLYLGXDOSURSRVLWLRQV RIVXFKDULFKDVVHUWLYHVSHHFK":KDWDUHWKHPHDQLQJVRIWKHVH SURSRVLWLRQV" :KLOHLQRXUVSHHFKZHDUHVDWLVÀHGZLWKDVLPSOHFRPELQDWLRQRI WKHSURSRVLWLRQVE\PHDQVRIWKHVRFDOOHGSURSRVLWLRQDOFRQQHFWLYHV LQFOXGLQJWKHQHJDWLRQ WKHPHDQLQJVDQGWKHFULWHULDRIWUXWKRIWKHVR REWDLQHGSURSRVLWLRQVDVDZKROHDUHXQGHUVWRRGZLWKWKHWZRYDOXHG FODVVLFDOFRQFHSWVRIWUXHDQGIDOVHDVSUHGLFDWHVZKLFKDUHDVVLJQHGWR WKHSURSRVLWLRQLQFRQFRUGDQFHZLWKWKHVRFDOOHGWUXWKWDEOHVRIWKH values of the individual propositions. 7KLVFRPSUHKHQVLRQLVLQFRQFRUGDQFHZLWKWKHFRPSUHKHQVLRQRIWKH VLPSOHSURSRVLWLRQVVRWKDWLWFDQEHH[WHQGHGLQDQDSSURSULDWHZD\ WRWKHXQLYHUVDOSURSRVLWLRQVDVVKRZQE\DQH[DPSOHRIWKHUHFXUVLYH DULWKPHWLFHODERUDWHGLQE\6NROHP>@+HKDVVKRZQWKDWLQ UHFXUVLYHDULWKPHWLFDVDZKROHLWLVSRVVLEOHWRVLPXODWHVSHHFKE\ SURSRVLWLRQDOFRQQHFWLYHVRIFRPELQHGSURSRVLWLRQVWKURXJKSXUHO\ FDOFXODWHGVSHHFKRIVLPSOHSURSRVLWLRQV,QWKLVZD\DSXUHO\DULWKPHWLF ORJLFZKLFKLVGHSULYHGRIWKHGLUHFWXVHRIWKHH[LVWHQWLDODQGXQLYHUVDO TXDQWLÀHUVLVIRXQGHG 7KHIROORZLQJTXHVWLRQVUHPDLQRSHQ:KDWLVWKHPHDQLQJRIWKH XQLYHUVDODQGSDUWLFXODUSURSRVLWLRQV",QZKDWOLHVDQGZKDWLVWKHWUXWK YDOXHRIWKHVHSURSRVLWLRQV":KDWGRWKHSURSRVLWLRQV¶DWOHDVWRQHRGG QXPEHULVSHUIHFW·RU¶HDFKRGGQXPEHULVLPSHUIHFW·PHDQ",IE\DQ RQWRORJLFDODFFHQWZHXQGHUVWDQGWKHVHSURSRVLWLRQVDVDGHVFULSWLRQRI WKHDFWXDOVHWRIWKHQXPEHUVWKHQWKHPHDQLQJVRIWKHVHSURSRVLWLRQV DUHGHVFULSWLRQVRIVWDWHVRIWKHREMHFWVLQWKLVVHW7KHFRQGLWLRQRIWUXWK GHWHUPLQHGE\WKLVPHDQLQJFRUUHVSRQGVWRWKHGHVFULSWLRQRIWKHVWDWH RIWKHREMHFWV7KHXQFHUWDLQW\ZKLFKDULVHVIURPWKLVXQGHUVWDQGLQJLV 166 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS DOUHDG\GHVLJQDWHG0RUHRYHUWKLVFRQGLWLRQRIWUXWKRIVRPHSURSRVLWLRQ GRHVQRWPDNHVLPXOWDQHRXVO\SRVVLEOHDFULWHULRQIRULWVWUXWK ,IWKHSRVLWLYHQHVVRIWKHSXUHPDWKHPDWLFVLVLPSRUWDQWIRUXVKHUH ZHDOUHDG\NQRZZKHUHLWVVRXUFHOLHV6RPHZRUNLVEHLQJGRQHRQ WKHIRXQGDWLRQRIDPDWKHPDWLFVZLWKDVVHUWLYHVSHHFKEXWIUHHRI RQWRORJLFDODFFHQW7KLVPDWKHPDWLFVi.e.PDWKHPDWLFDOORJLFLQVRPH VHQVHDOUHDG\SUHFHGHVWKHRQHDOUHDG\GHVFULEHGIUHHO\VSHDNLQJLQ WKHVDPHVHQVHLQZKLFKVSHHFKSUHFHGHVHQXPHUDWLRQ 7KXVZHVHHKRZFRQVWUXFWLYLVPGHWHUPLQHVSXUHPDWKHPDWLFVDQG ZKHUHLQFRQFRUGDQFHZLWKWKLVGHWHUPLQDWLRQÀQGVLWVSRVLWLYHQHVV :HDOVRVHHWKDWWKHFRQVWUXFWLYLVWLFDOO\XQGHUVWRRGSXUHPDWKHPDWLFV GRHVQRWSUHVXSSRVHDORJLF But the constructivistic reconstruction of the entire classical mathematics LVQRWSRVVLEOH&RQVWUXFWLYLVPÀQGVSRVLWLYHQHVVLQWKHSXUHPDWKHPDWLFV ZKLFKGRHVQRWRYHUODSZLWKWKHVWDQGDUGFODVVLFDOPDWKHPDWLFV7R PDQ\SHRSOHWKLVVHHPVWREHDWRRELJVDFULÀFH The term formalismLVXVHGLQWZRVHQVHV4XLWHRIWHQLWPHDQVD QRPLQDOLVWLFDWWLWXGHWRZDUGVWKHH[LVWHQFHRIWKHPDWKHPDWLFDOREMHFWV +HUHZHZLOOXVHLWLQDQRWKHUVHQVH)RUXV DQGIRURWKHUVOLNHYRQ 1HXPDQQ>@ IRUPDOLVPZLOOEHDV\QRQ\PIRU+LOEHUW·VPDWKHPDWLFDO foundation of mathematics since this foundation requires in one of its VWHSVDPHWKRGLFDOFRPSUHKHQVLRQRIWKHQRPLQDOLVWLFIRUPDOLVP:H VKDOOH[SODLQZKDWIRXQGDWLRQZHDUHWDONLQJDERXW Hilbert understands the constructivistic criticism of the classical PDWKHPDWLFVDVQRQSRVLWLYHPDWKHPDWLFV6WLOOZKDWKHFRQVLGHUV SRVLWLYHPDWKHPDWLFVLVMXVWDSDUWRIWKHFRQVWUXFWLYLVWLFDOO\XQGHUVWRRG SXUHPDWKHPDWLFVWKHVRFDOOHGÀQLWLVWSDUW%XWXQOLNHWKHFRQVWUXFWLYLVWV RULQWXLWLRQLVWVKHGRHVQRWZDQWWRUHMHFWWKDWSDUWRIWKHFODVVLFDO PDWKHPDWLFVZKLFKE\WKHFRQVWUXFWLYLVWLFUHFRQVWUXFWLRQLVQRWMXVWLÀHG DVDSRVLWLYHVFLHQFH+LVSURJUDPLVDSURJUDPRIMXVWLÀFDWLRQRIWKH FRQVWUXFWLYLVWLFDOO\UHMHFWHGQRQSRVLWLYHPDWKHPDWLFVE\WKHVRFDOOHG method of ideal elements. 7KH H[SODQDWLRQ RI WKH EDVLF LGHDV RI +LOEHUW·V SURJUDP FDQ EH IRXQG ZLWK PRUH GHWDLOV LQ 3UDZLW]>@ 167 Ice B. Risteski & Carlos E. García D. 7KHÀUVWSUREOHPRIWKDWSURJUDPLVWKHIRUPDOL]DWLRQRIWKHVWDQGDUG classical mathematics. The main results of that problem have been DOUHDG\REWDLQHGE\WKHORJLFLVWVWUDQVIRUPLQJPDWKHPDWLFVLQWRD V\VWHPRISURSRVLWLRQVRIWKHIRUPp implies q,ZKHUHp represents DFRQMXQFWLRQRISRVWXODWHGPDWKHPDWLFDODVVHUWLRQVDQGq are their TXDVLDOJHEUDLFDOO\GHGXFHGFRQVHTXHQFHV%XWZKLOHORJLFLVPVHHNV DORJLFDOLQWHUSUHWDWLRQRIWKHSURSRVLWLRQVRIWKDWV\VWHP+LOEHUW DFFHSWVRQO\DÀQLWHLQWHUSUHWDWLRQ,QVLPSOHUZRUGV+LOEHUWJLYHVD PHDQLQJRQO\WRWKHVHSURSRVLWLRQVRIWKHV\VWHPVZKLFKKDYHDVLPSOH FRPSXWDWLRQDOVHQVHIRULQVWDQFHWKHSURSRVLWLRQVRIWKHIRUPmm p$OORWKHUSURSRVLWLRQVZKLFKFDQQRWEHVLPSO\H[SODLQHGDUHQRW LQWHUSUHWHGDWDOOQRUJLYHQDQ\PHDQLQJE\+LOEHUW6WULFWO\VSHDNLQJ IRUKLPDQGKLVVFKRROWKH\KDYHQRVHQVHDWDOO7KH\DUHV\PEROV ZKLFKPHDQQRWKLQJi.e.WKH\DUHXQGHUVWRRGDVQRPLQDOLVWLFVLJQV 7KHXQLQWHUSUHWHGSURSRVLWLRQVRIWKHV\VWHPVDUHLGHDOHOHPHQWVZKLFK FDQEHIRUPDOO\ORJLFDOFRQVHTXHQFHVRIWKHLQWHUSUHWHGSURSRVLWLRQV IURPZKLFKDJDLQRWKHUXQLQWHUSUHWHGSURSRVLWLRQVFDQEHGHGXFHG IRUPDOO\ORJLFDOO\DQGDWODVWDOVRLQWHUSUHWHGRQHV)RUPDOO\WKHVHDUH PHPEHURIHTXDOULJKWVRIWKHGHGXFWLYHV\VWHP7KHGHGXFWLYHV\VWHP DVDZKROHLVMXVWLÀHGE\DPDWKHPDWLFDOSURRIRIFRQVLVWHQF\ZKLFK PXVWSURYLGHWKHIROORZLQJeach interpreted proposition which has a simple ÀQLWLVWPHDQLQJDQGZKLFKFDQEHSURYHGLQWKHIUDPHZRUNRIWKHV\VWHPHYHQ by using ideal elements, according to its meaning is true. 7KHLGHDOHOHPHQWVZKLFKKDYHQRVHQVHDQGZKLFKVKRXOGEHJLYHQ QRPHDQLQJVHUYHWRSURYHPRUHTXLFNO\DQGPRUHVLPSO\WKHÀQLWLVW propositions. ,QWKLVSURJUDPDPRPHQWZKLFKGLVWLQJXLVKHVLWIURPWKHQRPLQDOLVWLFDOO\ XQGHUVWRRGIRUPDOLVPVKRXOGEHQRWHG7KLVLVWKHPRPHQWRIFKRLFH RUEHWWHUWRVD\FRQVWUXFWLRQRIWKHV\VWHPZKLFKLVMXVWLÀHG2QWKHRQH KDQGIRUWKDWMXVWLÀFDWLRQWREHDWWKHVDPHWLPHDGHVLUHGMXVWLÀFDWLRQ RIWKHFODVVLFDOPDWKHPDWLFVWKHV\VWHPLWVHOIVKRXOGEHDIRUPDOL]DWLRQ RIWKHFODVVLFDOPDWKHPDWLFVDQGWKLVFDQEHWKHFDVHRQO\LIWKH FODVVLFDOPDWKHPDWLFVLVLWVLQWHUSUHWDWLRQ7KXVDWWKHYHU\PRPHQW RIIRUPDOL]DWLRQWKHV\VWHPPXVWEHLQWHUSUHWHGLIWKHMXVWLÀFDWLRQRI the classical mathematics is important and not the formal result about WKHIRUPDOV\VWHP2QWKHRWKHUKDQGWKHYHU\MXVWLÀFDWLRQLVIRXQG E\DPHWKRGLFDOIRUJHWWLQJRIWKDWLQWHUSUHWDWLRQ7KHÀQDO+LOEHUW·V FRQFOXVLRQVKRXOGEHWKHIROORZLQJWe understand the classical mathematics but are not positive about some of its parts. Meanwhile, if we wholly reject 168 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS WKHYHU\SRVVLELOLW\IRUXQGHUVWDQGLQJWKHVHQRQÀQLWLVWSDUWVDQGUHWDLQDV comprehensible and positive a part of the classical mathematics, namely, its ÀQLWLVWSDUWWKHQZHFDQVKRZWKHIROORZLQJWKHDVVHUWLRQVZKLFKZHGRQRW understand and which have no positive sense can be understood as auxiliary PHDQVZKLFKHQDEOHWKHVLPSOHUDQGHDVLHUSURRIRIÀQLWHO\FRPSUHKHQVLEOH assertions. :HFDQRIWHQUHDGWKDWWKHXQUHDOL]DELOLW\RI+LOEHUW·VSURJUDPLV SURYHGE\*|GHO·VLQFRPSOHWHQHVVWKHRUHPV%\KLVÀUVWWKHRUHP *|GHOKDVSURYHGWKDWDFRPSOHWHIRUPDOL]DWLRQRIDQ\PDWKHPDWLFDO WKHRU\ZKLFKFRQWDLQVDULWKPHWLFLVQRWSRVVLEOH,QDQ\IRUPDOL]DWLRQ RIDPDWKHPDWLFDOWKHRU\RIWKHW\SHPHQWLRQHGRQHFDQÀQGDIRUPDO SURSRVLWLRQZKLFKFDQEHQHLWKHUSURYHGQRUUHMHFWHGLQWKHIRUPDO V\VWHP6WLOOWKHLQWHUSUHWDWLRQRIWKDWSURSRVLWLRQLVDWUXHPDWKHPDWLFDO assertion. )URPWKLVIROORZVDVHFRQGWKHRUHPZKLFKFODLPVWKDWWKHFRQVLVWHQF\ RIDIRUPDOL]HGPDWKHPDWLFDOWKHRU\ZKLFKFRQWDLQVDULWKPHWLFFDQQRW EHSURYHGLQWKHIRUPDOL]HGWKHRU\LWVHOI7KHVHWKHRUHPVDUHH[SODLQHG DQGSURYHGLQ.OHHQH·VORJLF>@/HWXVPRYHWRWKHFRQVHTXHQFHVRI *|GHO·VWKHRUHPVDERXW+LOEHUW·VSURJUDP ,WLVFRPSOHWHO\FOHDUWKDWE\+LOEHUW·VSURJUDPWKHHQWLUHPDWKHPDWLFV FDQQRWEHMXVWLÀHGVLQFHE\WKHÀUVW*|GHO·VWKHRUHPLWFDQQRWEH IRUPDOL]HGDQGWKHIRUPDOL]DWLRQRIWKHWKHRU\ZKLFKLVMXVWLÀHGLVWKH ÀUVWVWHSLQ+LOEHUW·VSURJUDP 7KHSURRIRIWKHFRQVLVWHQF\RIWKHIRUPDOV\VWHPGRHVQRWHQVXUHWKDW HDFKLQWHUSUHWHGDQGLGHDOO\SURYHGSURSRVLWLRQRIWKHV\VWHPZLOOEHD WUXHSURSRVLWLRQ+LOEHUW·VFODLPWKDWWKHUHDOWUXWKRIWKHLGHDOO\SURYHG DQGLQWHUSUHWHGSURSRVLWLRQVRIVRPHIRUPDOV\VWHPIROORZVIURPWKH SURRIRIWKHFRQVLVWHQF\RIWKDWV\VWHPDQGLVEDVHGRQWKHHUURQHRXV premise of complete formalization. The proof of the real truth of the LGHDOO\SURYHGSURSRVLWLRQVPXVWEHGLUHFWDQGLQYLHZRIWKLVWKH SURRIVRIFRQVLVWHQF\ORVHWKHVLJQLÀFDQFHWKH\XVHGWRKDYHLQ+LOEHUW·V SURJUDP7KLVGLUHFWSURRIWKRXJKSRVVLEOHLVPXFKPRUHFRPSOLFDWHG WKDWWKHSXUHSURRIRIFRQVLVWHQF\7KHSRVVLELOLW\RIDFKLHYLQJ+LOEHUW·V SURJUDPLVWKXVQRWGHVWUR\HGE\*|GHO·VWKHRUHPV7KHXVHRIWKH SURJUDPEHFRPHVFRPSOLFDWHGDQGSDUWLDO2QWKHRWKHUKDQGWKH destructive criticism of the postulation of a formalistic mathematics ZKLFKLQGHSHQGHQWO\RI+LOEHUW·VSURJUDPKDVEHJXQWROLYHDOLIHRI 169 Ice B. Risteski & Carlos E. García D. LWVRZQDVDQLOOHJLWLPDWHFKLOGRIORJLFLVPDQGIRUPDOLVPUHSXGLDWHG E\ERWKSDUHQWV FDQEHIRXQGLQ.UHLVHO·VSKLORVRSK\>@ZKLFKFDQ EHDOVRXQGHUVWRRGDVDVXEWOHMXVWLÀFDWLRQRI3ODWRQLVPLQPDWKHPDWLFV E\WKHYHU\IDFWRILWVHYLGHQWSUHVHQFH 1RZZHVKDOOSURSRVHDJHQHUDOIUDPHZRUNLQZKLFKZHFDQPRUHFOHDUO\ VHHWKHHQWLUHPDWKHPDWLFVDQGE\PHDQVRIZKLFKZHFDQSHUKDSVPRUH HDVLO\XQGHUVWDQGWKHDERYHYLHZVDWWLWXGHVDQGGHWHUPLQDWLRQV 0DWKHPDWLFVLQLWVPRVWHOHPHQWDU\IRUPLVDOUHDG\DQDEVWUDFW FRQVWUXFWLRQZKLFKHQDEOHVDQHQFRXQWHUZLWKUHDOLW\2QWKHRWKHU KDQGWKHFRQVFLRXVQHVVRIWKHSXUHIRUPVRIWKLVUHDOLW\LVDOVRFDOOHG PDWKHPDWLFVLILWLVDFKLHYHGE\WKHIROORZLQJSURFHGXUHsome intuitively observed spatial or temporal principles are postulated and included into the language as so called axioms, and then from this axiomatic kernel the further properties are deduced by means of the formal linguistic rules of the classical logic7KHLQWXLWLYHO\REVHUYHGSULQFLSOHVDUHDQREMHFWRIFRQVWDQW GRXEW>@2EMHFWVRIGRXEWDUHIRULQVWDQFHWKHVSDWLDOLQWXLWLRQDQG DQDO\VLV7RHOLPLQDWHWKLVPHDQVWRDFKLHYHSRVLWLYHQHVVLQPDWKHPDWLFV 7KHDULWKPHWL]DWLRQRIDQDO\VLVLVDQH[DPSOHRIHOLPLQDWLRQRIVSDWLDO LQWXLWLRQ+HUHWKUHHSRVVLELOLWLHVDUHUHDOL]HGWZRUDGLFDODQGRQH SUDJPDWLF 7KHUDGLFDORQHVUHMHFWSRVWXODWLRQ7KHRQHSRVVLELOLW\UHJDUGLQJ PDWKHPDWLFVDVDFRQVWUXFWLRQLQGHSHQGHQWRIOLQJXLVWLFORJLFDOPHWKRGV EXLOGVXSWKHVRFDOOHGFRQVWUXFWLYHPDWKHPDWLFV7KHRWKHUSRVVLELOLW\ UHJDUGLQJPDWKHPDWLFVDVDORJLFDOOLQJXLVWLFDFWLYLW\WULHVWRGHULYH DOORILWVFRQFHSWVDQGUHVXOWVIURPWKDWÀHOG3UDJPDWLFPDWKHPDWLFV GRHVQRWUHMHFWSRVWXODWLRQEXWGHFUHDVHVLWVVLJQLÀFDQFH$Q\WKLQJFDQ EHSRVWXODWHGDQGWKHYDOLGLW\RIWKHPDWKHPDWLFVVRREWDLQHGZLOOEH VKRZQE\LWVDSSOLFDWLRQV For constructive mathematics it is hard to achieve the richness of the VWUXFWXUHVDFFHVVLEOHIRUSUDJPDWLFPDWKHPDWLFVEXWZKHQLWGLUHFWO\ FROOLGHVZLWKVRPHRILWVUHVXOWVWKHQLWVHULRXVO\EULQJVWKHPLQWR TXHVWLRQ7KHORJLFDOO\RULHQWHGPDWKHPDWLFVLQIDFWFDQQRWSDVVRYHU WKHSRVWXODWLRQEXWLWUHGXFHVLWWRMXVWDIHZDEVHQWSRVWXODWHVIRU LQVWDQFHWKHD[LRPRILQÀQLW\DQGUHGXFLELOLW\ZLWK5XVVHOO3UDJPDWLF PDWKHPDWLFVZKLFKLQIDFWLVDOVRHYHU\GD\PDWKHPDWLFVi.e.VWDQGDUG PDWKHPDWLFVE\LWVDSSOLFDELOLW\HQWHUVLQWRH[SHULPHQWDOVFLHQFHV VRLWFDQEHHYHQWXDOO\FRQÀUPHGRUUHIXWHGWKURXJKWKHP6WLOODQ 170 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS ON WHAT THERE IS IN PHILOSOPHY OF MATHEMATICS LQYHUVLRQLVDOVRSRVVLEOHE\ZKLFKLWFDQDJDLQDFKLHYHPDWKHPDWLFDO SRVLWLYHQHVV1DPHO\WKHVFLHQFHLQZKLFKPDWKHPDWLFVLVDSSOLHGFDQ EHDOVRVRPHSRVLWLYHSDUWRILWVD\ÀQLWHRUFRQVWUXFWLYH1RZWKH experimental YHULÀFDWLRQLVWRVHHWKDWWKLVDSSOLFDWLRQZLOOQRWOHDGWR ÀQLWHO\RUFRQVWUXFWLYHO\LPSUHFLVHUHVXOWV3HUKDSVWKLVLVSRVVLEOHWR SURYHÀQLWHO\RUFRQVWUXFWLYHO\ 7KLVIUDPHZRUNVHHPVWREHPDGHE\WKHVWDQGDUGVRIORJLFLVP LQWXLWLRQLVPDQGIRUPDOLVP)RULQVWDQFHLQWKLVIUDPHZRUNPDWKHPDWLFDO HPSLULVPFDQEHDOVRSXWDVGHQRWHG6WLOOLQWKLVIUDPHZRUNZHVHH KRZFORVHLQLWVPHWKRG+LOEHUW·VPDWKHPDWLFVLVWRPDWKHPDWLFDO empirism. ,WLVFOHDUWKDWDPDWKHPDWLFDOWKHRU\ZRXOGKDYHQRVHQVHLIE\GHGXFWLRQ it could be derived from it that an assertion is valid and not valid. In WKLVVHQVHLWLVVWDWHGWKDWWKHPDWKHPDWLFDOWKHRU\LVFRQWUDGLFWRU\DQG WKHQRQFRQWUDGLFWRULQHVV FRQVLVWHQF\ RIWKHIRUPDOL]HGPDWKHPDWLFDO WKHRULHVLVSXWDVDEDVLFUHTXLUHPHQW7RGHFLGHZKHWKHUDPDWKHPDWLFDO WKHRU\LVQRQFRQWUDGLFWRU\RQHFRXOGDWWHPSWWRWHVWDOORILWVDVVHUWLRQV EXWWKLVLVLPSRVVLEOHLQWKHJHQHUDOFDVH)RULQVWDQFHWKHQXPEHU RIDVVHUWLRQVLQWKH(XFOLGHDQJHRPHWU\LVLQÀQLWH7RWKLVHQGWZR RWKHUSURFHGXUHVDUHDSSOLHGRQHRIZKLFKLVUHODWLYHDQGWKHRWKHU DEVROXWH7KHÀUVWFRQVLVWVLQÀQGLQJDPRGHORUDUHDOL]DWLRQRIWKH WHVWHGPDWKHPDWLFDOWKHRU\LQDQRWKHUPDWKHPDWLFDOWKHRU\ZKLFKLV NQRZQi.e.DRQHWRRQHFRUUHVSRQGHQFHEHWZHHQWKHREMHFWVRIWKH WZRWKHRULHVLVHVWDEOLVKHGVRWKDWWKHWHVWHGD[LRPVEHDVVHUWLRQVLQ WKHNQRZQPDWKHPDWLFDOWKHRU\,IWKHNQRZQPDWKHPDWLFDOWKHRU\ LVQRQFRQWUDGLFWRU\WKHQWKHWHVWHGWKHRU\ZLOOEHQRQFRQWUDGLFWRU\ RUFRQWUDGLFWRU\DFFRUGLQJWRZKHWKHUWKHDVVHUWLRQVLQWKHNQRZQ WKHRU\ZKLFKFRUUHVSRQGWRWKHD[LRPVRIWKHWHVWHGWKHRU\DUHQRQ FRQWUDGLFWRU\RUFRQWUDGLFWRU\7KHPHWKRGVRIWKHDQDO\WLFDOJHRPHWU\ VKRZIRULQVWDQFHWKDW(XFOLGHDQJHRPHWU\LVQRQFRQWUDGLFWRU\LI DULWKPHWLFLVQRQFRQWUDGLFWRU\i.e.ÀQDOO\LIWKHQXPEHUWKHRU\LVQRQ FRQWUDGLFWRU\ZLWKUHVSHFWWRVHWWKHRU\%XWLWLVWLPHWRPHQWLRQWKDW .OHLQKDVVKRZQWKDW/REDFKHYVNLDQDQG5LHPDQQLDQJHRPHWULHVDUH QRQFRQWUDGLFWRU\LI(XFOLGHDQJHRPHWU\LV>@ 171 Ice B. Risteski & Carlos E. García D. REFERENCES >@%2<(5C. The History of Calculus. 1HZ 172 'LVFXVLRQHV)LORVyÀFDV$xR1(QHUR²-XQLRSS