Sei sulla pagina 1di 155

DZȱŗşşŜȬŗŚŜŚ

RђѣіѠѡюȱёђȱіљќѠќѓҌюȱǚȱŞȱ ’–ŠǰȱŘŖŗŚ

ARTÍCULOS
Educación, valores y conocimiento
ȱ ž’œȱ’œŒ˜¢Šȱ
Ž›–˜£Šȱ
Naturaleza humana, evolución y esencialismo
ȱ ž•’˜ȱ˜››ŽœȱŽ•·—Ž£ȱ
La fundamentación racional de la ética según Francisco Miró Quesada:
Un examen crítico
ȱ XœŒŠ›ȱžžœ˜ȱ Š›ŒÇŠȱ¤›ŠŽȱ
ȱ •ȱ›ŠŒŠžœȱ¢ȱ•ŠȱŒ›Ç’ŒŠȱ•’—ûǜ’ŒŠȱŽȱ›’ĵȱŠž‘—Ž›
ȱ •ŸŠ›˜ȱŽŸ˜••Ž˜ȱ˜Ÿ˜Šȱ
La analogía geométrica y la unidad de la lógica: Los compromisos ontológicos
de la lógica
ȱ ’žŽ•ȱ—Ž•ȱŽà—ȱ—’ŸŽ›˜œȱ

NOTAS
Los fundamentos de las matemáticas
ȱ ŠŸ’ȱ
’•‹Ž›ȱ
ȱ •ȱŒ˜—Ž¡˜ȱŽȱŽœŒž‹›’–’Ž—˜ȱŸŽ›œžœȱŽ•ȱŒ˜—Ž¡˜ȱŽȱ“žœ’ęŒŠŒ’à—ȱ
y Thomas Kuhn
ȱ Šž•ȱ
˜¢—’—Ž—Ȭ
žŽ—Žȱ
El Círculo de Viena: una nota histórica
ȱ ŠŸ’ȱ’••Ž—ŠȱŠ•ŠÛŠȱ

NOTICIAS
ȱ  ȱ˜•˜šž’˜ȱ —Ž›—ŠŒ’˜—Š•ȱŽȱ’•˜œ˜ÇŠȱ˜•Ç’ŒŠȱ
ȱ ȱ ˜›—ŠŠȱŽȱœž’Š—ŽœȱŽȱ’•˜œ˜ÇŠȱ—Š•Ç’ŒŠȱ
ȱ NJȱž—’Š•ȱŽȱ•Šȱ’•˜œ˜ÇŠȱŘŖŗŚȱ
ȱ ȱ˜•˜šž’˜ȱŽȱ àŸŽ—Žœȱ’•àœ˜˜œȱŠ—–Š›šž’—˜œȱ
ȱ ˜—ŸŽ›œŠ˜›’˜ǯȱ
˜–Ž—Š“ŽȱŠȱ žŠ—ȱŠž’œŠȱŽ››˜ȱ˜›Œ’•Žȱ
I
$1$/,7,&$
REVISTA DE FILOSOFÍA N° 8

1
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

Los fundamentos de las Matemáticas*


David Hilbert

-
mente y desarrollar mis ideas acerca de los fundamentos de las matemá-

los fundamentos de las matemáticas, en la forma en la cual están ahora

-
rentes uno del otro y que se deriven entre ellos, o que están concatena-
dos, nos es dado inmediata e intuitivamente, junto con los objetos, como

consideramos es los signos concretos en sí, cuya forma, de acuerdo con

[Analítica 85
DAVID HILBERT

conscientemente o no.

únicamente en que, además de los signos ordinarios, también ocurren


los siguientes signos lógicos:
‫ש‬

esquema
S

-
mientos constituyentes de las matemáticas usuales como ha sido desa-
rrollado hasta ahora.

la siguiente manera:

‫ש‬

86
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

‫ש‬B;
‫ש‬B;
‫ש‬

ҧ ҧ
A ҧ  ҧ

fórmula
ҧ

A(ܽ
-

haremos las siguientes observaciones.

como sigue:
(ܽ ܽ ֐ ҧ
(Eܽ ܽ ֐

-
‫׽‬.

-
cia, tales como
(ܽ ܽ ܾ
y
ҧ ܽ ҧ
ि ि
ि(ܽ
ܽ

87
DAVID HILBERT

ܽ ि

que A(ܽ ि
ि(ܽ
-

ܽ = ܽ;
(ܽ=ܽ ܽ ܾ

ܽ᦮
ܽ ܽ ܽ᦮ ܾ

Aquí a᦮
escribirse de la forma 0᦮, 0᦮᦮, 0᦮᦮᦮
En razón de los números de la segunda clase de números y de la
-

esquema de acuerdo con la teoría de Cantor.

introducen las nociones de las matemáticas y tienen el carácter de

del esquema general de la recursión. Antes de que discutamos la formu-

ۤäußeres Handeln‫ۥ‬ -

alcanzar si es que ha de convertirse en el instrumento básico de toda


investigaciónteorética.

Para las variables matemáticas, utilizamos las letras latinas minús-

las letras griegas minúsculas.


Para las ۤvariables atómicas‫ۥ‬ -
-

88
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

debemos sustituir sólo las fórmulas, esto es, los arreglos construidos a

‫ש‬

tales como
Z, N, =, <

sin embargo, cuando una variable matemática ocurre en una fórmula,


Esta convención tiene el efecto de que únicamente se consideran a
los sustitutos, que son números ordinarios o números de la segunda

-
ción.

únicamente transmitir información.


-
tivas ۤGrundvariablen‫ۥ‬ ۤVariablengattun-
gen‫ۥ‬.
-
-

89
DAVID HILBERT

-
tes de la función.
-
-

݂ ܽ ܽ ݂(ܽ

adicional es la fórmula
݃ ݂ ݂ ݃(݂
-

una-función.

variables como argumentos, y en su lado derecho tiene un arreglo en


el cual sólo estos argumentos ocurren como variables libres y no hay
-
troducidas.

Estos son los fundamentos generales de mi teoría. Para que usted

-
cursión.

ܽ‫ޖ‬

90
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

conocido.

saber: la función

ܽ ‫أ‬a.

uno con tres argumentos:


ܽ,ܾ,ܿ ܾ es igual a uno de los números 1. ܽ, 2. ܽ ܽ (ܾ

ܽ,ܾ,ܿ ܽ que son divisores


de ܾ y >ܿ,

-
-
raciones intuitivas de contenido. Las fórmulas que encontramos cuando
-
ción. La letras denotan numerales y una ecuación nos informa del hecho
de que dos signos denotan la misma cosa.
-

álgebra, son formalizadas a través de ellos. Donde teníamos numeral,


ahora tenemos fórmulas, los cuales en sí mismo son objetos concretos

derivación de una fórmula de otra de acuerdo con ciertas reglas toma

Así el álgebra va considerablemente más allá de la teoría material

ܽ=ܽ
ܽ es una genuina variable den la teoría de

91
DAVID HILBERT

Las fórmulas

una regla de sustitución.

las fórmulas que – justo como los numerales de la teoría material de

objetos ideales de la teoría.

-
temática ha seguido hasta ahora. Y entonces, es natural y consistente
-
cas sino con signos lógicos
‫ש‬

Precisamente como se hace con los numerales y las letras en el


álgebra y considerarlos, también, como signos que en sí mismos no sig-

de vista formal del álgebra a todas las matemáticas, debido que este es

la ecuación

92
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

donde ॔ -

॔ ॔

sin ellos.

-
-

ideales.

-
mentos ideales es únicamente legítima si no entra en contradicción con
-
teriores, cuando los objetos ideales son eliminados, son válidos en el
dominio anterior.

ि y A ࡄ. Ahora, como
se señaló antes, la fórmula lógica
ҧ

93
DAVID HILBERT

-
sición ि
(ि ҧ

िyAҧ -

dos números, ॔ y ॕ, que satisfagan la relación ॔²=2ॕ

demostración ۤ ‫ ۥ‬de hecho


-

de la aritmética.
-

método obviamente falla en el caso de a aritmética misma. Mediante la


-

-
-
-

94
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

mediante los números de la segunda clase de números, es el famoso

de la siguiente manera:
݂ ݂ ݂
݂ ݃ ݂ ݃ ݂ ݃ ݂,݃

݂ ܽ ܼ(ܽ ܼ(݂(ܽ
y
=(݂,݃ ܽ ܽ ݂(ܽ ݃(ܽ

que tienen dos variables numérico teóricas y que toman los valores 0 y

ۤ1922‫ۥ‬, aquí en Hamburgo ۤ1922‫ۥ‬, en


ۤ1922ܽ‫ۥ‬, y en Münster ۤ1925‫ۥ‬, mientras tanto se han hallado
-

-
mente entren en juego cuando los fundamentos de la aritmética están

95
DAVID HILBERT

-
tes. Lamentablemente, Poincaré, el matemático quien en su generación

generaciones jóvenes.

matemáticas.
La teoría de los fundamentos Russell y Whitehead es una investiga-
-

de cuya validez hay duda y las que, en cualquier caso, mi teoría no los
requiere.
-

de una contradicción y, entonces, de acuerdo con mi teoría, la reducción

de que la investigación sobre los fundamentos haya atraído vivamente

96
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

mundo de las ideas de Cantor.


-

los objetos matemáticos.


De la literatura de hoy en día sobre los fundamentos de las ma-

causa que las matemáticas degeneren en un juego.

-
dinarios formados con ݅ -

Sin embargo, aún cuando se vea como satisfactoria la consistencia

97
DAVID HILBERT

generales – digamos, del carácter del teorema de Fermat – que se lleva a

siguiente manera.
Asumamos que los numerales
ॣ, ॔, ॕ, ॖ (ॣ
satisfacen la ecuación de Fermat
॔ॣ ॕॣ = ॖॣ;

॔ॣ ॕॣ y ॖॣ co-
inciden. Por otro lado, de acuerdo con nuestra asunción tendríamos una

(Z(ܽ ܾ ܿ ‫݌‬ ‫݌‬ ܽ ܾ ܿ


de la cual se obtiene
॔ॣ ॕॣ ॖॣ
mediante una sustitución y una inferencia. Entonces tanto
॔ॣ ॕॣ = ॖॣ
como
॔ॣ ॕॣ ॖॣ

de las matemáticas de una manera uniforma y desarrollar de tal manera


-
-

98
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

-
-

-
-

-
ción individual a través de ellos y que muchas diferentes construcciones
son subsumidas bajo una sola idea fundamental, así que sólo lo que es

áreas en el desarrollo histórico de nuestra ciencia. No obstante, tales

-
ca. En razón a que esta juego de fórmula se lleva a cabo de acuerdo a

colocamos una detrás de otra. Si la totalidad de las observaciones y fe-


nómenos merecen ser objeto de una investigación seria y minuciosa,

la ciencia de liberarnos de la arbitrariedad, el sentimiento y el hábito y

-
nismo.

99
DAVID HILBERT

-
ción de nociones inadmisibles y sin sentido, las que están automática-

-
-

ser, que toda la comunidad de matemáticos haga lo mismo ahora que se

de Cantor se ha mantenido sin crítica. Por lo tanto, me gustaría hacer

݂
݂(ܽ

100
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

f(ܽ -
-
quiera en general.

otra que usa solamente la recursión ordinaria sobre una variable numé-
-

un argumento dado, tan igual como una función numérico-teórica

un valor numérico dado.

N0(ܽ ‫׽‬N(ܽ
ܽ ‫ܾ( ׽‬ ܾ ܽ(ܾ
-

101
DAVID HILBERT

Aquí hacemos las siguientes asunciones:

Cada vez que se da arreglos que siendo argumentos – a los que

sí mismos numerales o están construidos de numerales mediante los

(ি ܽ
ܽि(ܽ ি
ܽ

lados sean idénticos. Ahora, en lugar de la fórmula crítica, tenemos


A(७ ि

७ ७
ि.

ܽ ७ -
cionales, la fórmula crítica se introduce en la fórmula
(७ ि(७
La que ciertamente es verdadera.

ۤEinlagerung‫ۥ‬

102
LOS FUNDAMENTOS DE LAS MATEMÁTICAS

ܽ ॆ(ܾ
ॆ(ܾ ܽ
ۤ ‫ۥ‬,
ܽ ॆ(ܽ,ܾ

ܾ
ॆ(ܾ
ܽ ॄ(ܾ
y
ܽ ॆ(ܾ

de estas consideraciones.

ܽ ॆ(ܽ,ܾ
ॆ(ܽ,ܾ -

Es ahora a través de una manera que no es inmediatamente obvia,

en este caso. Nuevamente obtenemos en una forma elemental un límite

103
DAVID HILBERT

-
nario, su enfoque ha sido desarrollado tanto que sólo queda la tarea de

Me gustaría anotar, además, que P. Bernays ha sido nuevamente


mi leal colaborador. Y no solamente me ha asistido dándome consejos

vista, así que quisiera considerar que se trata de un trabajo en común, y

104

Potrebbero piacerti anche