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

Mray y 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 preis d'analyse infinitsimale, 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 numeros 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''.

Dedekind

Richard Dedekind ofreci 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.

Dedekind consider entonces los nmeros en los que se haca el

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