Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Poincare 1894

    Cargado por

    MartinPKSTN
    16 vistas9 páginas
    Seleccion de txto sobre poincare, matemaico muy importante del siglo xix

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    Seleccion de txto sobre poincare, matemaico muy importante del siglo xix

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    16 vistas9 páginas

    Poincare 1894

    Cargado por

    MartinPKSTN
    Seleccion de txto sobre poincare, matemaico muy importante del siglo xix

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 9
    PRIMERA PARTE EL NUMERO Y LA MAGNITUD. ccartruvo punexo SORRELA NATURALEZA DEL RAZONAMIENTO MATEMATICO La posibiidad misma de la eiencia matematica parece una comradzci insoluble. Siesta cencia no ex deductiva mis ‘queen aparenca, de nde proviene ese igor perfect que ‘adie piensa poner en duds? Si. por el contrat, todas as proposciones que enuncia pueden deducise unas de oan Porlas elas dela Igiea formal, mo no rece am temtica a una inmensstatologa? El silogismo no puede ‘nsefaros nada esencialmente nev sit debi slit ‘el principio de identidd, tambien toda deberia poder re- ‘onducir a. Se admits entoaces que los enunciados de todos esos teoemas que Henan tantos volimenes no ean mis que manerasretrcidas do di que Aes A? Sin dud, se puede uno remontar hasta lox axioms que esti ene igen de todos los razonamienton, Si xe juzga que no se les puede rede al pincipi de contradic, s lampoco se quiere ver en ellos hechos experiments qu odin pariciar dela necesida memati ete ae ia el recurso de casificarlos entre lo juice sinteteney rir. Esto noes resolve la dificult, esto bata au cuando Ia naturaleza dels jucios sitigon mo ture ‘7 misterio par nosotros, la contradicin no se haba anecio, no habia hecho mds que ajc: razononions silogstico se manien incapaz de agregar nada los dans «ue 3 le dieron: ess dos Se reduce algunos sion no deberi contra cra cos en las conelsiones. ‘Ningn teorema deberi ser nuevo sien su demmestacin ‘0 ineevinira un axioms nuevo; el azonamiento no pod, aro mis que las verdad inmediatamente evens oe {ada por la intickn det; no sera mas qu un nen siatio patisito y entones, ino habria que preguntarre si {odo ot aparato sloico no sirvednicamente parades lar nus préctams? ‘a contradic aos impresionar msi abvinos un b> ‘aguiea de matmticas; en ea pina el autor anuneind |aintencin de generaizar una proposicin ya conoca E ‘ae, acaso, el métedo matemico procede de lo parheakn 4o general? Entonces,cdmo pd Mamdeclo deduce? Si. en fs lena del nine foes poramente aia, © pudiera deducise analticamente de un pequc nimens iticiossindticos, parcerfa que un espe sufcienencs Potente podria apreciar de una ojead todas ls vendnaee iu digo, podria también espruse que on dase nena ara expesilas un lnguajeBastante simple pra cu cet ‘evelran inmediatamente a ut intligencn ona Si uno se niega admit estan conseeueacias es preciso cept entones que el razonamiento maemdtic tine por ‘mismo una especie de virtud ereadoray que, por cores int, se dstingu del sitogismo, Asimismo la diferencia debe ser profunda, No enconia ‘emos, por ejemplo, la clave del misterio en lune rene [a Cee a sq ela medias a co wn ism operas ai- Sree aati quieted rociaasae4 tom “com nmi nom ais propamene dicho, oman lt nal ic, per 0 mn sn inten 0 Eldeae es amigo, Ye Lenz trata de demos que 2 2 examinenn noc ss demon “Sopong qu se ha ding el momere 19 Inopecion tue comisten separa iad miner dad aia dsfiniconesculesguer sean, no trv en a caer el ronan Dates en seguida los mimeros 2, 3 y 4 poe las igualdades: (141-2224 122 )3+ Definoambiga la operacia «+2 por la reac Maezete Det sto acepiato, ene 242=24N+1 —Gefinicion ) Qsnetasel (Gefinicién 2) 34a cop [No se podria nega que este azonamient es puramente analitico, Pero iterogad 3 un matematco cualquier: «No «una demostracin propiamente dicha, os responded es tna verifies, Uno eh limita compar don din ‘ones convencionals y se ha compeabado sided 0 Se ha aprendido nada nuevo, La verficatdn diets pecs mente de a verdadera demostracin en que ex ramen. nalficay pone e estri.Estil porque la conclusisa no mds quc la adecin de las premisas aot lengua. Par lento, la demostracin verdad es focunda por ‘onclsi iene n sentido mis general que las prem ‘As Inigualdad 2+ 2= 4 ha sido susceptible de una vei icin pore e particular: En msemaias, todo enunciado panicular pode siempre sc verifiado de esa manera. Pe ‘la matemdticadebera reduce a una sri de semen omprobacioes no seria una ciencia. Dela misma manera ae tn gate jeter. or empl, oe uae Se puede decie también que las ciencas exactas enen. esa por ob exis de ss comptes pues, enel comienzo de avtmética donde debe es pra encontrar I explicaion que buscamos, pero suede que stent en la denosracin de los eorems mss elem tls es donde los autores de wala lsion han espe menos precision y rigor. No hay que haere carps han oh ‘kei una acess princpiantes no esti pparados ral verdadero rigor mami, no veri en lino ¥anas fasion sulezas: se perderia su tiempo si se quisiera vo ‘erlos mis exigents con demands rider es preciso gue raha rpiament, pero sin star etapa, cl emine que han ‘acrid lentament ls fundadores def cencs ‘Por qué ex necesaria una preparacign un lrga para abi tusse a este igor perfecto ue, parece, deberia imponerse aturalmente a todas ls mentes sans? Ese es un problema igo y psicolGgico realmente digno de ser mesiado, jv: todo To que quit retener es que, bajo pena de olvidar resto propést, noses necesarorehacer ls demostacio- tes de los teoremas mix elementals y dares, no la forma _rosera que sels deja pra no cansar los princpiante, ‘hola que pueda satsfcer un pesmeta diet ‘eam, pues, ata a gemetay watemos de sorpres er sus pocedinicats. [La tte no caree de difclad; noes slice bir ns ‘bral aay anlar na demotion elie, Debers exch rimeramente an geomet en la ual a custo se omplica Gn los ards problemas relaivos al papel debs postlados, al nturalezay origen dela noi de espacio Por razonesanilogas, opens dginos al andi nfs tesimal Nos s preciso tascar el pensamiento mateo al onde ha permanecido puro, es decir, en arms, “Tava x necesare elie ak partes mi clvadas de Ja eoria de mimo, fas nciones atemsticss primis ‘nan sfrdo ua elaboracién tan prin que esa if smal, DDeRNICION BELA ADICI Supongo que se haya defini previamente la operacién + 1, que comsiste en agregar el nimero Ia un mimero do Por ara parte, cualquiera que sea esta define, n0 de. sempetaraningtin papel en l serie de razenamienos. ‘Se tata ahora de defini la opeacién +a, que consiste enagregar un ime un mer dado, Seponamos que haya definidol operscn a1) La opera x str dt ) xtaztet te iet Sabremos entones qué es + « cuando sepamos que «(a= 1), y como he supuesto al comienza que se sbi ‘qué erax +1, se podrs defini sucesivamente y spor rec ‘Mencias las operaciones: +2, 1-430 Esta definiein merece wn momento de tenn ese tuna naturaleza particular que a distingue de la define ramen liga: en efecto, la guadad (1) contene unin fink de definicionesdstinas, ea wna dels cules So tiene sentido cuando se cance Ia yecedent PROMIEDADES DE LA ADICION Asociaividad. Digo gue atbre= arbre En efecto, eorema es verdadero par ¢= 1; se esce anon (a+bye que no es otra cosa salvo a diferencia de ntacones uch ‘ala (1) con aque tein de defini Ie adic, Supongamos que el crema se verdadero para c= Yip que también sera verdadero para ¢ + Isa, fet, lor b4yeasbey, Se deduic sucesivament las mene larbei+t nvr de a definici (1) (arb +atDeasbere Daas lbs cr D) logue muesra, por una serie de deduecions peramente ana Iieas, que ef teorera se cumple para y+ 1 Sendo verdadero para c= I, se veri scesivamente de mismo modo qu lo es prac Conmutatividad. 12 Digo que atlelea Hl eorema es evidentemente cierto para a= I 6 pod erica por razonanientos puramenteanaliicos, ques es Yerdadero que a= 1 era pars a7 +1; ahora ben 1 es para a=; 1 ser, pues, pr a= 2, paraa= tose xo se express diciendo que la propsicn enunciads xe ha emosrado por recuenci 2° igo que asb=bea I teorema acaba de ser demostrad para b= [se puede ‘erificar analticamente ques s verdadero para b= B10 seré para b=B +1 {Ea peoposicion queda, pus, estableida por reurrencia. DEMNICIGN DE LA MULTILICACION Definremos i muliplicacn por las galas, Diva ‘La igualdad (2) ence, como la gualdad (1), nani ad de defniiones;habiendo dfinido a permite df scsivamete: a 2, a% 3,6 se procediminto esl demostacin por ecurencia. Se ocepimeramente un eorera para = 1; se demuestra reguida ques es cierto para n~ es certo para, y de loo concluye que es iro par xk ls nero ees. “Acabomos de ver dno poems servis de para de Fnostrar as regs de la aici y de la muliplicacin, es fect las reglas de eeu algebraic; este eleuto es un isromento de ansformacion ue se presta a muchas mis ombinaciones diferentes que el simple silogsmo: pero es tov un instrumento parame naliico e inca de en- fetarnos nada nvevo. Si is nates No Uviera or, Se fetndran entoncesastomatcamente ens desarrollo; pero fenen micvos recursos ene mismeprocedimieno, s dct, fel razonamiento por rcurrencia pueden continua Su arch hacia delante ‘hada paso, si se observa bien se vuelve a hallar est ‘ona de razonamiento, ea en a forma simple que aca ‘ys de dare, sea en una forma miso menos mei aces, pues, realmente, el razonamiento matemstico por xcclenciay sr pis examina mis de cere, PROPIEDADES DE LA MULTIRUCACION Distrbusisided. Digo qve (axe)+bxe) Garbxe ‘Se comprueba analticamente que Ia igualdad e cies para ¢= 1: después qe sl teonema es vido para Serdtambiga para = 1 “bial proposiiin te demuestra por sscurencia, Conmutatvided. 8 igo ave El eorema es evident para a= I Se veificaanalticamente que sie eirto para a= a, seri también para a= a+ | 2°Digo que $l carcter esenval del razonamiento por recurencia es ye coniene condensados, por decile as, en una frmula nia, nia de silogsmos. Para que se pueda comprender mejor, voy @enunciar su esivamente esos silogismos que etn, st me permite a apres, dispests en cascada Bien enenido qu son silngisios ipattico. Elteovema es cierto paren Leg, ses cert pra I, e ero para 2 Enionces es eet para 2. Leg, ses cert pr 2, eno para 3 Entances es ert para 3, ast sucesivamente, axb El eorema acaba de ser demestra pra b= 1. Se vei ‘aria analticamente que ses cierto para b= By ose prn eener w Detengo ag esta sere monn de rzonamintos. eo est misma monotoni ha hecho resalar major el proc mento que es ufone y que se weve wencontara cada ps, Se observa que la conclusi de ea silogisino sve menor al siguiente ‘Adem, los mayores de todos nuestros silogisios pte en ser edcids usa Fema ics Sel teoremu escent para n— 1, oe param Se ve pues que, en los razonamicatos por recurreci, Timitamos a enunciarla premisa menor del primer slogan 1ylafrmula general que contene conto caos particulars ‘das las mayores sta serie de silogismos, que no terminarta janis, se ‘entra as redoida a una frase de poeaslnas Aor s fei comprendcr por qué toda consccuenia pa ‘cular de un teorema puede, como he expliodo antes, st ‘vetifcada por peocedimientos purament analiicos, Sien lugar de demostar que nuestro teorema es vid ar tos los nimeras, queremosGnicamente hacer verge ‘ceo para el ndimero 6, por ejemplo, nos bastard estab ‘er los primeros 5 silogisinos de nuestra cascada, necesita ‘amos 9s quisirames demote tore pl nme 10; necestarianos mis toda pra un mimeto mis rane; eto por grande que fuera ese nero, erminatanos se [re por alcanzarlo I verficacn analitica sexta posible ‘Sin embarg, por lejos que furans t,o nos ceva nos jams asta et teorena general, apical a todos los nimeros rio que puede ser objeto de cine. Para le fara, seta preciso una infiidad de silogismos, seria ne sao salvar un abismo gue a pacencia del anise ‘ido Gnicamentea os recursos de la pia formal, nen aeanrar cola. Preguntbe al principio por qué nose podtia concebir un “pitt ohastante potent para apreciar de una sola ojeada l.conjunto de as verdes matemiias, La respuesta abor es cil un jogador de ajedrez puede ‘combinar de antemano cuatro, cinco juga, pero por eta ‘ordinario que se lo supongs, nunca preparard mis que un mero fn; apica sus Facultad a aim, no po pec as verdes geverales de una sola inion di- ie; para leparalteorema mas senello no pod prescin- Aide a ayua del razonamiento por recurrenci, porque es isrumento gue permite pasar defo init infin, Ee istrumento es siempre uti, puesto que haiéndonos Svar de un salto tants eapas como querames, nos evita teificaciones larga, fstdhoas y monionas que resol tan ripidaenteimpactcables, Pero se vuelve indispensi- De cundo se trata de legar al (eorema general, al que la comprobacion aalica nos acercariaconstanlemente sin mits lear. TEneste dominio del artmtca, uno pede ercrse my lj del ands ainitesinal, yin embargo acabanos de vero, li idea del infinito matemstico desempetia yawn ppp pependeranie: 9 in ila no haben cieneia pre 0 Faia nada general La proposicin sobre ta ual deseans ef razonaniento por rama pade ser puesta hao oa formas: puede deci, ar ejemplo, qo en una coleccin init de mimeros enters ‘loons, sempre hy uno menor que todos ls dems Padremos paar feiimente de wh enunciado 3 0 fs |snos saosin de que hemos demostado la leiinidad tel razonanieno or recurenci, Pero siempre seems de- ted, legaremessempee aun axioma indemostable que, tl fondo, no seré ms que la propesicin por demostar Indica otro lengua "No se puede, pcs, susterse In conclusion de que lar sa dal sazonamente por recurrencia es reducible a prin ‘iio de contradic, st el tampoco pede venimos de I experienc fo ‘ge lnexperinciaporaensefamos es qu are es cert para fos diez, pura To cen primerosnimeros, por ej no puede aurea Ta suesin ndeinida de os mmc i solamente una parte ms © menos extensa, peo sen Timitada, de es sucess. Y bien, sino se tratase més que dees, el principio “contadiccidn bastaria,permtigndonos siempre desarali ‘anto silogismos come guisgramos, Solamente cuando trata de encerar una infinidad de eos en una so ema, ‘solamente dante de infnito fracas ese principio ia ‘mente all In experiencia resulta impotete. stare, czsible ala demosracén analtica ya la experiencia, es venladero tipo de uci sntien pron. Pa ta pat, $s podria pensar ver en ella una convenein, come ens os postlados de a geomet, ‘Por qué, entonees, es jucio se nos impone con evidence itrefable? Porue no es mas que la afrmaciin del poten ‘adel espn que se sabe car de once repeticn i \efnida de un mismo acto, desde qe ese acto es posible me ‘vex El espiri tiene, de esa poten, un inicio deta laexperenca no pode ser paral is que una ccasion pa ‘servi y, po eso, tomar eoneiencia de ella, Peto se dd: ila experiencia ordiaria no puede leit ‘marl ezonamieno por recrencia, cue lr misma con In experiencia auxiiada por I inticn? Vem sucesia ‘mente que un eorema es verdadero pra el ndmer Ie mero 2, el nimeeo 3, asf em alate aly es mani, ecimes,y fo es con la misma azn que to ley fs ap yada en observaciones euyo nero es nny pane. pt mide. [No sepia desconocer que hay en x0 una anal sor prendente con ls procedintentoshabitales dela indo cin. Pero subsiste una diferencia esencal. La induc, aplicada alas ciencas fscas, es siempre insegurs, porate se apoya en la ereenca en un orden gener del Universe orden que est fuera de nosotos La induceién matenia, der la demostracia por ecurencis, orl conta, se ne necesariamente, porque no es més que la afirmacion propedal del esprit mismo vu Las matemticos, he dio mis arb, se efuerzan sem: er generaliar las proposciones que ban ober, no oscar oto ejemplo, hace poca hemos demostrado Ta igualad ‘Yta hemos empleadoinmeditamente par establece ls sguadad atbebea ue

    También podría gustarte