Documente Academic
Documente Profesional
Documente Cultură
https://es.wikipedia.org/wiki/Fundamentos_
de_la_matem%C3%A1tica
Esta pgina o seccin est siendo traducida del idioma ingls a partir del
artculo Foundations_of_mathematics, razn por la cual puede haber lagunas de
contenidos, errores sintcticos o escritos sin traducir.
Puedes colaborar con Wikipedia continuando con la traduccin desde el artculo
original.
ndice
[ocultar]
o 2.1Formalismo
o 2.2Intuicionismo
o 2.3Logicismo
o 2.4Constructivismo
o 2.7Realismo rudimentario
4Evolucin histrica
5Vase tambin
6Notas
7Referencias
8Enlaces externos
Perspectivas filosficas[editar]
Artculo principal: Filosofa de la matemtica
La postura de los formalistas, tal como fue enunciada por David Hilbert (18621943), es que la
matemtica es slo un lenguaje formal y una serie de juegos. De hecho, Hilbert us el trmino
"juego de frmulas" en su respuesta de 1927 al criticismo de L. E. J. Brouwer:
"And to what has the formula game thus made possible
been successful? This formula game enables us to
express the entire thought-content of the science of
mathematics in a uniform manner and develop it in such a
way that, at the same time, the interconnections between
the individual propositions and facts become clear... The
formula game that Brouwer so deprecates has, besides its
mathematical value, an important general philosophical
significance. For this formula game is carried out
according to certain definite rules, in which the technique
of our thinking is expressed. These rules form a closed
system that can be discovered and definitively stated."1
Por tanto, Hilbert insisti que la matemtica no es un juego
"arbitrario" con reglas "arbitrarias", sino ms bien un juego
que debe coincidir con nuestro pensamiento, que son el punto
de partida de nuestra exposicin oral y escrita.1
"We are not speaking here of arbitrariness in any sense.
Mathematics is not like a game whose tasks are
determined by arbitrarily stipulated rules. Rather, it is a
conceptual system possessing internal necessity that can
only be so and by no means otherwise".2
La filosofa inicial del formalismo, tal como es
ejemplificada por David Hilbert, es una respuesta a las
paradojas de la teora axiomtica de conjuntos, que se
basa en la lgica formal. Prcticamente todos los
teoremas matemticos hoy en da se pueden formular
como teoremas de la teora de conjuntos. La verdad de
un enunciado matemtico, en esta teora est
representada por el hecho de que una declaracin se
puede derivar de los axiomas de la teora de conjuntos
utilizando las reglas de la lgica formal.
El uso del formalismo por s solo no explica varias
cuestiones: Por qu debemos utilizar estos axiomas y no
otros, por qu debemos emplear unas reglas lgicas y no
otras, por qu proposiciones matemticas "verdaderas"
(p. ej. las leyes de la aritmtica) parecen ser verdad? y
as sucesivamente. Hermann Weyl har estas mismas
preguntas a Hilbert:
"What "truth" or objectivity can be ascribed to this theoretic
construction of the world, which presses far beyond the
given, is a profound philosophical problem. It is closely
connected with the further question: what impels us to take
as a basis precisely the particular axiom system developed
by Hilbert? Consistency is indeed a necessary but not a
sufficient condition. For the time being we probably cannot
answer this question...."3
En algunos casos, estas preguntas pueden ser
contestadas satisfactoriamente a travs del estudio
de las teoras formales, en disciplinas como las
matemticas inversas y la teora de la complejidad
computacional. Como ha sealado por Weyl, los
sistemas lgicos formales tambin corren el riesgo de
inconsistencia; en la aritmtica deG. Peano, esto sin
duda ya se ha salvado con varias pruebas de
consistencia, pero hay debate sobre si son o no son
suficientemente finitistas para que tengan sentido. El
segundo teorema de incompletitud de
Gdel establece que los sistemas lgicos de la
aritmtica no pueden contener una prueba vlida de
su propia consistencia. Lo que Hilbert quera hacer
era probar que un sistema lgico fuese consistente,
basado en principios que fueran slo una pequea
parte de . Pero Gdel demostr que los principios ni
siquiera podran demostrar su propia coherencia, por
no hablar de la de !
Intuicionismo[editar]
Artculo principal: Intuicionismo
Resolucin
parcial de la
crisis[editar]
A partir de 1935 el grupo
Bourbaki de
matemticos franceses
empezaron a publicar
una serie de libros para
formalizar muchas reas
de matemticas basados
en los nuevos
fundamentos de la teora
de conjuntos.
Evolucin
histrica[editar]
Matemtica en la
Antigua
Grecia[editar]
Aunque que el uso
prctico de la
matemtica fue
desarrollada ya en
civilizaciones de la edad
de bronce, el inters
especfico por sus
aspectos fundacionales
y tericos parece
remontarse a
la matemtica helnica.
Los primeros filsofos
griegos discutieron
ampliamente sobre qu
rama de la matemtica
era ms antiuga, si la
aritmtica o la
geometra. Zenn de
Elea (490 a. C - ca. 430
a. C.) formul cuatro
aporas que aparentan
mostrar que el cambio
es imposible, que en
esencia no fueron
convenientemente
aclaradas hasta el
desarrollo de
matemtica moderna.
La escuela pitagrica de
matemtica insista
originalmente en que
solo existan los
nmeros naturales y
racionales. El
descubrimiento de
la irracionalidad de 2, la
proporcin de la
diagonal de un cuadrado
con su lado (data del
siglo V a.C), fue un
golpe filosfico a dicha
escuela que solo
aceptaron de mala gana.
La discrepancia entre
racionales y reales fue
finalmente resuelta
por Eudoxo de Cnido, un
estudiante de Platn,
quien redujo la
comparacin de las
proporciones de los
irracionales a
comparaciones a
comparaciones de
mltiples proporciones
racionales, adems de
anticipar la definicin de
nmero real de Richard
Dedekind.
En su obra Segundos
analticos, Aristteles (38
4 a.C - 322 a.C) asent
el mtodo axiomtico,
para organizar
lgicamente un campo
del conocimiento en
trminos de conceptos
primitivos, axiomas,
postulados, definiciones,
y teoremas, tomando
una mayora de sus
ejemplos de la aritmtica
y la geometra. This
method reached its high
point
with Euclid's Elements (3
00 BC), a monumental
treatise on geometry
structured with very high
standards of rigor: each
proposition is justified by
a demonstration in the
form of chains of
syllogisms (though they
do not always conform
strictly to Aristotelian
templates). Aristotle's
syllogistic logic, together
with the Axiomatic
Method exemplified by
Euclid's Elements, are
universally recognized
as towering scientific
achievements of ancient
Greece.
Anlisis sobre los
reales[editar]
Cauchy (1789 - 1857)
inici el proyecto de
demostrar los teoremas
de clculo
infinitesimal sobre una
base rigurosa,
rechazando el principio
de generalidad del
lgebra usado por
diversos matemticos
durante el siglo XVIII. En
su Cours
d'Analyse ('Curso de
anlisis) de 1821,
Cauchy defini las
cantidades
infinitesimales como
sucesiones decrecientes
que convergen a 0, que
pueden ser usadas para
definir la continuidad.
Aunque no formaliz
ninguna nocin de
convergencia.
La definicin moderna
del criterio (, ) y la
nocin de funcin
continua fueron
desarrollada por primera
vez por Bolzano en
1817, pero durante un
tiempo fue relativametne
poco conocida. Estas
nociones dan un
fundamente riguroso al
clculo infinitesimal
basado en el conjunto de
los nmeros reales, y
resuleven claramente
tanto las paradojas de
Zenn como los
argumentos de Berkeley.
Vase
tambin[editar]
Filosofa de las
matemticas
Teora de categoras
Teora de tipos
Teora de conjuntos
Lgica matemtica
Teora de la
demostracin
Teora de modelos
Epistemologa
Elementos de
Euclides
Principia
Mathematica
Pensamiento
matemtico en
Charles Peirce
Notas[editar]
1. Saltar
a:a b Hilbert
1927 The
Foundations of
Mathematics in
van Heijenoort
1967:475
2. Volver arriba p.
14 in Hilbert, D.
(191920), Natur
und
Mathematisches
Erkennen:
Vorlesungen,
gehalten 1919
1920 in Gttingen.
Nach der
Ausarbeitung von
Paul Bernays
(Edited and with
an English
introduction by
David E. Rowe),
Basel, Birkhauser
(1992).
3. Volver
arriba Weyl
1927 Comments
on Hilbert's
second lecture on
the foundations of
mathematics in
van Heijenoort
1967:484.
Although Weyl the
intuitionist
believed that
"Hilbert's view"
would ultimately
prevail, this would
come with a
significant loss to
philosophy: "I see
in this a decisive
defeat of the
philosophical
attitude of pure
phenomenology,
which thus proves
to be insufficient
for the
understanding of
creative science
even in the area of
cognition that is
most primal and
most readily open
to evidence
mathematics"
(ibid).
4. Volver
arriba Roger
Apry (1984).
Matemtica
constructiva. Pen
sar La Matemtica
Seminario de
Filosofa y
Matemtica de la
Ecole Normale
Supriure de
Pars. dirigido por
J. Diedonn, M.
Loi, y R. Thomm.
Barcelona:
ditions du
Seuil. ISBN 84722361
45.
5. Volver
arriba Richard
Feynman, The
Pleasure of
Finding Things
Out p. 23
6. Volver
arriba Richard
Feynman, Lecture
s on Physics,
volume I, chapter
2.
7. Volver
arriba Steven
Weinberg,
chapter Against
Philosophy in Dre
ams of a final
theory
Referencias[editar
]
Avigad,
Jeremy (2003) Num
ber theory and
elementary
arithmetic,
Philosophia
Mathematica Vol. 11,
pp. 257284
Eves,
Howard (1990), Fou
ndations and
Fundamental
Concepts of
Mathematics Third
Edition, Dover
Publications, INC,
Mineola NY, ISBN 0-
486-69609-X (pbk.)
cf 9.5 Philosophies
of Mathematics
pp. 266271. Eves
lists the three with
short descriptions
prefaced by a brief
introduction.
Goodman,
N.D. (1979),
"Mathematics as an
Objective Science",
in Tymoczko (ed.,
1986).
Hersh, R. (1979),
"Some Proposals for
Reviving the
Philosophy of
Mathematics", in
(Tymoczko 1986).
Hilbert, D. (1922),
"Neubegrndung der
Mathematik. Erste
Mitteilung", Hambur
ger Mathematische
Seminarabhandlung
en 1, 157177.
Translated, "The
New Grounding of
Mathematics. First
Report", in (Mancosu
1998).
Katz, Robert
(1964), Axiomatic
Analysis, D. C.
Heath and Company.
Kleene, Stephen C.
(1991)
[1952]. Introduction
to Meta-
Mathematics (Tenth
impression 1991
edicin). Amsterdam
NY: North-Holland
Pub. Co. ISBN 0-7204-
2103-9.
In Chapter III A Critique of Mathematic Reasoning, 11.
The paradoxes, Kleene
discusses Intuitionism and Formalism in depth.
Throughout the rest of the book he treats, and compares,
both Formalist (classical) and Intuitionist logics with an
emphasis on the former. Extraordinary writing by an
extraordinary mathematician.
Mancosu, P.
(ed.,
1998), From
Hilbert to
Brouwer. The
Debate on the
Foundations of
Mathematics in
the 1920s,
Oxford
University Press,
Oxford, UK.
Putnam,
Hilary (1967),
"Mathematics
Without
Foundations", Jo
urnal of
Philosophy 64/1,
522. Reprinted,
pp. 168184 in
W.D. Hart (ed.,
1996).
Putnam, Hilary
(1975), "What is
Mathematical
Truth?", in
Tymoczko (ed.,
1986).
Sudac, Olivier
(Apr 2001). The
prime number
theorem is PRA-
provable. Theo
retical Computer
Science 257 (1
2): 185-
239. doi:10.1016/S03
04-3975(00)00116-X.
Troelstra, A.
S. (no date but
later than 1990),
"A History of
Constructivism
in the 20th
Century", http://s
taff.science.uva.
nl/~anne/hhhist.
pdf, A detailed
survey for
specialists: 1
Introduction, 2
Finitism & 2.2
Actualism, 3
Predicativism
and Semi-
Intuitionism, 4
Brouwerian
Intuitionism, 5
Intuitionistic
Logic and
Arithmetic, 6
Intuitionistic
Analysis and
Stronger
Theories, 7
Constructive
Recursive
Mathematics, 8
Bishop's
Constructivism,
9 Concluding
Remarks.
Approximately
80 references.
Tymoczko,
T. (1986),
"Challenging
Foundations", in
Tymoczko (ed.,
1986).
Tymoczko,
T. (ed.,
1986), New
Directions in the
Philosophy of
Mathematics,
1986. Revised
edition, 1998.
van Dalen D.
(2008),
"Brouwer,
Luitzen Egbertus
Jan (1881
1966)", in
Biografisch
Woordenboek
van Nederland.
URL:http://www.i
nghist.nl/Onderz
oek/Projecten/B
WN/lemmata/bw
n2/brouwerle [13
-03-2008]
Weyl, H. (1921),
"ber die neue
Grundlagenkrise
der
Mathematik", Ma
thematische
Zeitschrift 10,
3979.
Translated, "On
the New
Foundational
Crisis of
Mathematics", in
(Mancosu 1998).
Wilder,
Raymond
L. (1952), Introd
uction to the
Foundations of
Mathematics,
John Wiley and
Sons, New York,
NY.
Enlaces
externos[editar]
Logic and
Mathematics
Foundations of
Mathematics:
past, present,
and future, May
31, 2000, 8
pages.
A Century of
Controversy
over the
Foundations of
Mathematics by
Gregory Chaitin.
Foundations of
Mathematics
mailing list
Categoras:
Lgica matemtica
Historia de la
matemtica
Filosofa de la
matemtica
Men de navegacin
No has iniciado sesin
Discusin
Contribuciones
Acceder
Artculo
Discusin
Leer
Editar
Ver historial
Buscar
Ir
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Pginas nuevas
Pgina aleatoria
Ayuda
Donaciones
Notificar un error
Imprimir/exportar
Crear un libro
Descargar como PDF
Versin para imprimir
Herramientas
Lo que enlaza aqu
Cambios en enlazadas
Subir archivo
Pginas especiales
Enlace permanente
Informacin de la pgina
Elemento de Wikidata
Citar esta pgina
En otros idiomas
Deutsch
English
Franais
Bahasa Indonesia
Portugus
17 ms
Editar enlaces
Esta pgina fue