Sunteți pe pagina 1din 20

Fundamentos de la matemtica

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.

Los Fundamentos de la matemtica es el estudio de conceptos matemticos bsicos


como nmeros, figuras geomtricas, conjuntos, funciones, etc. y cmo forman jerarquas de
estructuras y conceptos ms complejos, especialmente las estructuras fundamentalmente
importantes que forman el lenguaje de la matemtica: frmulas, teoras y sus modelos, dando
un significado a las frmulas, definiciones, pruebas, algoritmos, etc. tambin llamados
conceptos metamatemticos, con atencin a los aspectos filosficos y la unidad de la
matemtica. La bsqueda por los fundamentos de la matemtica es una pregunta central de
la filosofa de las matemticas; la naturaleza abstracta de los objetos matemticos presenta
desafos filosficos especiales.
Los fundamentos de la matemtica como un todo no apuntan a contener los fundamentos de
cada tpico matemtico. Generalmente, los fundamentos de un campo de estudio, se refieren
a un anlisis ms o menos sistemtico de sus conceptos ms bsicos, su unidad conceptual y
su ordenamiento natural o jerarqua de conceptos, los cuales podran ayudar a conectarlos
con el resto del conocimiento humano. El desarrollo, surgimiento y aclaracin de los
fundamentos puede aparecer tarde en la historia de un campo, y podra no ser visto por
algunos como su parte ms interesante.
Las matemticas siempre jugaron un rol especial en el pensamiento cientfico, sirviendo desde
tiempos antiguos como modelo de verdad y rigor para la inquisicin racional, dando
herramientas o incluso fundamentos para otras ciencias (especialmente la fsica). Pero la
matemtica ya haca abstracciones muy elevadas en el siglo XIX, que trajeron paradojas y
nuevos desafos, exigiendo un examen ms profundo y sistemtico de la naturaleza y del
criterio de la verdad matemtica, as como tambin una unificacin de las diversas ramas de
la matemtica en un todo coherente.
La bsqueda sistemtica de los fundamentos de la matemtica empez al fin del siglo XIX, y
form una disciplina matemtica nueva llamada lgica matemtica, con fuertes vnculos con la
ciencia de la computacin terica. Fue mediante una serie de crisis con resultados
paradjicos, que los descubrimientos se estabilizaron durante el siglo XX con un amplio y
coherente cuerpo de conocimiento matemtico con muchsimos aspectos o componentes
(teora de conjuntos, teora de modelos, teora de pruebas...), cuyas detalladas propiedades y
posibles variantes an estn en campo de investigacin. Su alto nivel de sofisticacin tcnica
inspir a muchos filsofos a conjeturar que podran servir como modelo para los fundamentos
de otras ciencias.

ndice
[ocultar]

1Crisis de los fundamentos


2Perspectivas filosficas

o 2.1Formalismo

o 2.2Intuicionismo

o 2.3Logicismo

o 2.4Constructivismo

o 2.5Platonismo de Teora de conjuntos

o 2.6Argumento de indispensabilidad para el realismo

o 2.7Realismo rudimentario

3Resolucin parcial de la crisis

4Evolucin histrica

o 4.1Matemtica en la Antigua Grecia

4.1.1Anlisis sobre los reales

5Vase tambin

6Notas

7Referencias

8Enlaces externos

Crisis de los fundamentos[editar]


La crisis fundacional de la matemtica (llamada originalmente en alemn: Grundlagenkrise der
Mathematik) fue un trmino acuado a principios del siglo XX para referirse a la situacin
terica que llev a una investigacin sistemtica y profunda de los fundamentos, que acab
inaugurando una nueva rama de la matemtica.
Numerosas escuelas filosficas matemticas incurrieron en dificultades una tras otra, a
medida que la asuncin de que los fundamentos de la matemtica podan ser justificados de
manera consistentes dentro de la propia matemtica fue puesta en duda por el descubrimiento
de varias paradojas (entre ellas la clebre paradoja de Russell).
El trmino "paradoja" no debe ser confundido con el trmino contradiccin.
Una contradiccin dentro de una teora formal es una demostracin formal de la existencia de
un absurdo como resultado de un conjunto de asunciones inapropiadas (tales como 2 + 2 = 5),
un conjunto de axiomas o teora que da lugar a una contradiccin se clasifica
de inconsistente y debe ser rechazada como teora til (ya que en ella cualquier proposicin
acabara siendo demostrable). Sin embargo, una paradoja puede referirse o bien a un
resultado contraintuitivo pero verdadero, o a un argumento informal que lleva a una
contradiccin, as que una teora candidata donde se atente la formalizacin de un argumento
debe inhabilitar al menos uno de sus pasos; en este caso el problema es encontrar una teora
satisfactoria sin contradicciones. Ambos significados pueden aplicar si la versin formalizada
del argumento forma la prueba de una verdad sorprendente. Por ejemplo, la paradoja de
Russell puede ser expresada como "no hay un conjunto que contenga a todos los conjuntos"
(exceptuando algunas teoras axiomticas marginales).
Algunas escuelas de pensamiento al buscar acercarse al enfoque correcto a los fundamentos
de la matemtica se oponan ferozmente entre si. La escuela liderante era la escuela de
enfoque formalista, de la cual, David Hilbert era el proponente principal, culminando con lo que
se conoce como Programa de Hilbert, quien pensaba en fundamentar la matemtica en una
pequea base de un sistema lgico sondeado en trminos del finitismo metamatemtico. El
oponente principal era la escuela del intuicionismo, liderada por L. E. J. Brouwer, quien
resueltamente descart el formalismo como un juego futil con smbolos (van Dalen, 2008). La
pelea fue acrimoniosa. En 1920 Hilbert triunf en sacar a Brouwer, a quien l consideraba una
amenaza a la matemtica, removindolo del tabln editorial del Mathematische Annalen, la
revista lder en matemticas en aquella poca.

Perspectivas filosficas[editar]
Artculo principal: Filosofa de la matemtica

Resumen de las tres filosofas matemticas principales:

Platonismo: platonistas, como Kurt Gdel (19061978),


sostienen que los nmeros son abstractos, objetos
necesariamente existentes, independientes de la mente
humana.

Formalismo matemtico: formalistas, como David Hilbert


(18621943), sostienen que la matemtica no es ni ms ni
menos que un lenguaje matemtico. Son simplemente una
serie de juegos.

Intuicionismo: intuicionistas, como L. E. J. Brouwer (1882


1966), sostienen que la matemtica es una creacin de la
mente humana. Los nmeros, como personajes de cuentos
de hadas, son simplemente entidades mentales, que no
existiran sin que nunca hubieran algunas mentes humanas
que pensaran en ellos.
A principios del siglo XX, tres escuelas de filosofa de la matemtica tenan visiones
contrapuestas sobre los fundamentos matemticos: el formalismo, el Intuicionismo y
el logicismo.
Formalismo[editar]
Artculo principal: Formalismo (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

Los intuicionistas, como Brouwer (1882-1966),


sostienen que la matemtica es una creacin de la
mente humana. Los nmeros, como los personajes
de los cuentos de hadas, no son ms que entidades
mentales, que no existira si las mentes humanas no
pensaran en ellos.
La filosofa fundamental del intuicionismo o
constructivismo, como se ejemplifica en extremo por
Brouwer y ms coherente de Stephen Kleene,
requiere pruebas para ser " constructivo" en
naturaleza - la existencia de un objeto debe ser
demostrada en lugar de deducirse de una
demostracin de la imposibilidad de su no-existencia.
Por ejemplo, como una consecuencia de esto la
prueba conocida como reduccin al absurdo se vera
con sospecho.
Algunas teoras modernas de la filosofa de las
matemticas niegan la existencia de fundamentos en
el sentido original. Algunas teoras tienden a
centrarse en la prctica de las matemticas, y tienen
como objetivo describir y analizar el funcionamiento
real de los matemticos como grupo social. Otras
tratan de crear una ciencia cognitiva de las
matemticas, se centran en la cognicin humana
como el origen de la fiabilidad de las matemticas
cuando se aplica al mundo real. Estas teoras
propondran encontrar fundamentos slo en el
pensamiento humano, y no en cualquier construccin
externa objetiva. La cuestin sigue siendo
controvertida
Logicismo[editar]
Artculo principal: Logicismo

El logicismo es una de la escuelas de pensamiento


de filosofa de la matemtica, que considera que la
matemtica es bsicamente una extensin de la
lgica y por tanto una buena parte de la misma o toda
la matemtica es reducible a la lgica. Bertrand
Russell y Alfred North Whitehead fueron partidarios
de esta lnea de pensamiento inaugurada por Gottlob
Frege.
Constructivismo[editar]
Es una variante del empirismo, uno de sus
defensores es Roger Apry.4

Critican el formalismo llevado hasta el extremo


por el grupo de matemticos llamado Nicolas
Bourbaki.

Admiten la sucesin de los nmeros naturales,


ms no el conjunto de los naturales,

Cuestionan la lgica en que se fundamenta la


matemtica de Bourbaki.

Proclaman la tercera opcin respecto del principio


del tercio excluido, a ms de p y ~p, cabe otra
salida.
Platonismo de Teora de conjuntos[editar]
La filosofa fundamental del realismo matemtico
platnico, ejemplificado por el matemtico Kurt Gdel,
propone la existencia del mundo de los objetos
matemticos independiente de los seres humanos;
las verdades de estos objetos son descubiertos por
seres humanos. Con este punto de vista, las leyes de
la naturaleza y las leyes de la matemtica tienen una
posicin similar, y la efectividad deja de ser
irrazonable. No nuestros axiomas, pero el verdadero
mundo de los objetos matemticos constituye el
fundamento. La pregunta obvia entonces es, cmo
entramos en ese mundo?
Varios matemticos tericos en conjuntos siguieron
este enfoque y activamente buscaron posibles
axiomas que se pueden considerar como verdaderos
por razones heursticas y que decidieran la hiptesis
del continuo. Se estudiaron muchos grandes
axiomas cardinales, pero la hiptesis del continuo
permaneci independiente. Se consideraron otros
tipos de axiomas, pero ninguno de ellos hasta ahora
ha logrado consenso como solucin para el problema
continuo.
Argumento de indispensabilidad para el
realismo[editar]
Este argumento de Willard Quine y Hilary Putnam
dice (en resumen de Putnam),
La cuantificacin sobre las entidades
matemticas es indispensable para la ciencia [...]; Por
lo tanto, debemos aceptarla; pero esto nos
compromete a aceptar la existencia dichas entidades
matemticas en cuestin.
Sin embargo Putnam no era un platnico.
Realismo rudimentario[editar]
Pocos matemticos suelen estar preocupados en su
trabajo diario sobre el logicismo, el formalismo o
cualquier otra posicin filosfica. En cambio, su
principal preocupacin es que la empresa matemtica
en su conjunto siga siendo siempre productiva. Por lo
general, esto se asegura al permanecer con una
mente abierta, prctica y ocupada; potencialmente
amenazada con volverse excesivamente ideolgica,
fanticamente reduccionista o perezosa. Este punto
de vista fue expresado por el Premio Nobel de
Fsica Richard Feynman
People say to me, Are you looking for the ultimate laws of
physics? No, Im not If it turns out there is a simple
ultimate law which explains everything, so be it that
would be very nice to discover. If it turns out its like an
onion with millions of layers then thats the way it is. But
either way theres Nature and shes going to come out the
way She is. So therefore when we go to investigate we
shouldnt predecide what it is were looking for only to find
out more about it. Now you ask: Why do you try to find
out more about it? If you began your investigation to get
an answer to some deep philosophical question, you may
be wrong. It may be that you cant get an answer to that
particular question just by finding out more about the
character of Nature. But thats not my interest in science;
my interest in science is to simply find out about the world
and the more I find out the better it is, I like to find out5
Philosophers, incidentally, say a great deal about what is
absolutely necessary for science, and it is always, so far
as one can see, rather naive, and probably wrong6
y tambin por Steven Weinberg7
The insights of philosophers have occasionally benefited
physicists, but generally in a negative fashionby
protecting them from the preconceptions of other
philosophers.(...) without some guidance from our
preconceptions one could do nothing at all. It is just that
philosophical principles have not generally provided us
with the right preconceptions.
Physicists do of course carry around with them a working
philosophy. For most of us, it is a rough-and-ready
realism, a belief in the objective reality of the ingredients of
our scientific theories. But this has been learned through
the experience of scientific research and rarely from the
teachings of philosophers. (...) we should not expect [the
philosophy of science] to provide today's scientists with
any useful guidance about how to go about their work or
about what they are likely to find. (...)
After a few years' infatuation with philosophy as an
undergraduate I became disenchanted. The insights of the
philosophers I studied seemed murky and inconsequential
compared with the dazzling successes of physics and
mathematics. From time to time since then I have tried to
read current work on the philosophy of science. Some of it
I found to be written in a jargon so impenetrable that I can
only think that it aimed at impressing those who confound
obscurity with profundity. (...) But only rarely did it seem to
me to have anything to do with the work of science as I
knew it. (...)
I am not alone in this; I know of no one who has
participated actively in the advance of physics in the
postwar period whose research has been significantly
helped by the work of philosophers. I raised in the
previous chapter the problem of what Wigner calls the
"unreasonable effectiveness" of mathematics; here I want
to take up another equally puzzling phenomenon, the
unreasonable ineffectiveness of philosophy.
Even where philosophical doctrines have in the past been
useful to scientists, they have generally lingered on too
long, becoming of more harm than ever they were of use.
l crea que cualquier
indecidibilidad en
matemticas, como
la hiptesis del continuo,
podra potencialmente
ser resuelta a pesar
del teorema de
incompletitud, mediante
la bsqueda de nuevos
axiomas adecuados para
aadir a la teora de
conjuntos.

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).

Hart, W.D. (ed.,


1996), The
Philosophy of
Mathematics, Oxford
University Press,
Oxford, UK.

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.

Laptev, B.L. &


B.A. Rozenfel'd
(1996) Mathema
tics of the 19th
Century:
Geometry, page
40, Birkhuser I
SBN 3-7643-
5048-2.

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.

Set theory and


foundations of
mathematics

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

Crear una cuenta

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

modificada por ltima vez


el 9 dic 2016 a las 17:22.

S-ar putea să vă placă și