Aritmetizacin del anlisis

Uno de los temas fundamentales en el proceso de fundamentacin del clculo

fue la construccin o la validacin de los nmeros reales. Para ello, varios
matemticos se orientaron a ofrecer diferentes definiciones y construcciones de
estos nmeros, donde por supuesto lo decisivo giraba alrededor de los
irracionales. En esa direccin, hicieron importantes aportes Weierstrass, Richard
Dedekind (1831 - 1916), Georg Cantor (1845 - 1918), Charles Mray (1835 - 1911) y
tiempo despus el filsofo britnico Bertrand Russell (1872 - 1970).

Mray y Weierstrass

Mrayy Weierstrass propusieron definiciones que utilizaban la nocin de

convergencia y pretendan evitar el "error lgico'' de Cauchy. Recordemos que este
matemtico haba definido los reales como el lmite de sucesiones convergentes
de nmeros racionales, pero el concepto de lmite haba sido construido
asumiendo la existencia de los nmeros reales, lo que lgicamente era incorrecto.

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.

Expliquemos mejor este asunto. Empezamos por el concepto de sucesin.

Una sucesin de nmeros racionales es un conjunto ordenado de nmeros

Tambin se puede ver como una funcin

[ el conjunto de nmeros naturales, y el de los racionales.]

Por ejemplo, nos ofrece una sucesin.

Ahora bien, una sucesin es convergente si existe un tal que

Usando lenguaje de lmites, tenemos que

es decir, converge a .

Precisamente, un criterio para determinar la convergencia de una sucesin es el

"de Cauchy'' (o "Bolzano-Cauchy''). Cul es? En esencia: si la diferencia entre los
trminos se va haciendo cada vez ms pequea, entonces la sucesin converge.
Con precisin:

"Si la distancia entre y se hace tan pequea como uno quiera para un
suficientemente grande, entonces la sucesin converge''.

Puesto de otra manera, y volvemos con los :

dado un arbitrario, se obtiene que, a partir de cierto suficientemente

grande:

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.

Este es un mtodo de construccin. Un ejemplo, como define una

sucesin que cumple el criterio de Cauchy, entonces la sucesin es el

nmero real. As tenemos

Es un medio para definir el .

Pero hay asuntos complejos aqu. Uno de ellos: puede haber diferentes

sucesiones que convergen a . Eso no es relevante.

La teora de Weierstrass es, por supuesto, ms compleja. Ms que sucesiones

ordenadas de nmeros racionales, lo que se usa son conjuntos de racionales.
Pero, por ah van los "tiros''.

Debe decirse que Weierstrass no public sus resultados sobre la aritmetizacin, y

se conocen, ms bien, por medio de sus discpulos Ferdinand Lindemann y
Eduard Heine.

Dedekind

Richard Dedekindofreci otra construccin de los nmeros reales: el mtodo de las

"cortaduras''. En esencia, haca lo siguiente para definir "con lgica'' los nmeros
reales.

Divdase el conjunto de los nmeros racionales en clases disjuntas A y B, tales

que todos los nmeros de A sean menores que todos los nmeros de B.

Dedekindconsider entonces los nmeros en los que se haca el corte: "la

cortadura'', y estableci que solo exista un nmero real que produca esa
"cortadura''.

Si, adems, A contiene a su mximo, o B a su mnimo, la cortadura define un

nmero racional.

Pero si ni A contiene a su mximo ni B un mnimo, entonces se define un nmero

irracional. Un ejemplo:

Consideremos esta "cortadura'':

racionales racionales
.

Esta ``cortadura'' define un nmero que no est en A como mximo ni en B

como mnimo. Podemos concluir sin problema que esta cortadura define el

nmero

Resulta interesante mencionar que la definicin de nmero irracional dada

por Dedekind posee una gran similitud con la teora de Eudoxo que aparece en el
Libro V de los Elementos de Euclides. De hecho, esto lo consigna Ferreirs:
"La teora de las proporciones de Eudoxo guarda una profunda relacin con la
teora de los nmeros irracionales de Dedekind, como indicar Rudolf Lipschitz y
como se ha venido repitiendo desde entonces.'' [Ferreirs, Jos: "Introduccin''
a Dedekind, Richard: Qu son y para qu sirven los nmeros?, p. 7]

La construccin dada por Dedekind se inscriba, por supuesto, tambin en los

planes de fundamentacin; bien lo recoge Ferreirs:

"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,

definir como el conjunto A, antes construido.

Cantor

Georg continu la obra de Weierstrass en los fundamentos de las

Cantor
matemticas. Para Cantor, por ejemplo, "toda sucesin regular define un nmero;
la clase de todos los nmeros as definidos es el sistema de los nmeros reales''.
De hecho, con algunas simplificaciones por Heine se dio una aproximacin
distinta a la construccin de los reales: que se conoce como Heine-Cantor, y que
fue publicado en " Die Elemente der Funktionenlehre'' del Journal de Crelle,
1872.

Para Dedekind y tambin para Weierstrass est presente una referencia al

continuo y, entonces, al infinito.

Podemos decir que la nocin de continuo real implica un proceso matemtico

(mental si se quiere) cualitativamente diferente al que se manifiesta en la
aritmtica.
El proceso de aritmetizacin llevado a cabo a lo largo del siglo XIX consisti en la bsqueda por
aprender una nueva realidad matemtica en la que la validez lgica se eriga como
imprescindible. En este sentido, Karl Weierstrass (1815-1897) hizo una presentacin rigurosa
de su teora y elabor cuidadosamente su edificio matemtico independientemente de toda
referencia a la intuicin geomtrica, tomando por tanto un papel protagonista en este proceso
de rigorizacin. En contraposicin a este proceso, el desarrollo del anlisis dentro de un marco
fuertemente intuitivo y geomtrico no pas en absoluto desapercibido por la comunidad
matemtica, tal como se desprende por ejemplo de las investigaciones llevadas a cabo por
Bernhard Riemann (1826-1866).

Aritmetizacin del anlisis y construccin

formal
: Husserl como alumno de Weierstrass y
Kronecker

Karl Weierstrass y la aritmetizacin del anlisis

La clebre escuela de Berln tena entre sus filas a matemtico como Leopold Kronecker, Ernst
Kummer y Karl Weierstrass, siendo este ltimo una de las referencias obligadas a la hora de
hablar sobre el clculo. Pero no slo eso, tambin constituyo una de las mayores influencias de
Husserl, quien haba estudiado en Berln de 1878 a 1881.

convertirse en una especie de asistente ( Privatassistent ); y pese a que prctico diversos

enfoques dentro de las matemticas, como el psicolgico-descriptivo, el intuicionista y el
axiomtico, Husserl permaneci weierstrassiano para el resto de su vida (Hartimo,2010:111).
En mucha medida la tesis de habilitacin de Husserl, ber den Begriff der Zahl. Psychologische
Analysen.

(1887), punto de partida de su investigacin filosfico-matemtica, recoge una serie de

planteamientos importantes provenientes, en consonancia, y quizs en seguimiento de la obra
de Weierstrass adems de que reformula una serie de anlisis matemticos realizados por este
ltimo, quien desde sus lecciones en Berln afirmaba que la aritmtica es la base de todas las
disciplinas matemticas y que el concepto de nmero entero es un concepto primitivo o
primario de aquella. Gerhard Funke advierte de otra apropiacin:

Es, pues, innegable la profunda influencia que ejerci Weierstrass sobre Husserl, no slo en el
inters por fundar una especie de aritmtica universalis.

Donde convergieran la aritmtica y el anlisis, sino tambin en una de las ideas ms

fundamentales que se palpan en Filosofa de la aritmtica saber, que el nmero (no el
concepto) se funda Husserl dir, se constituye en el acto mental de contar y que es el nmero
el eje central (y fundante) del anlisis matemtico. l mismo lo reconoce cuando dice: Fue el
gran Weierstrass quien despert en m el inters por una fundamentacin radical de las
matemticas durante mis aos de estudiante en sus lecciones sobre la teora de las funciones
(Schumann, 1977:cap7). Sin embargo, antes de continuar vinculando a estos pensadores, es
preciso entender qu significa para Weierstrass aritmetizacin del anlisis matemtico.

Qu significa decir que el concepto de nmero natural y la aritmtica de los nmeros

naturales constituyen la base de anlisis? Por principio de cuentas se trata de establecer, al
menos como principio bsico, la posibilidad de reducir y de fundar de un modo seguro todo el
anlisis superior en respuesta a las necesidades de generalizacin y estandarizacin de las
matemticas, sin embargo:

La aritmetizacin del anlisis matemtico fue, entonces, ms que un simple proceso

abstractivo acuado en el siglo XIX que dejaba atrs tanto el (oscuro) concepto de intuicin
geomtrica propio del siglo XVIII, como el clculo Infinitesimal, claro est en tanto tcnica que,
aunque eficaz, prestaba muy poca atencin al fundamento y estructura del anlisis mismo. La
aritmetizacin constituy un proceso de formalizar al anlisis. Hay que recordar que muchas
nociones comenzaron usando a la geometra, pero dado que esta no era suficiente para la
concepcin del nmero ni para las ideas fundamentales del anlisis como lmite y
continuidad, se tuvo la necesidad de integrar una nueva autoconsciencia de las
matemticas. Pero no slo eso, con la formalizacin-definicin formal de los nmeros reales
se formaliz lo dems, y nociones como sumas, restas (distancias) ya tenan sentido en los
reales; pues la suma de dos reales no es ms que el lmite de la suma de las sucesiones que
definen cada real, otra vez, la suma es un lmite de sumas en los racionales mucho antes ya
definidas formalmente. La matemtica de finales del siglo XIX emergi, entonces, con una
nueva actitud. Su tarea: orientarse sobre un nuevo concepto de validez formal, adems de
adecuar, en trminos aritmticos, las distintas nociones matemticas. El punto de partida: la
re-invencin de la existencia y la naturaleza de las entidades matemticas. Ser Weierstrass,
antes Cauchy, quien promover dicho cambio de paradigma en las matemticas modernas.
Brunschvicg, en su ya clsico texto,

Las etapas de la filosofa matemtica, lo retrata del siguiente modo:

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,

Introduccin a la teora de las funciones analticas

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

Filosofa de la aritmtica, los conceptos de pluralidad, unidad y multiplicidad, principalmente

dentro de las matemticas, aunque no excluye la investigacin fuera de ella. La agudeza
husserliana se compagin con una suerte de mezcla entre el anlisis psicolgico-descriptivo de
Brentano y el anlisis de Weierstrass. Del mismo modo, la constante inclinacin de Weierstrass
por la aritmtica y por el concepto de nmero y especialmente el acto (psquico) de contar, lo
llev a un anlisis ms profundo de dichos conceptos. A propsito, Weierstrass seala en su
 Introduccin a la teora de las funciones analticas que El concepto de nmero surge a travs
de la combinacin intelectiva de cosas (Dinge), se descubre en aquellas notas comunes, sobre
todo de las cosas intelectivamente idnticas. Estas cosas las designamos como la unidad del
nmero (Zahl).Y en el manuscrito Q 3, 1, remarca esta idea:

A travs del procedimiento de la operacin de contar, alcanzamos mejor el concepto de

nmero; consideramos una presentacin de agregado de objetos, entre ellos buscamos los
que poseen una determinada nota aprehendida (Merkmalaufgefate) en la representacin
yendo, a travs de ellos, secuencialmente; comprendemos los objetos individuales junto con la
nota, en una representacin global, y por lo tanto se hace una multiplicidad de unidades, este
es, pues el nmero. (Ierna, 2006:36-37)

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:

Esta divisin es una consecuencia de la propuesta de kroneckeana de la matemtica

como una ciencia natural o, dicho de otro modo, como una ciencia experimental
, en su curso de 1891, apunta: La matemtica es tratada como una ciencia natural
(Boniface y Schapacher, 2002:232) pues las matemticas deben adaptar los mtodos
de cada una de sus disciplinas constitutivas a los fenmenos que ellas tratan,
(Boniface, 2007:332) justo porque sus objetos son tan reales (wirklich
) como los de sus ciencias hermanas (Boniface y Schapacher, 2002:232). Las
matemticas, entonces, no inventan nada, slo descubren lo que ya est puesto
de forma natural, aunque es una ciencia pura debe partir y fundar su evidencia en

experiencia y para eso requiere inventar nuevos mtodos (Boniface y Schapacher,

2002:232-233). Este ltimo punto remite al concepto de experiencia
(Erfahrung ) y su oposicin a las construccin lgico-filosficas. En lugar de esta ltima
construccin, Kronecker utiliza el concepto de fenmeno( Erscheinung
) como el centro de la fundacin de las ciencias naturales en consonancia con las
matemticas. Los fenmenos deben ser descritos simple y completamente: No
obstante, ahora la matemtica no es sino una ciencia natural, por tanto, tambin debe
describir los fenmenos simple y completamente. Los fundamentos provienen de ellos
(Boniface y Schapacher, 2002:226). Los fenmenos de los que habla Kronecker son
conceptos y principios bsicos los cuales estn dados en la experiencia y abiertos a la
modificacin en el curso del desarrollo de los contenidos (Boniface, 2005:145).As, la
propuesta finitista y constructivista de Kronecker cobra un mayor sentido, y la frase
que Heinrich Weber le atribuye:
Die ganzenZahlenhat der liebeGottgemacht, allesandereistMenschenwerk
Se vuelve lapidaria porque caracteriza con toda certeza su propuesta, a saber, que los
nmeros naturales no necesitan ser definidos, puesto que ya estn dados en la
experiencia matemtica, mostrando que de la experiencia del contar es de donde
resulta el nmero (Boniface, 2005:147). Entender esto ltimo impide que la propuesta
(filosfica y matemtica) de Kronecker se funde en una especie de empirismo. Todo lo
contrario, los objetos matemticos son fenmenos matemticos, son expresiones
algebraicas concretas que no estn ni en la naturaleza ni en la mente humana. En este
tenor, y con ciertas reservas, podra afirmarse que los nmeros naturales, para ambos
autores, Husserl y Kronecker, seran algo as como la base del edificio de las
matemticas, en tanto contenidos experienciales, y los dems nmeros slo seran
Construcciones formales basadas en operaciones y combinaciones finitas justificadas.
Los nmeros naturales seran algo as como la base del edificio de las matemticas y
los dems nmeros slo seran construcciones formales basadas en operaciones y
combinaciones finitas justificadas. El hecho de que la matemtica sea una ciencia
constructiva, lo pone muy cerca de los planteamientos kantianos: la matemtica
construye conceptos, la filosofa los analiza. Las construcciones formales
 de las que habl lneas atrs, estn fundadas en operaciones y combinaciones finitas
justificadas por el acto de contar, as el 2 de
Sobre el concepto de nmero explica la suma de los nmeros como un contar
adicional (weiterZhlen), un agregar el nmero n2 al nmero
n1.(Kronecker,1892:257.) Todo esto en funcin de un nuevo nmero al que se le aplica
un nuevo contar adicional, n1+n2+n3++. Y el 4 explica la multiplicacin de los
nmeros: El nmero en el sentido ms estricto, es el nmero natural, porque las
cantidades irracionales repito, cantidades irracionales y no nmeros irracionales,
puesto que ese lugar es exclusivo de los naturales:
Que dan fueran del dominio de la aritmtica. Adems de esto, la idea de una
aritmtica general (AllgemeineArithmetik) o pura que incluya al lgebra y al anlisis,
da a la aritmtica un carcter fundamental:

En resumen, para Kronecker los conceptos fundamentales de las matemticas han de

ser constructivo, finitistas y derivados de la experiencia. Buscando con ello enfatizar las
operaciones constructivas y no edificativas en el concepto.