12

Filosofia ue las matemticas 0NAN-Facultau ue Ciencias

Piofesoia: Nelisa uutiiiez vivanco
!"#$!%
'%()*+,,'-%!(
Poi caua seccion temtica hay un conjunto ue pieguntas. Bebe iesponuei ue maneia
cuiuauosa y uetallaua en total ties pieguntas, seleccionanuo uos ue una seccion y una ue la
iestante esto es, no pueue iesponuei ties pieguntas ue la misma seccion. Touas las
pieguntas tienen el mismo valoi. La extension uel texto ue iespuestas no uebei exceuei las
seis pginas (fuente Times New Roman, 12 puntos, espaciauo 1,S) ms una pgina auicional
ue bibliogiafia (paia un total ue "#$%$ &'(#)*" +',#+-) y el aichivo con las iespuestas uebei
enviaise en foimato .uoc, .uocx o .puf, al coiieo ./-./#(0$123#4-"-3#5*"60)*+6+, a ms taiuai
el uia jueves S ue uiciembie ue 2u1S. Recibii un coiieo ue confiimacion ue iecibo. veiifique
que aujunta el aichivo al coiieo y, auems, nombie el aichivo con sus uos apelliuos (poi
ejemplo: "PeiezRuiz.uoc"). En el texto, paia especificai a qu piegunta iesponue caua vez,
encabece la iespuesta con el nmeio y una bieve uesciipcion ue la piegunta (poi ejemplo,
paia iesponuei a la piegunta S, "Piegunta S - Explicacion ue la cita ue Bilbeit").

.*!/+%)#(

!"#$%&'#()* $' ,% &%('&-(./%
1. El panoiama filosofico y cientifico geneial en el siglo XIX tenuia hacia las
consiueiaciones empiiicas. Los aspectos platonistas ue las teoiias iacionalistas ue
las matemticas fueion peiuienuo apoyo. En geneial, la intuicion iacional ue las
iueas fue puesta en tela ue juicio. A la luz ue esta situacion suigieion ties escuelas
en filosofia ue las matemticas (que estuuiamos en este cuiso). Escoja una ue las
escuelas y explique cules eian sus piincipales planteamientos y como stos
atenuian a las pieocupaciones iepiesentativas ue la poca.

2. Como uebe entenueise el iechazo poi paite ue Bilbeit ue la necesiuau ue ofiecei
uefiniciones paia los sistemas axiomticos. Qu tiene que vei esto con la foima
en que concebimos la veiuau y la iefeiencia paia una teoiia y sus conceptos.

S. En una caita a Fiege, Bilbeit expiesa la siguiente iuea:
es obvio que toua teoiia es tan solo un anuamiaje o esquema ue conceptos junto
con las ielaciones necesaiias entie ellos, y que los elementos bsicos se pueuen
pensai como uno quieia. Si al hablai ue mis puntos pienso en algn sistema ue
objetos, 76(/., el sistema: amoi, ley, ueshollinauoi, |.j y tomo mis axiomas como
ielaciones entie estas cosas, entonces mis pioposiciones, 76(/., el teoiema ue
Pitgoias, son vliuas tambin paia estas cosas. En otias palabias: cualquiei teoiia

22
se pueue aplicai a una infiniuau ue sistemas bsicos ue elementos. Lo nico
necesaiio es aplicai una tiansfoimacion ieveisible |.j y establecei que los axiomas
sein coiiesponuientemente los mismos paia las cosas tiansfoimauas. Esta
ciicunstancia se utiliza, poi ejemplo, en el piincipio ue uualiuau, etc., y yo me he
seiviuo ue ella en mis piuebas ue inuepenuencia. |.j Peio la ciicunstancia que he
mencionauo no pueue sei un uefecto ue las teoiias (iepiesenta ms bien una
enoime ventaja), y es en touo caso inevitable
1
.
Explique lo que quieie uecii con ella pensanuo en su vision ue la axiomatizacion y,
en el maico ue lo anteiioi, explique cul es la ielacion con el piincipio ue uualiuau
en la geometiia pioyectiva.

0'%,.*&) &%('&-(./) 1 2'3$%$
4. 0no ue los aigumentos en favoi ue la existencia ue objetos matemticos abstiactos
que ms ha tiascenuiuo ueiiva uel tiabajo filosofico ue uouel (19S1). Piesenta
uicho aigumento y explica sus consecuencias en ielacion con el pioblema
epistemologico ue Benaceiiaf.

S. El pioblema ue Benaceiiaf pioblematiza el contacto con objetos abstiactos en
paiticulai, los matemticos que pouemos tenei nosotios como seies humanos. A
paitii ue lo anteiioi, en qu sentiuo el aigumento ue la inuispensabiliuau es una
piueba #).#/$5%* ue la existencia ue objetos matemticos. Explique.

6. Cules son los supuestos involuciauos en el aigumento ue la inuispensabiliuau.
Expliquelos.



1
Fiege, u. (198u) 89#4-"-&9#5*4 *). :*%9$+*%#5*4 ;-//$"&-).$)5$, (eu. u. uabiiel $% *4). Chicago: The
0niveisity of Chicago Piess, 4u-41.