1

LECTURA COMPLEMENTARIA N 1. MTODOS DE ESTRUCTURA DE LA MATEMTICA. Los elementos que constituyen la estructura de la Matemtica son de dos tipos: por una parte los conceptos, por otra las proposiciones y relaciones que se refieren a esos conceptos. Igualmente encontraremos dos procesos diferentes: por una parte un encadenamiento de conceptos que constituye el proceso de conceptuacin; por otra parte, un encadenamiento o procesos de reduccin entre proposiciones y relaciones que permite pasar de unas a otras, llamado demostracin. El estudio de los mtodos de conceptuacin y de demostracin constituye lo esencial de la metodologa matemtica. CONCEPTUACIN MATEMTICA. En Lgica suelen clasificarse los conceptos en individuales y especficos: los primeros se refieren a objetos particulares, los segundos a grupos de objetos que tienen ciertas propiedades comunes. La coleccin de objetos a los cuales es aplicable el concepto especfico constituye la extensin del mismo; la coleccin de propiedades que lo determinan constituye su comprensin. Cuanto ms general es un concepto, mayor es su extensin y menor su comprensin, y recprocamente. Los conceptos matemticos son abstractos (es decir, tienen su existencia en la mente humana) y resultan de considerar objetos o grupos de objetos (reales o pensados) a los que se supone desprovistos de su contenido, y slo referidos a ciertas relaciones, de manera que resultan identificados, desde el punto de vista matemtico, dos objetos o grupos de objetos semejantes respecto a aquellas relaciones. Resulta de aqu que los conceptos matemticos son siempre especficos o genricos, pero no individuales. La extensin de los conceptos matemticos es generalmente infinita, no as su comprensin, la que es susceptible de fijarse con entera precisin, agotando las propiedades caractersticas que la determinan. Resulta de esto, que la conceptuacin en matemticas es ms simple y perfecta que en otras disciplinas. Dado un cierto grupo de propiedades, para que ellas constituyan la comprensin de un concepto matemtico es necesario probar la existencia y unicidad. Se considerar satisfecha la condicin de existencia cuando se haya probado que hay un sistema de entes matemticos que poseen esas propiedades. Se dir satisfecha la condicin de unicidad cuando se haya probado que hay un solo sistema de entes que tiene esas propiedades. Esto ltimo requiere una aclaracin: decir que el sistema es nico, o esencialmente nico, segn el lenguaje de Veblen, significa que, si hay dos sistemas de entes que satisfacen al grupo de propiedades, entre esos dos sistemas hay un isomorfismo, es decir, una correspondencia biunvoca que deje invariantes esas propiedades. Las condiciones de existencia y unicidad se traducen matemticamente en lo siguiente: la introduccin de nuevos conceptos no tendr valor si no viene acompaada por un teorema o postulado existencial y otro de unicidad. Las diversas formas de conceptuacin suelen clasificarse en creadoras y tautolgicas; son creadoras aquellas que introducen un concepto que resulta ampliacin del campo de conceptos de la teora, y tautolgicas aquellas que sirven para dar un nombre a un concepto ya creado. ltimamente se ha atribuido mucha importancia a la distincin entre conceptuacin existencial y conceptuacin constructiva; difieren esencialmente en la manera de probar la existencia, pues, mientras en

2
la conceptuacin existencial se exige la demostracin de la no contradiccin del nuevo concepto, y sin ms se afirma la existencia, en alas definiciones constructivas se avanza ms, dndose por probada la existencia del nuevo concepto solamente cuando se ha establecido un mtodo de clculo que permita determinar en cada caso el ente matemtico representativo del concepto. Los tipos de conceptuacin que ms interesan a la Matemtica son: 1) las definiciones nominales explcitas; 2) las llamadas definiciones por abstraccin; 3) las definiciones por recurrencia, 4) la axiomtica. Definiciones nominales explcitas. Este tipo de conceptuacin, que constituye el nico tipo de definiciones propiamente dichas, tiene por objeto introducir palabras nuevas para designar combinaciones lgicas de conceptos ya definidos. El carcter nominal alude a que la definicin se refiere a la palabra, y representa una convencin de lenguaje, pues introduce una palabra simple para representar un concepto complejo ya conocido. Ejemplo: Diremos que un nmero natural es primo cuando no tiene otros divisores que s mismo y la unidad. Las definici9ones nominales explcitas corresponden generalmente al tipo de definiciones llamadas por gnero prximo y diferencia especfica o definiciones por clasificacin. Una definicin de este tipo constituye una convencin y no una proposicin, puesto que no es ni verdadera ni falsa. Estas definiciones son tautolgicas y lgicamente eliminables, lo que puede realizarse reemplazando la palabra o smbolo nuevo por su equivalente lgico. Definiciones por abstraccin. Si los elementos de una clase se agrupan segn determinado criterio en subclases, y se consideran idnticos los elementos de cada subclase, es decir, se fija la atencin nicamente en los caracteres comunes de los elementos de cada subclase, no considerando los caracteres diferenciales; el conjunto de los caracteres comunes se considera como la comprensin de un nuevo concepto que se dice ha sido definido por abstraccin. Ejemplos: Se desea definir el concepto de nmero racional, supuesta conocida la teora de los nmeros naturales. Sea N la clase de los nmeros naturales y sean a, b, c, d, nmeros naturales. Se llama nmero racional (y lo indicaremos en la forma a/b) a la funcin de un par de nmeros naturales, tal que la igualdad venga caracterizada en la siguiente forma: un nmero racional a/b es igual a otro c/d cuando se verifica la igualdad ad = bc entre nmeros naturales. Las definiciones por abstraccin constituyen uno de los recursos ms fecundos de la Matemtica, permitiendo conjuntamente con las definiciones por recurrencia, desarrollar el mtodo gentico mediante el cual se efectan las sucesivas ampliaciones de las teoras de la Matemtica. As, por ejemplo, partiendo del concepto de nmero natural se puede definir por abstraccin los nmeros racionales, de stos pasar por igual camino a los reales, y de aqu a los complejos. El mtodo gentico, que permite elevarse de los conjuntos simples hasta los ms complejos, tiene como norma el principio enunciado por Hnkel, llamado de permanencia de las leyes formales: Al generalizarse un concepto se debe tratar de conservar el mayor nmero de propiedades, y al nuevo concepto debe corresponder como caso particular el generalizado. Esta generalizacin se realiza por una

3
ampliacin del contenido de los smbolos de una teora, de tal manera que conserven su estructura formal. Las definiciones por abstraccin son creadoras, puesto que permiten ampliar el campo de los conceptos matemticos. Al respecto deben distinguirse en el proceso de las definiciones por abstraccin dos partes: la primera, que consiste en dar un criterio de igualdad, y la segunda en probar la existencia y unicidad del nuevo concepto; el poder creador est en esta segunda parte del proceso, como lo hace notar Couturat. Definicin por recurrencia. Constituyen un caso muy importante de conceptuacin matemtica, las definiciones por recurrencia, as llamadas porque utilizan el principio de induccin completa. Constituyen otro de los recursos fundamentales del mtodo gentico. Indudablemente son, ms que definiciones, un mtodo de razonamiento constructivo. Veamos, como ejemplo, la definicin por recurrencia de la suma de nmeros naturales. Aceptamos como ya definidos el nmero natural y el concepto de siguiente de un nmero natural, es decir que si a es un natural, su siguiente (a + 1) tambin lo es (1). Tambin aceptamos el Principio trataremos ms adelante)(2). Sean a y x nmeros naturales. Damos a continuacin las siguientes definiciones explcitas: a + 0 = a a + (b + 1) = (a + b) + 1 Def. (3) Def. (4) de Induccin Completa (del que

Probaremos que con estas hiptesis queda definida cualesquiera que sean los nmeros naturales a y b, la suma a + b. En efecto, por (3) resulta la definicin para 0. (5)

Por (4) suponiendo vlida la definicin para x puede generalizarse para x + 1. [Es decir, H) para x: a + (x + 1) = (a + x) + 1 (aplicamos la Def.(4) para b = x) T) aplicada para b = x +1 resulta: a + [(x + 1)+ 1 ] = [a + (x + 1)] + 1 surge directamente de la H)] (6) De (5) y (6) por el principio de induccin completa (2) resulta la definicin para todos los nmeros. Debe distinguirse en este proceso tambin, como en el de las definiciones por abstraccin, lo que es propiamente definicin, de la demostracin que sirve para justificarla, probando la existencia y unicidad. La creacin est precisamente en la demostracin. Axiomtica. La axiomatizacin de un teora consiste en establecer un grupo de conceptos llamados conceptos primitivos y un grupo de proposiciones y relaciones llamadas proposiciones y relaciones primitivas tales que: 1) los conceptos primitivos no se definen explcitamente, nicamente se enuncian; 2) Las proposiciones primitivas se aceptan como

4
verdaderas sin demostracin; 3) las proposiciones primitivas deben caracterizar en forma unvoca y completa a los conceptos primitivos y tambin a las relaciones primitivas que, unidas a las de la lgica, constituirn los recursos operatorios con los cuales deber edificarse deductivamente toda la disciplina. Las proposiciones primitivas suelen llamarse indistintamente axiomas o postulados de la teora. La caracterizacin de los conceptos primitivos mediante el sistema de axiomas se dice que constituye una definicin implcita de estos conceptos. El sistema de axiomas de una disciplina no es nico; pueden darse diversos sistemas equivalentes e igualmente aceptables; una misma proposicin puede ser axioma y teorema en otro. Como se trata de sistemas equivalentes de una misma disciplina, debe darse la condicin de que los axiomas de un sistema resulten proposiciones deducibles en el otro y viceversa. Tericamente son posibles tantas disciplinas matemticas como sistemas de postulados, desde el punto de vista lgico slo est regido por las siguientes condiciones que luego analizaremos detalladamente: compatibilidad, independencia y saturacin (integridad o completicidad). Cabe ahora la siguiente pregunta: Cul es el origen de los axiomas? Son ellos reductibles a principios lgicos, o son arbitrarios, o provienen de la intuicin, o son productos de la experiencia? Muy divididas estn al resp0ecto las opiniones, debiendo buscarse la solucin en el terreno filosfico. Podemos considerar a los axiomas en su aspecto formal, es decir, como proposiciones convencionalmente elegidas y a las que slo se les exige que cumplan las tres condiciones anteriormente enunciadas. Tambin pueden considerarse como elementos primarios e irreductibles en el anlisis lgico de una disciplina ya constituida. En la Matemtica el mtodo axiomtico fue iniciado por Euclides, quien ya organiza la Matemtica, partiendo de un sistema de proposiciones fundamentales, los postulados y axiomas, de los cuales deduce lgicamente toda la Matemtica. Aunque Euclides no realiza su propsito en forma perfecta, su obra significa la mayor de las contribuciones a la Metodologa de las Matemticas. Hilbert y su escuela han dado al mtodo axiomtico el alto grado de perfeccin con que actualmente lo conocemos, habiendo llegado merced a esos trabajos a construirse conjuntamente con el mtodo gentico, en los mtodos nicos con los cuales se fundamentan y desarrollan las diferentes ramas que constituyen la Matemtica. Dice Hilbert: Quisiera reunir en cuatro palabras mi concepto general del mtodo axiomtico. Segn mi opinin, todo lo que puede ser objeto de pensamiento cientfico, se adquiere por el mtodo axiomtico, y, por tanto, e indirectamente, por la Matemtica, siempre que su forma est en sazn para una teora. Mientras ms penetremos en las capas cada vez ms profundas, seremos ms concientes de la unidad de nuestros pensamientos. Por ltimo, la Matemtica parece llamada a desempear un papel director en el edificio de las ciencias constituidas por el mtodo axiomtico. En efecto, en la Mecnica, en cada una de las ramas de la Fsica, y de la Qumica, en la Biologa y en general en casi todas las disciplinas cientficas y aun en las que constituyen las Humanidades, se trata de establecer una sistematizacin, consistente en un encadenamiento y ordenacin lgica de los conceptos y proposiciones que las constituyen, de manera que una proposicin o concepto posterior est lgicamente fundamentado en los anteriores; en esta ordenacin hay un grupo primario de proposiciones y conceptos. stos

5
nos indican que estas disciplinas tratan de estructurarse conforme al mtodo axiomtico. Compatibilidad de los axiomas. Se dice que un sistema de axiomas es compatible cuando se ha probado que, operando lgicamente con ellos, [no] es posible llegar a demostrar dos proposiciones opuestas contradictorias. El problema de la compatibilidad o de la no contradiccin de un sistema de axiomas es el problema lgico por excelencia, pues la existencia de una contradiccin en una teora la invalida completamente. Dice Hilbert: Por su misma a esencia, el mtodo axiomtico tiene exigencias mucho ms extremas y, en particular, debe demostrarse que, en cada caso y sobre la base de axiomas aceptados, las contradicciones son absolutamente imposibles dentro del interior del campo cientfico. Para los formalistas (Hilbert y su escuela) la compatibilidad tiene un contenido fundamental, pues basta haberla demostrado para un sistema de axiomas para poder afirmar la existencia de los entes que el sistema de axiomas define, es decir, ser compatible y existir son para ellos sinnimos. El problema de la compatibilidad ha sido atacado con pleno xito en casi todas las teoras matemticas; as, por ejemplo, Hilbert demuestra de una manera acabada, la no contradiccin de la Geometra, aceptando la no contradiccin de la teora de los nmeros reales; la aritmetizacin del Anlisis reduce tambin su no contradiccin a la de los nmeros reales; la no contradiccin de stos se reduce a su vez a la de los nmeros naturales y de la teora de conjuntos, disciplinas que desempean por esto el papel especial de cimientos de la Matemtica. Los problemas de compatibilidad de la Aritmtica de los nmeros naturales y de la teora de conjuntos son hoy los problemas capitales de la fundamentacin formalista de la Matemtica; arduos problemas sos, an no resueltos totalmente. Independencia de un sistema de axiomas. Se dice que los axiomas A1, A2, , An de un sistema son independientes, cuando se demuestra la imposibilidad de que uno cualquiera de ellos, pueda ser reducido de los dems. Para probar la independencia de uno de los axiomas, por ejemplo, el Ai, basta probar que es compatible el sistema formado por los dems axiomas y la negacin del Ai, puesto que, si esto se demostrara, resultara que Ai no puede ser deducido de los otros, ya que al mismo tiempo se acepta su negacin. Para efectuar esto se construyen disciplinas artificiales compatibles, las cuales son modelos que satisfacen estos sistemas de axiomas. La historia de la Matemtica nos da un notable ejemplo que prueba la importancia del concepto de independencia de los sistemas de axiomas: durante ms de veinte siglos los matemticos se esforzaron infructuosamente en demostrar el axioma V de Euclides, o postulado de las paralelas, hasta que Gauss, Lobatschwskij, Bolyai y Riemann plantearon y resolvieron el problema de la independencia de este postulado, creando las geometras no euclidianas, las cuales contienen los mismos postulados que la geometra euclidiana, excepto el V, que se reemplaza por su negacin. Saturacin, integridad o completicidad de un sistema de axiomas. Correspondiendo a la unicidad den los otros tipos de conceptuacin aparece el problema llamado de integridad, de saturacin o completicidad de un sistema de axiomas. Este problema ha sido

6
formulado de dos maneras que no son equivalentes entre s: una formulacin amplia y otra ms restringida, pero ms precisa. La formulacin amplia del problema de integridad puede enunciarse en la siguiente forma: sea un sistema de axiomas A1, A2, , An; agregar un nuevo axioma An+1 es limitar el campo de validez del sistema. Cuando An+1 es independiente de los anteriores y puede ser reemplazado por otro axioma de manera que el sistema quede compatible, se dice que el sistema A1, , An es bifurcable, es decir, es posible agregar otro axioma independiente sin que el sistema deje de ser compatible. Un sistema no bifurcable se dice que es saturado o completo. Este problema est ntimamente ligado a otro llamado de la determinacin que puede resumirse en la siguiente pregunta: En una teora matemtica fundamentada axiomticamente, toda proposicin formuladle en los trminos de la teora es necesariamente demostrable o refutable? Si el sistema de axiomas es saturado en el sentido anteriormente indicado, la respuesta es afirmativa, es decir, el sistema cumple la condicin de determinacin, puesto que si existiera una proposicin que no fuera demostrable ni refutable podra ser tomada como axioma independiente. Una formulacin ms restringida del problema de integridad es la dada por Veblen y designada por l mismo con de categoricidad; es la siguiente: se dice que un sistema de axiomas cumple la condicin de categoricidad cuando ellos caracterizan esencialmente un sistema de entes, es decir, si hay dos sistemas de entes M y M que los satisfacen, se puede establecer entre M y M un isomorfismo, o sea una correspondencia biunvoca que deje invariante las propiedades definidas por los axiomas. La categoricidad es ms precisa y ms fcilmente verificable que la integridad, por cuanto se refiere directamente a los entes. La categoricidad corresponde a la integridad (Vollstndikgeit) de Hilbert, introducida por ste como axioma, tanto en la axiomtica del nmero real como en la de la Geometra. Las demostraciones matemticas. Se llama demostracin o raciocinio matemtico a la combinacin o enlace de dos o ms preoposiciones para obtener nuevas proposiciones y relaciones. Una proposicin o relacin obtenida por ese camino de otras proposiciones o relaciones anteriormente establecidas, mediante un nmero finito de pasos, se dice deducida de stas o demostrada. Todas las proposiciones y relaciones de la Matemtica quedan clasificadas en dos tipos, las proposiciones deducidas, llamadas teoremas, y las aceptadas sin demostracin, que son las definiciones y los axiomas. Se considera no justificada y debe ser eliminada toda otra proposicin o relacin. El esquema de la demostracin es: 1) Se acepta que a es verdadero (hiptesis). 2) a b (demostracin). 3) b es verdadero (tesis). 1 - Se sabe que la hiptesis a es verdadera, o porque es axioma, o porque es tesis de otra demostracin anteriormente dada. 2 - Resulta por combinaciones de los procedimientos demostrativos que a implica b. 3 - Se afirma que b es verdadera. Suele hacerse la siguiente distincin entre las demostraciones: si resulta que b est incluida en a, porque es menos general, o porque es una parte de ella, se dice que la demostracin es tautolgica. Si, por

7
el contrario, b fuera ms general que a o heterognea con ella, es decir, fuera una afirmacin no contenida en a, la demostracin se dira creadora. Se presenta ahora el problema fundamental de precisar cules son los recursos y mtodos con que cuenta para demostrar la propiedad b partiendo de la a. Esos recursos deben pertenecer a la Lgica o estar contenidos en los axiomas de la respectiva teora. Toda disciplina que cumple con esta condicin y con las impuestas a la conceptuacin matemtica se dice disciplina formalizada. La formalizacin de la Matemtica es una caracterstica esencial de ella; suele tambin expresarse diciendo que la Matemtica es una ciencia racional, deductiva o exacta. De lo dicho anteriormente resulta que el complejo Lgico-SistemaAxiomtico, constituye la nica fuente en la cual el matemtico debe buscar los procedimientos que le permitan elaborar su disciplina, o tambin se dice: todo teorema de una disciplina es implicado por el sistema de axiomas de la disciplina, ms los axiomas de la lgica. A continuacin nos ocuparemos de los ms importantes procedimientos de demostracin. Demostraciones directas y por reduccin al absurdo. Dadas dos proposiciones, una h que llamaremos hiptesis y otra t que llamaremos tesis, el enlace de estas dos proposiciones o sus negaciones entre s por medio del signo (implicacin) es el tipo ms comn de los teoremas; caben los siguientes casos: 1) h t que se llama teorema directo; si es vlido el teorema directo diremos que h es condicin suficiente para que se cumpla t. 2) t h que se llama teorema recproco; si vale el teorema recproco se dice que h es condicin necesaria para que se cumpla t. Si valen al mismo tiempo el teorema directo y el recproco, lo que generalmente no sucede, se dice que h es condicin necesaria y suficiente para que se cumpla t. 3) (negacin de h) (negacin de t) se llama teorema contrario. Por el principio lgico del tercero excluido, resulta que este es equivalente a t h, es decir, el recproco es equivalente al contrario. 4) (negacin de t) (negacin de h) se llama teorema contrarrecproco. Del mismo principio lgico resulta que este teorema es equivalente a h t, es decir, el directo y el contrarrecproco son equivalentes. Esta ltima propiedad nos permite justificar un tipo de razonamiento llamado por reduccin al absurdo, que es de frecuente aplicacin en las demostraciones matemticas. El razonamiento por reduccin al absurdo se efecta en la siguiente forma: se acepta como falsa la tesis y se demuestra que con esta suposicin resulta la falsedad de la hiptesis (teorema contrarrecproco). Pero por lo dicho anteriormente, el teorema contrarrecproco es equivalente al directo, por lo cual ste queda de hecho demostrado. Ejemplos: TEOREMA DIRECTO.- Dos paralelas a y b cortadas por una transversal c forman con ella ngulos y alternos internos iguales: H: a // b T: = TEOREMA RECPROCO.- Si dos rectas a y b cortadas por una transversal forman ngulos alternos internos y iguales, son paralelas:

H: = T: a // b TEOREMA CONTRARIO.- Dos rectas no paralelas cortadas transversal forman ngulos alternos internos desiguales: H: a // b T: TEOREMA CONTRARRECPROCO.Si dos rectas cortadas por una transversal forman ngulos alternos internos desiguales no son paralelas H: T: a // b DEMOSTRACIN DEL RECPROCO (POR REDUCCIN AL ABSURDO).Supongamos que no se cumple T, es decir que a // b, y sea M el punto de interseccin de b con c. Por el postulado de Euclides, por M podr trazarse una paralela b a a, la cual debe formar con c un ngulo alterno interno igual a . Pero por hiptesis, = , resulta que en un mismo semiplano haba dos rectas distintas [que pasan por M y] que forman el mismo ngulo con otra dada, lo que es absurdo. El absurdo proviene de la suposicin. Deja de ser absurdo si se verifica a // b, que es lo que desebamos demostrar. La induccin completa o recurrencia. Tiene importancia fundamental en la Aritmtica, y por intermedio de ella en todas las ramas de las Matemticas, el mtodo de demostracin llamado de induccin completa o de induccin matemtica, que consiste en lo siguiente: si se demuestra que una propiedad es vlida para el nmero cero, y que la validez de la propiedad para 0 implica que vale tambin para el nmero 1, si adems por anlogo camino de la validez para 1, se deduce la validez para 2, de la de 2 se deduce la validez para 3, de la de 3 para 4, etc., habr un camino para demostrar que la propiedad vale para cualquier nmero dado n. Este procedimiento ha sido llamado tambin, con ms propiedad, de razonamiento por recurrencia, y segn lo dicho, consta de dos partes: 1) probar que la propiedad vale para 0; 2) para cualquier n, que la propiedad valga [para] un nmero n implica que la propiedad vale para [el nmero] n + 1. Quedara con esto demostrado que la propiedad es vlida para todos los nmeros? Si el conjunto de los nmeros naturales fuera finito s, ya que conb un nmero finito de pasos se demostraran todos los casos particulares posibles. Pero como el conjunto de los nmeros es infinito, no es posible agotar todos los casos particulares, y la validez general de la propiedad debe aceptarse como axioma. Es el terreno de los cinco axiomas con que Peano fundamenta la Aritmtica, y es conocido con el nombre de principio de induccin completa, el cual puede enunciarse con precisin en la siguiente forma: Si n0 0 tiene una propiedad f, y si para cualquier n n0, de que n tenga la propiedad f, se deduce que n + 1 tambin tiene esa propiedad; eso implica que todos los nmeros naturales tienen la propiedad f. por una

9
Ejemplo: Demostrar que 1 + 3 + 5 + 7 + . . . + (2n 1) = n2, f(n) cualquiera sea n. 1er paso: f(1) (la propiedad vale para n0 = 1) en efecto: 1 = 12 2 paso: suponiendo f(x) demostrar f(x + 1) H: 1 + 3 + 5 + . . . + (2x 1) = x2, f(x) Vamos a demostrar que T: 1 + 3 + 5 + . . . + (2x 1) + (2x + 1) = (x + 1)2, f(x + 1) En efecto, sumando en la igualdad de la hiptesis 2x + 1 en ambos miembros: 1 + 3 + 5 + . . . + (2x 1) + (2x + 1) = x2 + 2x + 1 pero el segundo miembro es (x + 1)2, luego: 1 + 3 + 5 + . . . + (2x 1) + (2x + 1) = (x + 1)2, f(x + 1) es decir: f(1) y f(x) implican f(x + 1) de donde resulta por el principio de induccin completa la validez general de f(n). La importancia fundamental del mtodo de recurrencia reside en que permite deducir de dos demostraciones verificables en el campo finito, una conclusin aplicable a una infinidad de casos particulares. Este paso es el que hace posible construir la aritmtica y permite justificar la generalidad y poder de abstraccin del simbolismo algebraico. Poincar atribuye al principio de induccin completa la importancia extraordinaria de llevar en s el poder creador de la Matemtica. Respecto al trmino induccin, l est usado en un sentido diferente al que se da a esta palabra en las ciencias naturales y debera aplicarse con ms propiedad el nombre de mtodo inductivo, al que nosotros hemos llamado mtodo gentico, ya que a l corresponden las caractersticas de la induccin: ir de un concepto o proposicin [particular] a otro ms general.
Extrado del Captulo VI Mtodos de estructura y epistemologa de la matemtica del libro ENSEANZA DE LA MATEMTICA, de Fausto I. Toranzos, Editorial Kapelusz, Buenos Aires, 1975. Algunas expresiones fueron modificadas mnimamente para corregir errores tipogrficos del original o para facilitar la comprensin de alguna demostracin (las palabras agregadas figuran entre parntesis rectos []). Responsables: Prof. Mara del Rosario Quintans Prof Alejandro Castro