Alianza Univers Imre Lakatos Pruebas y refutaciones La légica del descubrimiento matematico Introduccién y seleccién de John Worrall y Elie Zahar Version espaiola de Carlos Solis Alianza EditorialFAG. si a ISBN Deposit Priniea © Ed. cast DE Tu > Cambridge University Press Alianza Editorial, § Calle Mitin, 38; 2 200 00.45 ILOSOFIA let LUTE PE] 34-206-2206-0 Spats M. 11318-1978 Impreso en Hijos de E. Minuesa, §, 1 A. Madrid, 1978 = Ronda d Je Tote Madris a ne INDICE Prefacio de los Agradecimientos Introduecién del autor 1 1 Un problema y ana conjetur 2.Una prucba 3 Critica de In prueba mediante conteasjemplos locales, no globale 4 Critiea de la conjetura mediante contraejemplos.globales f Rechazo de be conjtur pero |5 Critica del anilisis de Ia prueba mediante conteacjemplos iloba les, pero no locales. El problema del rigor 6 Vuelta ala eritiea de la prueba mediante conteac pero no globales. El problema del contenido, yplos locales Prue diferentes somintenawancemss ddeeates uelta sobre el problema del contenido G talpgeapiied ae i ries pea 1B. 1 iaivtcton coma bare del mado de prusiie y tefaracanse e (esbistr Sedecittmeses frver kbseie wer meen & Kumewo dd Goneasls retnon comeuan dedecrve © Contekmplos logics frente + eonrsjetplon heuwiaicak 8 Formacién de conceptos A Refietibatediaeteettnsidn de comtepeok: Nutra niacin de I anc sin de monstos ¥ de lox concepios de tro» efaacion lb. Concepeosgemerades pola procba frente conecptos genus. Cleon toons frente a lasifescion ingens. . Voeks sobre is wfotaione Digan) Bourdain E_Emention de chnecptae toric frome a extension’ Ge concapior ingen Crecimiemo comineo frene 4 crecimiento rico Leo limises del torent de contenido, Refutecioncr wis Grants eho 9 Acerea de como la critica puede convertir I verdad mate: tmatica en verdad logics 4 1a extneion diiads de concepios detraye oh sigaiinda y In verdad ©. 1G ertenlén mkignts de concepts pute Convert a verdad mucmnticn seta Wop s Tes Introduccién del Editor 1 Traduccién de la conjetura a los téeminos uperfectamente cono: cidos» del algebra vectorial. El problema de la traduecion %s 103 127 127 ar 2 Oca prueba de la conjevura 3. Algunas dudas relativas al cardeter Final de ls prueba. El proced iniento de traduceida y cl enfoque esencialista de las detiniciones frente al enfoque nominalista Apéndice 1. Otro ejemplo del método de prucbas y refuracions Apéndice 2, El enfoque deductivista frente al ent que heuristico Bibliogratia Indice de nombres Indice de temas 138 14 149 166 179 190 193PREFACIO DE LOS EDITORES Nuestro gran amigo y maestro Imre Lakatos falleei6 inesperadamence el 2 de febrero de 1974. En aquellos momentos, estaba embarcado in diversos proyectos intelectusles, como era corriente en él. De entce éllos, uno de los mas importantes consistia en la publicacién de una version modifieads y aumentada de su brillante ensayo «Proofs and ‘futationse que aparecio en cuatro partes en The British Journal for « Philesophy of Scienre, 14, 1963-4. Hacia. ya mucho tiempo que Lakatos habia contratado dicho libro, si bien habia postergado su publicacién con el deseo de corregir y mejorar mis ain el ensayo, atadiéendole sblemente por importante material extra, La obra se retras6 consi Ja desviacién de sus intereses hacia la filosofia de ta ciencia fistea, in el verano de 1973 decidié finalmente Hevar adelante la o de ese verano, cada uno de nosotros discutimos i bien publieacion. A lo lar © al los planes relativos al libro, por lo que, tras este desgraciado cambio de circunstancias, hemos intentado dar a luz un libro lo mis pareeido posible al que entonecs proyeetaba Laks Ademas del ensayo original, «Proofs and Refutations», (que aparece aqui como Capitulo |) hemos incluido tres nuevas partes. En primer ar, hemor afadido una segunda parte al texto principal, celativa ala prueba algebraico-vectorial de Poincaré de Euler. Esti baseda en el capitulo presentd en Cambridge en 1961. (El ensayo «Proofs and Refurations nda del capitulo * « « ¢ © ’ « € é e € € © « « a .3 € ¢ ¢ ¢ € € ’ SOMA Raneprimero de dicha tesis) Una de las partes del capitulo 3 de la tesis aparece aqui como Apéndice 1, conteniendo otro ejemplo del métoco de prucbas y refutaciones. Se’ ocupn de la demostracion de Cauch del tcorema que afirma que el limite de cualquier serie convergense de funciones continuas ex é mismo continuo, Tanto el Capitulo 2 del texto principal como el Apendice | habrian de calmar las du menudo expresidas por los mateméticos que han leido «Proofs and Refutationse, en el sent que, aunque el método de anilisis de 1a pracha descrito por Lakatos pueda aplicarse estudio de los poliedres, cuasiempiricos en el que los contracjemplos son Ficilmente visualizables, con todo podria resultar inaplicable a las mateméticas alese, El tercer afadido (el apéndice 2) también esta basad dde las partes del capitulo 3 de la tesis de Lakatos, y versa acerca de las consecuencias de su posicion para el desarrollo, pre ensefanza de las matematicas Una de las razones por las que Lakatos retrasé la publicacién fue el reconocimiento de que, aunque parte del material extra contenia muchas nuevas cuestiones y desarrollos de su posicién, con todo preci bba mayor consideracién c investigacién hist6rica, cosa que resulta espe cialmente cierta del material (del apéndice 1) sobre Cauchy y Fourier También nosotros somos conscientes de ciertas dificultades y ambigiieds des en este material, asi como de algunas omisiones, Con todo, considera ‘mos que no debiéramos cambiar el contenido de lo eserito por Lakatos, sin que estemos en condiciones de suministrar la investigacidin historica, ecesariamente larga y devallada, precisa para elaborar y completar ee material. Ast, pues, ante la alzernativa de no publicar en absoluto dicho ‘material o publicario enestado inacabado, hemos optado por esto ultimo, Consideramos que hay cn @ muchas cosss de. interés y esperamos que sirva de estimulo para que ottos estudiosos lo amplien y corrijan En general, no hemos tenido a bien modificar el contenido cel material de Lakatos, incluso por lo que respecta a aquellas de sus partes que expresan posiciones que estamos seguros que Lakatos habeia modificado. Por tanto, nos hemos limitado a sefalar (en notas sefaladas mediante un asteriseo) algunas de aquellas cosas sobre las que hubiéra ‘mos llamado la atencién de Lakatos, tratando de persuadirle para que las cambiara, en la ereencia de que, en la prictica, Lakatos hubiera acce dido a esos cambios al publicar ahora el material. (Como es natural, su posicion intelectual habia cambiado considerablemente lo largo de los trece afios que median entte Ia terminacién de su tesis doctoral y su muerte. Los cambios més importantes en su filosofia gene-al ‘quedan explicados en su {1970}, Habria que mencionar el hecho de que Lakatos consideraba que su metodologia de los programas de Sn cicntifies tenian importantes implicaciones pars su Filosofia de las matemitieax.) Nuestea politica en cuestiones de preventacion ha sido lade de} akatos habia publica peineipal). La dnica excepeidn 9 deslices abvios sin importan- Jo mis bien substancial (es deci te intacto el material que el propio L imiero del text fs un serie de erratas de imprenta y of cia. Sin embargo, hem 1 capitulo €l material publicado aqui por vez primera, si bien, repetimos, solo por lo que respects a la forma y no al contenido. Pucst que se trata de un modo de proceder mis bien inusual, quiad convenga decir un par de cosas a modo de justificacién Lakatos siempre procedia con sumo cuidado en la presentacion de cualquiera de sus materiales que fucse a ser publicado y, antes de publicarlo, hacia siempre que circulase ampliamente entre sus colegas y amigos en busca de criticas y sugestiones acerca de cémo mejorario, No nos cabe duda de que el material que aqui se publica por primera ver habria recibido semejante tratamiento, sufriendo cambios mucho mis dristicos de los que hemos osado introducir nosotres. El conoci- miento que poseemor, a traves de la experiencia personal, de las molestias que se tommba Lakatos para presentar sus posiciones lo més claramente posible nos ha obligado a intentar mejorar la presentacién de este material del modo mis eficax posible. Es evidente que estos nuevos afadidos no estén lo bien que estarian si el propio Lakatos hubiese revisado el material en que se basan, Con todo, nos consideramos lo suficientemente préximos a Lakatos y lo bastante implicados en algunas de su publicaciones anteriores como para levar adelante el intento razonable de elaborar el material, aproximindolo un tanto a su clevado nivel de exigencias. Es para nosotros un placer haber tenido oportunidad de realizar esta edicién de algunos trabajos importantes de Lakstos en filosofia de las mateméticas, puesto que ello nos permite descargarnos de una parte de la deuda personal ¢ intelectual que tenemos contraida con él, Joha Worrall Elie Zahar\GRADECIMIENTOS preparat bro, los edi fe Hallett, Moshé Mach y especialmente el de Grege El material sobre el que se basa este libro ha tenido una historia larga y diversa, como ya se ha indicado en parte en uestro prefacio. Segiin los agtadceimientos que Lakatos adjunt6 a su ensayo original de’ 1963-4 (reimpreso aqui como capitulo 1), dicho trabajo comenz6 su vida en 1958-9 en King’s College, Cambridge, y se ley6 por vez primera en el seminario de Karl Popper, en la’ London School of Economics, el mes de marzo de 1959. Otea version quedé incorporad: a su tesis doctoral de Cambridge de 1961, en la que se basa también tl resto de este libro. La tesis se preparé bajo la supervision del Profesor R.B. Braithwaite, En relacion con ella, Lakatos. agradecia [a ayuda financiera de la Pundacién Rockefeller, afadiendo que habia «recibido tuna gean ayuda, dnimos y valiosas erlticas del Dr. T. J. Smiley». El resto de los agradecimientos de Lakatos rezan como sigue: Cuando preparabe et skims versién en ls London School of Economics e sucor rat de tone en coenta especialmente lt erat y sagerencas del Ds J Agus, dl Del. Hacking. de lor Profsones W.C. Keesle y R. Montague, de A. Masgreve, del Profesoe A. Polanyi y JW. N. Waking El ra 1d imécodo de exclusion de smatemitie debi » Polya y de losis exe:INTRODUCCION DEL AUTOR En la historia del pensamicnto, ocucre con frecuencia que, cuando surge un nuevo méiodo, el estudio de aquellos problemas que pueden tratarse con su ayuda avanza rapidamente, atrayendo sobre sila atene én, Mentos que el esto tende ser ignorado¢ incluso olvidado, desprecian. dose su estudio. En nuestro siglo, esta situaci6n parece haber surgido en la Filosofia de las Matemétieas, como resultado del desarrollo dindmico de la meta El contenido de la metamatematica es una abstracciéa de las matemé: ticas en la que las teorlas matemiticas son. sustituidas por sistemas formales, pruebas mediante ciertas secuencias de formulas bien-formadas y definiciones mediante wexpedientes abreviatorios» que resultan «e6- ficamente eliminables», aunque «tipograficamente convenientes»!. Fue Hilbert quien ideo esta abstraccién, a fin de disponer de una técnica po- derosa para abordar algunos de loz problemas de la metodologia de las ‘matemiticas. Al mismo tiempo, hay problemas que caen fuera del alcan. cede las abstracciones matemiticas. Entre ellos, se hallan los problemas relativos a las mateméticas informales (ishaltlich) y a + desarrolle asi como todos los problemas relativos a a logica de Ia situacign de la reso. luciéa de problemas en mateméticas Church [161 phgs. 16-7. CF tambin Peano {189s}, pig. 49 y Ress y Whitehead [91043]. 1 pig, 12 Ene forma parte toteeante del progrton evelideo, al como lo Formula Pic 6a (1659 et. Lakatoe (1962), Pag 158 Con la expresicin ‘excucls formalista’ aludicé a aguella escuela de filosofia matemitica «que ticade a identificar las matemiticas con su abstraccién asiométien formal (y la filosofia de las matematicas con Ia mictamatematica Jc las enuncinciones mas claras de la posic formalista se puede hallar en Carnap [1937]. Caraap requiere que (2) Ia filosofia se substituya por la logica de la ciencia.., (b) ela bégiea cla ciencia no es mas que la sintaxis logiea del le ammatematica es Ia tilosy egies nasa gis Peine, Reel y Quis le invodbjeen en 5] ((1939}, pag. 225). Tasell (1901, Hae ensayo se reimprimis como capiilo S del Ressell 1918), con el tila, lay matemiciar y lon mations Ea le ici de Pengain de 1953, hese alls cn Un pop. 74, En el Precio de ou (1018), dice Rutae de one ema {Ss fone que en parte expicad por el hecho de que cl cdior me pidié que hiceSawologicon® her empnica, Pues que ts mates ioral no | een gms poomos descabrir fe solucin de problemas (de mas del ponitivismo Kigico han resultado perjudi ble?), en los que nos poslemos dejar guiar tan sdlo por ¢ tienen por fin abordar algunos problemas de la mere Ahora bien, esta friaalternativa entre e racionalismo de una maquina mitias, Uso la palabra “metodologia’ en un senti heuristican? de Pélya y Bernays, asi como a la logit niente oa la ol ta del deseut ‘ecicnte expropiacion del término ‘metodologia de las matematieas’ para utilizarlo como sindnio fe “metamatematica’ posee sin duda un cariz Formalista, que indica que, en la filosofia formalista de las matematicas, rio hay lugar para la metodologia en cuanto logiea del descubrimiento®. Turquens, ln enuncindor de Giidel eorecen "rate oa one ga oe después de que haya skio formalizada, del misin Menai « : aa de Tos sre bmn (rtatvor, fates eres fer Coe 080 Gevposs de Soeadecund ype porn Te dacuon de eadhvetes asi comma (IP4Sh (962415 Beemys 11987), Jarome pig: 90 (0 fe enats 1962 oderoeo Tee tee ad negutiva hack 1s posi “Tarski [1930] y Tats (19300), En ol primer agin gue norton de Lx seman formalsades: sn uso fepen el pele fr Sarateci soulmene on mio Eee tne spiro fon cts gue Tan fine eft ces tan Ese foe ‘rel segundo articlo un curios giro imperalis Getereniondor egies (04) cle dciplias deductivas cor \ona de extudio des metodelogi de In seneat ‘Sedoceoms en un seaido muy semcfnve 2 aquel en que as enidadesespaciales constuyen ‘term de esuudio de In geometra y lon scion, de le soologi. Naruralmente, ness (2) dete dexputs que e0 11 acopemor le. Section aa) ‘Uno de low exprichos mais peligrosor de iene clog en una palabra COPE POR EO ROR OOOO ROR ERO ROOM2. L Yn Beng ese Lala cs mecinica ni irracional, y gue no puede ‘ni menos an estimulada por la filosofia formalista ide las matematicns y la Igica del descubrimiento mater Jccir, a filogénesis y Ia ontogénesis del pensamiento matemiti “08, no se puede desarrallar sin la erftia y rechazo final del formalismo, Sin embargo, la filosofia formalista de las matemiticas posee ralces nuy profundas. Se trata del ultimo cslabén de Ia larga cadena de dogmaticos sostienen que podemos alcanzar la verdad y saber que lo del poder de nuestro intelecio yle sentidos humane 08, por ocra parte, 0 bien sostienen wae no podemos alcanzar la-verdad en absoluto (si no et con ayuda de la experiencia mistica), @ bien que no podemos saber si lz hemos alcanzado 0 si podemos aleanzarla, En este gran debate, en el que los argumentos se ponen una y otra ver al dia, Ins matemiticas ban constituido la orgullosa fortaleza del dogmatismo. Siempre que el dog. rmatismo matematico de la época entraba en «crisis», una aueva version suministeaba de avevo genuino do con ello la imagen autoritar igor y fundamentos simos, able de las Ciencia que Dios ha tenido a bien otorgar a ahora a la humanidad» (Hobbes [1651], pag. 15). La mayoria de los escépticos se rindieron ante el earicter inexpugnable de este redueto de epistemolo- gia dopmatiea®. Ya es hora de lanzatle un reto El meollo de este caso estudiado pondré en entredicho el formalism matematico, si bien no afeetara dicectamente a las posiciones ultirras del dogmatismo matemétieo. Su modesto objetivo consiste en claborar la idea de que las matemiticas inforn ales y cutsi-empiricas no se desario- lan mediante un mondtono aumento del numero de teoremas indubica blemente establecidos, sino que lo hacen mediante la incesante mejora de las conjeturas, gracias 2 la especulacién y a lac la logica de pruebas y refutaciones. No obstante, puesto qu iguiendo Is metamace- ‘mitica ¢2 wn paradigma de matemética informal y cuasi-empirica, que ' Tanto H. Poincaré como G. Palya proponen alice sey fundamental bogendicar de E, Heckel sobre tecspitlacon que Ie ontogenm hace de la iogeni al desarelio tmemral yen portcaae, al Gesnrollo henel marematicn (Poincaré (1508) pig. 138-5 Baby 19620] Poa chara Poincaré «Lon rosiogorostenen que desarrollo embialfice wave todn [a hicorm de ur anecerores 3 Ia. large ques Lo reco pon'el Gomralla weal. Pox ita taba, icice vor cers guts princes (tives eatin. de CB Maks, pig a a aoe una etapa a nin do, este ensayo ponde tami ee ‘G esadono ale hori relent de fa metamatemsti | . csch petmads asl pata que contenga sina especie de Hors rama1. Un Problema y una Conjetura El didlogo tiene lugar en un aula imaginaria, La clase se interesa or un produ: cexiste wnt reac el niimero de aristas, 4, y el mimero de catas, C, de los foliedsos especialmente de los poliedres regulares, aniloga a la teclacion trivial qu hay entre el numero de vértices y que hay tantos vértices como aristas mite clasificar los poligone: de acuerdo con el niimero ce (0 vértices): triingulos, cuadriliteros, pentigonos, ete. Una similar permitiria clasificar los pol Tras muchos ensayos y errores, constatan que para todos los police dros regulares 7 — ae rl 1+ C= 21, Alguien areatura que eso se pucde aplicar envze el mimero de wértices, U aristas de los poligenor, a saber, V= A? Esta dieima relacién nos de lio fue Hauler (1758s). Su problems ecgiaal ert 8 de os poledeon, cuye dieu = de carat er ntafiiete para exe fn I clove de to Tule foe | | | relativa a los poliede ai lon 1 mimero de verti el numero de aristes y C el nimero de carss. La hemos contrastado de diversas maneras, per nin no la hemos probado. zHa hallado alguien una prueba Auwstno Siewa: «Por lo que especta, he de admitir que yin no he sido capar de idear una prueba estricta del teorema... Sin Embargo, puesto gue su verdad se ha establecido en tantos casos, no puede haber duda de que ara cualquier sélido. Asi, la propos radar satisfuctoriamente dem: Pero si ust tana prueba, presén welts pio pe Foucher dei eB No esa ress afr. que mimero de sogwlos pps et gual + 29+ 22-4, donde Por Gantcade cl'simere de eres 7 pore: dd fogulos sido. Tambiga es eet due Sr'haceia, peetia’que seyuts peosndo cn ténioos de Angus (planos 9 siden) ¥ i hacerlo, pace que sega 2 plans carseriactn topologies dc lon pobiedr@k ‘ pre sa dp, panes edn ods et shail He scasueeee ps Sprepoccion asta ahors cortoborsda a Orr conecue la proposicion Py eesrear on exo 14 C=2 se dacore en Polya pres ‘eer captlo, pigs. 3541) Polya Me met toe de gue sca, por mppust, I eedtengo una que eonsta del siguiente experimen to mental. Puse 1: imaginemos que el poliedre esta hueco, con ana sficie hecha de goma fina, Si recortam: Je las caras, podemos estirar la superficie restante, poniéndola plana sobre el encerado sin romperla, Las earas y aristas se deformaran, las aristas pueden haccrs carvas, pero I no se akterarin, de modo que si V— 4 + ¢ €n el poliedro original, en esta red plana tendremos que V7— <1 C=1 (tecugtdese que hemos eliminado una cara). (La Fig. 1 muestra la red plana en el caso de un cubo.) Paro 2: Trangulemos ahora nuestro, mapa, pues en realidad se asemeja a un mapa googrifico. Traramos diagonales (tal ver curvilineas) en esos poligonos (quizd eurvilinens) que no son ya triingulos (posiblemente curvilineos). Al dibujar cada tuna de las dingonales, aumentamos tanto 1 como C en uno, de mcdo que el toral de V—1+C no vatinrd (Gg. 2). Peso 3: Eliminamos ahora los teiingulos, uno a uno, de la red triangulada, Para elimina Fig 3 un triingulo 0 eliminamos una arista, con lo que desaparece una cara y una arisca (fig. 3(2)), 0 eliminamos dos aristas y un vertice, To que desaparece una cara, dos aristas y un vertice (fig. 3(0)). Asi pues, si antes de la climinacién de un tridngulo teniamos que V—A4C=i, después de climinarlo seguiri siendo ast, Al final de este proceso obtenemos un solo triéngulo, en cuyo caso V— A+ C=1 es verdad. Por tanto, hemos probado nuestra eonjetura ALumno Drtva: Ba ese caso, deberia usted lamarla teoreme, peste ya no hay en ella nada conjetural’ ave : Avoaino Aura: Me extrafa, Veo que este experimento puede realizar se con un cuby 0 un tetracdra, mas zcomo voy a saber que también x cede realizar con caulgairr poliedco? Por cjenvplo, gest usted Seguro, seer ite que cnalgnier poliedre se purde ettrar pontendole plana 3 se ado, iret beberle quitade wna cara? Teng mis dudas acerea de su primer ps ‘Awuno Bera: gEsti usted seguro de que af triangular el mapa se obtendré siempre nna nuera cura par cada mera aritta? Tengo mis dudas Sobre su segundo paso. ‘Anunmo Gana: gEstd usted seguro de que silo bay dos altermativas (ta devapaviciin le wns arista ¢ de det arittas yan vértce) af eliminar los Grinior no nna? (sth usted seguro incluso de que nos gudamer un un sole, tridngulo ol final del proceso? Tengo mis dudas sobre su tercer paso! Marsrno: Por supuesto que no estoy seguro ‘Aura: jEn ese caso estamos peor que al principio! jEn lugar de luna conjetura tenemos ahora tres como minimo! ¢A eso lama usted tina aprucba»? Marsrro: Admito que pueda ser un tanto confundente aplicar a este experimento mental el nombre tradicional de upruebar, pues no Considero que establezea la verdad de la conjetura Deura: Qué es lo que hace entonces? zQué cree usted que prucba tuna prueba matematies Maxsrno: He ahi una sutil pregunta que trataremos de responder mis tarde, Mientras tanto, propongo que mantengamos el venerable termine téenico «prueba» pata aplicatlo a a1 experimento mental (0 acuati txperimenton) que sagiera nna de:compocicion de le conjetura original en subconje- favs 0 lemas, incorpordndela asi aun cuerpo de conocimiento tal vez muy lejano. Nuestra aprucba», por ejemplo, ha incorporado la conjetura original (relativa a cristales."0, digamos, sélidos) a la teoria de las a opinién de Dela de que ei prucb ewablecia el steoreman mis lla de tous rita por mache mmsenatcon en sl mpl diecinueve, por empl, Cree ae mt it Ee ae ee ae ba age tit3. Critica de Ia Prueba mediante Contracjemplos locales pero prueba, abre pe pectivas para la contrastacidn, La descomp: a dk Blancos. jAhor n lugar de una de aplicar contraciemplos! he expresado 1 desagead nplic stra critica ¢ tenemos al tres oportunidades Gaui ¥ ema (@ saber ue me produce su tercer (are in te que se" basear (Heath (19 oc un cone Propone con vine 4 ts demontac dee Papp (i Ty pa. 10). Low griegon no penal ees ch fe gue ee sop ‘problems, resultados que no hublan sida directamene buscados, sino que apareclan tor ‘especie de hallnga fein (emia) @ premio {terde) (Rade. pag. 278) tr a Soman edocs Euler [1756-7] lemca gut lr tcoremnsaitnciconcfaroa desuli Imacho ae de gue ver Aw coats mes de escubemicnto,en lage del visi de wade (bl) La precedcaia Wearaia del vsukadal Goisipo babes ecrco x Clemtet” slime gavinrne lou teoreman, ys enconcach Yo tas proctaae (cE Dhigenes tacrcio fe 200), Vil, TP), Se dice que Gaum ee bib es balla ls prota cider 1024) ple, #87) a aTiene uted que conjctrar a teorem mantic antes de pesbeon, ie.) Bldemiag Segin of ett deere pos Se papas em te (1988) fal» Bole | chs pero no pi quiencs las representa ular resultance d ( ‘Si quito ah f prime del interior ‘de I fa un red, como quien tirar ni un sdlo guita una. tetraedro, en euya red plana todos | sho: y 00 en el de ax excepeion hechs son triingulos par cn la fronters Asi su prucla demucstea el teorema de Eule al teersedro. caso. de V-A+e Marr oF qué probarlo, entonces? Esta usted en lo cierto, Pe cuenta de que jemplo del tercer lema, 1 contracjemplo, Ge la conjetura principal, puesto que en el cubo V—44+C=2. Ha mostrado usted la pobreza del argumento, de la prueba, pero no la alsedad de nuestra conjetura Aura: ¢Enu su prucba Maustao: No; la'eritiea no es necesariamente destruceién. Mejoraré mi peticba para que se sosteniga frente a Ia critica Gasina: Como? Marsrno: Antes de mostrar de qué modo, permitanme introducie | siguiente terminologis wontrarfemple. local» al ejemplo gue refute un lema (sin refutar necesariamente la conjetura principal), }llamaré weontragemploglobely al que refute la propia conjetuca prineipal Asi pues, su conteacjemplo es local y no. global. Un contraejemplo que sea local pero ao global critica Ia prueba y no la conjetura antnia: Asi pues, la conjetura puede ser verdadera, pero su prucha no la demuestra Mazstao: Pero puedo elaborar y sejorar ficilmente /a prueba, sustitu yendo el lema falso por otto ligeramente modificado que no refute su contracjemplo. Ya no pretendo que /a eliminactin de cualquier trimgule igo nino de los dor patrones mencionode que, em cud de la operas ra, lo dea frontera signe Volviendo experiment mental, 1o nico imple 2 etapa sino tan sé a estado ue tengo que hacer es insertar una alabra en mi terce POOR APA Reman SCHR EHF ORAL OFi t 2 union do en que s6h el oa cat faba. Tomeinon de sueves lr rd plana del cubo y einem le los die criangulos orden dado en la fig. 4. Al elim | "peu quedhmoa con ton dos’ ritogulos deseonense 9°7 If astra: Bueno, pode salva la can dciendo que por bn tidngul fronterizo entendia uno cuya eliminacion no desconeerase la red. Sin| ‘embargo, la honestidad intelectual me impide haece eambios subrepticios ‘en mi posicién mediante enunciades que empiceen con «yo queria decir...» Por tanto, admito que tengo que satituir ahora la segundal version de la operscién de eliminacion de triingulos por una tercera Versidn: eliminemos los eriingulos de modo que no se altere V— 1 + Kara: Concedo gencrosamente que el lema correspondiente a esta operacién es verdad ‘saber, que si eliminamos los triingulos « avuno de manera que 17— 4+ no se altere, entonces — 14 C ho se alters Maxstno: No. El lema dice que for tridngulor de nuestra red ze parden ‘anmverar de tal modo que, al eliminarler on el arden correcto, V— A+ Cm ba riurd basta legar al ultimo tridngnde Kara: Pero, como se habri de construir este orden correet2, si es que existe después de cod? Su experimento mental primitivo Sumi a pistraba In instruceidin: elimine angulos en un orden cualquier wos de la fi en cualquier orden. Ahora dice usted gue Uebicramos seguir un orden definido, pero no nos dice de qué e desmorona, Usted mejord is prucba, ex decir, la Ii elemas; pero ha desaparecido cl experimento mental que usted denor nuaba «la prueba Ro: Silo ha desaparecido ol tercer pase Kara: Ademds, gacaso majord usted el tema pera versic ries simples al menos parecian trivialmente verdaderas antes de ser feuds; eats version pschenda ni siuier ofres un apes plausible. Paine 98 AP prota acre Sten gue madic pong on tcl de juicio ea verdad. Man, nine tomas mes Ia toe acheeichoc te cocchit ee ares de TER pr eiempls non haba sie Spe conan rua deci que lion m1 34) 1 icone pools veces cidie (1908 pig 20), propia Poinenre pc) Se tas gat Fake prob gut Ut COE park | | | | | fic Hota pentaba que pudia enumerar ada las exeepctoncs. Pema to que pretende ahora es considersr comple ah ee Rreceden por toe cortroerepls) 7. nfeae a Qos) ley) © te tee solo que en ver de eoculta publicamente Ahora, cl cilindro que constituis ua contraciemplo. sorprendente, peligeoso, global y 10 local (del tercer tipo) respecto al viejo andlisis i inocuo contraejempto plobal y local (el segundo tipo) rexpecto al nuevo anlisis de la prueba y al correspondiente teorema nuevo. » para que scan ocultor, Jos anuncio ueba y al correspondiente teorema, sera Alfa pensaba que su clasificacin de contracjemplos cra absoluta aunque en realidad es relativa a su anilisis de la prucba. A medida que el anilisie de la prueba se desarrolla, los conteacjemplos del tercet tipo se tornan en contracjemplos del segundo. Lanaoa: Esta bien eso. Un anilisis de la prucba es «riguroson o uvilidan y el correspondiente ‘co ico es verdadero si, y s6lo si, no tiene contraejemplos del «tercer tipon. Llamo a este eriterio €l Prine is Kerenminn de de Folate ya gue exige que Ios contracjemplos globales sean también locales: la falsedad deberia etrans- mitirse de la conjetura ingenua a los lemas, del consecuente del teorema a su antecedente. Si un contraejemplo global pero no local viola este principio, lo restauramos afadiéndo un lema -conveniente al anlisis Se la prucha, Fl Principio de la Retransmisién de la Falsedad es, por tanto, un principio regularine del anilisis de la prueba in statu nescen ‘mientras que ua contraejemplo global aunque no local es un catalizador del desarrollo del andlisis de la prueba. Gasinia: Recuerde que, incluso antes de hallar una sola refutacidn, nos las arreglaremos para sefalar tres lemas sospechosos, siguienda adelante con el anilisis de la pruebaLanna: crdad. uct . idado pronto™, Sin Fn el pr dos los eontracjemplos parceen s A prucba que a penas hi recihido arencisn en Ia penumbra omiratemplos del tercer ipo y ton lon kms incr sare werdad tr !ingsin contrasjemplo, Hay entonces los posibilidades. La primera po ae tis ea locales) de los lemas resefados en nuest7o anil jeba. Pode mos eae perfectamente des Aura: Asi es poliedro que, tras haberle sido climinada una cara, no pudiess. ser stirado sobre un f Stoata: Entone del andlisis de la no descubri el marco de cuadro: buscando un h Popper {1952 pls, 127-9) Tanto sor spowulidane ema Pos cinknuss fo eteciet fs sido reclntemente dscroliads con ge 5-8) So no s6lo actdan las reFutaciones com jeba, sino que éste puede scruar como fermento dde as refutaciones, jQué alianza sataniea entre supuestos enemigos! Lanmpa: Exacto, Si una conjetura parece muy plausible o autoevidente, deberia probarse: puede que se descubra que des: en lemas muy sofisticados y dudosos. 1 refutacion de los lemas puede conducir alguna refuracidn inesperada de la conjetura original Stoma: jA refuraciones generadas por la prucba! Gawata! Ento: la ereencia, sino que sugiere dudass6? la virtud de sina prueba Lammpa: Seriamos tildados de excéntricos. La prucba habria de oe: ie x i. eae ete Se Laie se Za mocsia ct uns chase mis bien avanzada; Alfa, Betsy lye ani de a prc. gam io coaracepl pect emir Iie eveepcione, El pang hewsatica deh racks (Is spliercion del Princpio aron como mocsiruas © s¢incejeron racjeplos global ol adiol dn de le Fabedad) ea vraiment sas lgaron 4 comsidersee tan vials ue lo de wu cenezt, (Eat cambio radical cn bs apreciacion de Bt Popp wee [hl on 1°11. G. Forder [927] pig. si, O: «Une de lon merien principals de las pruebas werirte en conocimiente Bite usr Cer erepticamo aceren dl resultado, probador” (Resell OB} dan (quiet ejeoeaa) NE SDEE OOP OOOS OC OC OC COa Inspections entdadoramente la pr Reegla 2. Si tiene asted am contragjemple global, descarte 1m conetura, aha su anitiis de la procba ws lem conveniente tea refatado por el contracjemple a dercurteds por otra myerade que in condichin ™, No permit ntaciin ea th Trate te hacer explicites tedes sus ulemas ocultoss?) Rela 3. Si tiene mised ease bem ‘qu nna artade por monttrve 1 coniracyemiplo local, compruche a ver sine e6 tambain slobel, Sie et, pucde usted aplcar fécilmente la Regla 2. 1 de (4) Prucbo fren a anilisis de la prueba. Relativigaciin de lat concept Teorama y rigor ent andliss dela praca, Atva: Qué quiere ust Guna: Es completamente redundance. Se puede abadit euafgner lema que sex refutado por el contacjemplo en cuestin, pocs eafyaer Jen tal resturant alice del erie ei proce, Laniba’ gQué? Aut que wn lema del tipo: «Todos los poliedros tienen al menos 17 arsae» habris de ocuparse del lindre, Caalgui otra conjrura aleitora af ee vale te guedaserefuada pox el Contracjempo Gausia: Por gue n0? TLaniba: Ya hemor criticado a tos excluidores de monstruos y de excepeiones por alyidarse de is pruebas, Ahora esti usted haciendo tin rnonsecto seals jens dle prick sin pacha? que hay entte sted ¥ el excluldor de monttruos cs. que usted harla que Delt expliciase sus definiciones srbitraras y ls incosporase al teorema como lemas. Adcinds, ne hay dferenca nite Ia exchusion de exccpcioncr y su" modo. de analsa la procta Tea nies salvaguardia contra tales métodos ad ber es utilizar lems coneeaiones es deci, leas en concordancia con el expiit del experimen: to mental. (0, acto liminaria ested Ie belers de ls pructas de la thatemitica, ausinnyendola por un tonto juego Formal? smo, siempre y cuando ‘diferena Tar Ge pier om exprear et al fee Ps Lede UAT) pig 389 ‘Véase mis abajo. pig. 159. gars “Tempe plone derecho » propor esgic hp que mag bs cond de rseeeeag wage fon mepeies te ee ge ot See ae a alain y curd sam de ache cbt embers y pet Pease iy "1 dsr och de one npc ipl wn mora de rj dene rane dees (6. Dats (8) "Vee tm pigs 917 et porn ou teers A Sma, Ash querido Zeta, yo tio he eapatador Lomas ocultos ni Suerte Kapa. lot he spasado de contrabandow 1 la prueba. La prucb prucha completa a parti »equejo. No habria que confun bic pruche inflible Com wadlsis inxacto de la prucha. An tencmos abi el ‘Todos los poliedros con los que se puede te, ado los poliedres la prueba trad on un lipiz q) 4 Mine de’ elase de los. poliedror de Cauchy he dc admitir, no estaba especiaimente aflado. Ahora, Sri picabuluramenteaflad (y si non pasainos a afro, se rompce); Gannia: Extoy. perdido, eCoit ef st pomtura? Antes era wsted cl camped de las efsaciones reas jOhs se ras de hs difcultades del crecimiento! La intuicion ‘Gane. Su primera intuicion madura le Hev6 a su wandlisis perfecto de In proclus, Usted pensaba gue au lipiz» era absolutamente agud Talat Me olvidé de las difeaindcs de [a comuniacion lingutees, capecninente con pedantesjeseepticor, Perot mcolo de lax matemit er Grid caperimenno, meatal, In prueba. Su articulacién lingstica {Gl andlisis de In prucba), aunque necesaiia para In comunicscion, elevant. Yo estoy imeresado en los polledton y tated en el lenguaje sr ve ted ln pobreza de sur contracjempion? Son Hghtsticos fo poledsicos. Ein: Asi pues la refutacin de un tcorema aélo descubre nuestro fallo''la how de captar los lemas ocultos que encirra? Por tamo, vin cceoreman cafee de significado a menor que compeendamos su rucba? PIMAUA: Puesto que la vaguedad del lenguaje hace inaleanzable el rigor del aniliss de la prueba y convierte la formacidn del teorema en tin proceso sin fin, 2p0r qué preocuparse por el teorema? Los matemiti- facticantes, desde luego que no se preocupan. Si surge otro «on traejemplor insignificante més, no admiten que su teorema quede refuta- ino, a lo sumo que su «dominio de validez» deberi ser conveniente- mente restringiddo.c rien los eontracjemplos |} I usted que el malisis deh Dewot de , cos pntradictori , Piero, Hemes de combiner el rigor de la pruchas con cl urigor del Aura: «Hoy se alcanza el rigor absoluton74 mente, |¥ eso, solo teas el prinare de sus nuevos contracjemplos! Ustes a Gansta: (Esa teorta de la prueba «transparente» es burdo psicologis Yer mas precisos;.peto s6lo en tor. cQué pasa con la précica de Aura: (Pero es prefcrible a la pedanteria logico-lingustica de su tados por lemas ain mas tiviales, prodiieiendo una wviciosa infinituds 7 | andliiside npn de teoremas cada vez mis luggos y-chapuceros®, Cuando parecia cond \ cira ia verdad, la eitia se c rest Derne teen fiidamente sin propésito alguno. Yo detengo esta infinitud vieiosa en el ed nunca la detencles en el dengagye, icho que tenga que haber un nimero infinite > punto podemos aleanzar la verdad, pentamiento, mientras que vs Gana: Yo nunca he tals Caando este excindals cabo por firme, cameo Gc de contracjemplos. En determina ‘dscns vibdevtrdandn oop olga geome, Flop tos earn on 1o que se detendri el flujo de refuraciones. Pero, como es natural, ins prbordacal Godice acicimamie etendtic (Gor Semple tt no sabremos euindo, Slo ln refutaciones son coneuyentes; ls prucbas sis mnesepuacon de is prach poomnn cote uc el ngs deionte eie son uma cuestin psicologiea re h admis de lon experimentos mens ddtsoe (eyiag (1039) page 723) 1 Gowan, a ™ Bl térming spsiccloginmos lo acune Hussed (1500), Para uns sertens anterior pra be satiated scosas (sects Uniadicir)y noe habla de aplieatagul, Obva ; ‘que AMA, shrasia sbcrrntmes el falsStgeene’ wie worse macnn spre TH Nocmnalneme, tos raters eva low tcuemas ingos mediante el expaiicne echo por saber, dent de date construction Ie mere shermative de Ine defincones lngas, de modo que en los eoremas 16l0 cones de In mete humanas (ieseng (1936), paps. 8 y 0) ren icclogltmd Lon la eevee. fue unm definiion sbrev i Pedtames arielco porfectameni (ease Sesto Empiico gue han Hevado 1 lls tetalstan are nc te pends 3 linatsen a edict de 1902 J