Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Aritmetización Del Análisis
Aritmetización Del Análisis
Mray y Weierstrass
Mray en su libro Nouveau precis d'analyse infinitesimal, 1872, deca que el lmite
de una sucesin convergente determinaba ya fuera un nmero racional o un
nmero que llam "ficticio'', y los "ficticios'' pueden ordenarse: son los
irracionales. Ahora bien, Mray no era claro en cuanto a si la sucesin era el
nmero.
es decir, converge a .
"Si la distancia entre y se hace tan pequea como uno quiera para un
suficientemente grande, entonces la sucesin converge''.
Para Mray y Weierstrass, las sucesiones que cumplan con el criterio de Cauchy (sin
hacer referencia previa a los nmeros que convergan) eran los nmeros reales.
Dedekind
racionales racionales
.
nmero
"El hecho de que todos los temas anteriores se anuden en la obra de Dedekind
muestra ya suficientemente que nos encontramos frente a un enorme esfuerzo
de sistematizacin, un gran intento de reducir la matemtica a bases rigurosas y
unitarias. En efecto, la teora expuesta en Continuidad y nmeros
irracionales puede verse como colofn de una serie de esfuerzos encaminados a
fundamentar el anlisis sobre la nocin de lmite, y esta nocin directamente
sobre la aritmtica; adems, de las teoras del nmero irracional publicadas en
los aos 1 870 es la ms consciente conjuntista. Pero Dedekind se preocup
tambin por hacer posible un desarrollo riguroso de todo el sistema numrico,
como acreditan sus afirmaciones publicadas y diversos manuscritos. Con ello
pretenda obtener un nuevo fundamento para la aritmtica y el lgebra,
coherente con sus investigaciones ms sofisticadas en el campo de la teora de
nmeros algebraicos y del lgebra en general.'' [Ferreirs, Jos: " Introduccin''
a Dedekind, Richard: Qu son y para qu sirven los nmeros?, p. 13]
Bertrand Russell,
tiempo despus, propuso que se identificase como nmero real
no aquel que corta los conjuntos, sino un conjunto de racionales. Por ejemplo,
Cantor
Es, pues, innegable la profunda influencia que ejerci Weierstrass sobre Husserl, no slo en el
inters por fundar una especie de aritmtica universalis.
El programa de Weierstrass, programa que tuvo un fuerte desarrollo entre 1870 y 1880, puede
expresarse incluso como la bsqueda de una racionalizacin del anlisis matemtico,
determinando las races originales, sus conceptos y axiomas elementales y construyendo el
concepto de nmero (de forma lgica) sin apelar al concepto de cantidad (magnitud)
partiendo de la definicin de limite . Desde luego, el sistema de los nmeros reales ser la
piedra de toque del trabajo de Weierstrass (Miller, 1982:4-5). Habiendo desarrollado,
previamente, un impulso riguroso del sistema de los nmeros enteros positivos, el sistema de
las integrales y el sistema de los nmeros racionales. Pero no en eso, pues [tambin]
introdujo muchos conceptos bsicos y teoremas de anlisis tales como las nociones de lmite
superior e inferior. Weierstrass tambin introdujo una serie de nociones topolgicas generales,
como la nocin de entorno (neighbourhood ) (Hartimo, 2006: 323). En una carta a Schwarz
en octubre de 1875 dice acerca de la aritmetizacin: estoy convencido de que esta debe
construirse sobre la base de las verdades algebraicas (Bottazzini, 1986:259). La aritmetizacin
de Weierstrass creci profundamente hasta obtener sus bases en la experiencia fsica,
demostrando que ciertas proposiciones que haban sido consideradas como correctas a la luz
de una intuicin geomtrica, son de hecho falsas. Consecuentemente, rechaz todo tipo de
intuicionismo geomtrico-espacial como base del anlisis matemtico por ser poco confiable.
En Berln, Weierstrass en sus lecciones del semestre de verano de 1878 intituladas,
Escribe lo siguiente:
El anlisis puro es una ciencia que no debera necesitar ningn postulado y de hecho no
necesita nada ms que el concepto de nmero (en contraste con otras ciencias matemticas
como la geometra, la mecnica analtica, la fsica matemticas, las cuales, con mayor razn,
estn fundadas sobre la experiencia). (Ierna, 2006:36)
Desde este punto, el anlisis matemtico revis los principios de las aplicaciones geomtricas,
pero no desde un punto de vista emprico, sino abstracto. As, teniendo en cuenta estos
fundamentos, el sistema total del anlisis matemtico podra ser construido y deducido con
rigor a travs de un mtodo evidente. Este legado Husserl lo absorbi inmediatamente al
momento de confrontarse con los fundamentos de la aritmtica elemental, pero fundndola
en una experiencia interna, en la forma del espacio como concepto puro, adems y de este
mismo modo, Husserl pretende aclararen su
Vale la pena adelantar que en continuidad con el proyecto de Weierstrass, Husserl tom como
centro de su disertacin filosfico-matemtica el acto de contar. De hecho, no duda en afirmar
en su:
Filosofa de la aritmtica
Que el nmero es una multiplicidad de unidades, (Hua XII, 14) slo que a diferencia de
Weierstrass, Husserl no conjunta objetos con determinadas caractersticas, sino a objetos de
un modo arbitrario, al ms puro estilo del concepto Menge.
Adems, esto significa que los nmeros, excepto el uno, slo se predican de conjuntos (
Mengen) de objetos porque estos estn compuestos de partes numerables. Un ltimo punto
de convergencia entre Husserl y Weierstrass es la distincin que este ltimo apunta de forma
muy esquemtica, entre lo material y lo formal o entre representaciones autnticas o intuitivas
(lo que una representacin contiene) y representaciones inautnticas o simblicas (lo que una
representacin significa).En el mismo manuscrito que he citado, Q 3, 1-4, se puede encontrar
que Weierstrass apuesta por la visualizacin de los nmeros de forma indirecta, adems de
promover que el sistema nmero se extienda a otros dominios, el caso paradigmtico vuelven
a ser los nmeros imaginarios, o dicho de otro modo los nmeros complejos, por lo menos
desde 1878: Bajo un nmero complejo entendemos el agregado de nmero de unidades
diferentes (a RG,b Gr,cPf). Estas unidades diferentes las nombramos como los elementos de
los nmeros complejos.
El caso paradigmtico vuelven a ser los nmeros imaginarios, estos ltimo Husserl los analiza
a detalle en las clebres Doppelvortrag.
Leopold Kronecker
Leopold Kronecker, el Rey sin corona del mundo matemtico alemn, (Edwards,
1988:159) fue uno de los grandes hombres de ciencia con los que Husserl se top en su
carrera acadmica. Pero sobre esto punto, la relacin entre Husserl y Kronecker, la
literatura filosfica tiene versiones encontradas. Por un lado, y para algunos autores,
no est del todo claro que Husserl haya recibido un impulso matemtico o filosfico de
su maestro. Por otro lado existe otra versin que s aprueba y muestra cierta influencia
de Kronecker en la filosofa matemtica de Husserl. A ella me referir y tratar de
ampliarla en la medida de lo posible. Si bien es cierto que Husserl en contadas
ocasiones se refiere a Kronecker como su Maestro o como su mentor, en una de ellas
Husserl justamente dice que: En cuestin filosfica, me atrajo especialmente el Prof.
Paulsen, a l le debo ideas agradables y duraderas. Con respeto a las matemticas, por
encima de todos, los profesores Weierstrass y Kronecker, cuyo estudiante fui, dejaron
una impresin duradera en m (Schuhmann, 1977: 6).
De lo que tambin s se est muy seguro es que Kronecker debati con Weierstrass,
prueba clara son algunas cartas editadas por Pierre Dugac en su texto
Elementsd'analyse de Karl Weierstrass
; y tambin discuti con Cantor en relacin a los fundamentos de la matemtica, y fue
a a quien en una carta de 1884, Kronecker le confiesa cul es y hacia dnde se dirige
su trabajo:
[] en mi trabajo matemtico he tenido mucho cuidado en reconocer sus fenmenos y
verdades de una forma lo ms libre posible de conceptualizaciones filosficas, y por
tanto he asumido que la doctrina la matemtica pura se haya en la teora de los
nmeros naturales, y creo que esto puede suceder sin excepcin (Edwards, 1995:46).
Los textos que tendremos en cuenta para este apartado son el artculo
Sobre el concepto de nmero
(Zahl ) publicado en el Journal de Crelle en 1887, y la ampliacin que se deriva de este
y que perteneci a un curso del semestre de verano de 1891. Desde estas obras ubicar
los principales argumentos de su concepto sobre el nmero y su postura sobre la
aritmetizacin. Sobre la definicin de los nmeros ordinales, Kronecker seala: En los
nmeros ordinales (Ordnungszahlen) se encuentra el punto de partida natural para el
desarrollo del concepto de nmero (Kronecker, 1892:53.) y junto con la adicin
sucesiva entre ellos, constituida por una especie de familia (Schaar ), se determina la
totalidad de los nmeros ordinales en una suerte de stock de signos:
As, por ejemplo, en la coleccin (Schaar ) de letras (a, b, c, d, e) la letra se designa
como la primera, la letra b se designa como la segunda, etc., y finalmente la letra
ese designa como la quinta. La totalidad de los nmeros ordinales as aplicados, o el
Anzahl de las letras a, b, c, d, e
, puede, en consecuencia, en contacto con el ltimo de los nmeros ordinales aplicados,
ser designado por el nmero cinco. (Kronecker, 1892:254)
Dicho de otro modo, si tenemos una familia (o juego) de objetos el nmero cardinal que
le corresponde al ltimo nmero ordinal ser el ltimo que se haya utilizado para
contar la cantidad de elementos, el proceso que sigue Kronecker tiene, pues, un
carcter biyectivo o al menos un cierto carcter de equivalencia (uno-a-uno) entre dos
sistemas de magnitudes, un sistema finito de objetos y una invariante, por ejemplo:
cuatro piedras (caracterstica invariante) de la familia (o juego) cuatro objetos. Este
nmeroque es resultado del contar es tambin una propiedad de la familia, los
elementos al ser ellos mismos una caracterstica invariante de la familia o la clase
dan cuenta de una base ms real del concepto de nmero. Husserl mismo sigue este
procedimiento biyectivo en algunos momentos sobre todo cuando, en el caso especfico
de los nmeros, la contigidad es una garanta dada por el principio de formacin
que le permite pasar, de forma aditiva, de 1 a 2, de 2 a 3, de 3 a 4 y as
sucesivamente, esta construccin secuencial es anloga a la unidad colectiva pues
los miembros de la serie numrica estn unidos.As pues, el procedimiento que sigue
Husserl, tiene algo de kroneckeano en este sentido, pues Husserl agrega que el
concepto de nmero se obtiene de la reflexin de los objetos coleccionados o de la
familia o stock, considerados como simplemente como algo en general
(Etwasberhaupt ). De este modo, la multiplicidad en general se define como algo y
algo y algo o como uno y uno y uno en donde dicha unidad relacional (o conjuntiva)
y, es una propiedad estructural (sincategoremtica) afirmando con ello una
coextensionalidad ; dicho de otro modo, el concepto de nmero y de multiplicidad no
surgen de la presencia de contenidos particulares, sino que estn en conexin con un
todo presente. El concepto de pluralidad est engarzado y se hace patente a travs de
la reflexin sobre la unin de contenidos de una totalidad concreta
. Ms an, la importancia y significacin que tienen los nmeros para Kronecker es de
mayor radicalidad que para Weierstrass: