Filosofa de las matemticas

De Wikipedia, la enciclopedia libre

Este artculo necesita las citaciones adicionales para la verificacin . Por favor, ayudar a
mejorar este artculo por aadiendo citas de fuentes confiables . Material de referencias puede
ser impugnado y eliminado . (diciembre de 2010)
La filosofa de las matemticas es la rama de la filosofa que estudia los supuestos filosficos,
fundaciones, y las implicaciones de las matemticas . El objetivo de la filosofa de las matemticas es
proporcionar una descripcin de la naturaleza y la metodologa de las matemticas y de comprender el
lugar de las matemticas en la vida de las personas. El carcter lgico y estructural de la matemtica se
hace este estudio amplio y nico entre sus colegas filosficos.
Los trminos filosofa de las matemticas y la filosofa matemtica se utilizan frecuentemente como
sinnimos. [ 1 ] El ltimo, sin embargo, puede ser utilizado para referirse a varias otras reas de
estudio. Uno se refiere a un proyecto de formalizar un tema filosfico, digamos, esttica , tica ,
lgica, metafsica o la teologa , en una forma supuestamente ms exacto y riguroso, como por ejemplo
los trabajos de Scholastic telogos, o los objetivos sistemticos de Leibniz y Spinoza . Otro se refiere a
la filosofa de trabajo de un profesional individual o una comunidad de ideas afines de la prctica de los
matemticos . Adems, algunos entienden el trmino "filosofa matemtica" como una alusin al
enfoque adoptado por Bertrand Russell en sus libros Los principios de las matemticas y la Introduccin
a la filosofa matemtica .
Contenido
[ ocultar ]

1 Los temas recurrentes

2 Historia
2,1 siglo 20

3 escuelas contemporneas de pensamiento

3,1 realismo matemtico

3.1.1 platonismo

3.1.2 El empirismo

3.1.3 monismo Matemtica

3,2 logicismo

3.3 Formalismo
3.3.1 El convencionalismo

3,4 psicologismo

3,5 intuicionismo

3.5.1 Constructivismo

3.5.2 finitismo

3.6 El estructuralismo

3,7 Embodied teoras de la mente

3.7.1 empirismo Nuevo

3.7.2 realismo aristotlico

3,8 ficcionalismo

3.9 El constructivismo social o realismo social

3.10 Ms all de las escuelas tradicionales

3.10.1 cuasi-empirismo

3.10.2 Popper "dos sentidos" teora

3.10.3 Unificacin

3.10.4 Idioma
4 Argumentos

4.1 Necesidad argumento del realismo

4,2 argumento en contra del realismo epistmico

o
5 Esttica

6 Vase tambin

6.1 Trabajos relacionados

6,2 tpicos histricos

7 Notas
8 lecturas
9 Enlaces externos
9.1 Revistas

[ editar ]Los

temas recurrentes

Los temas recurrentes son:

Cules son las fuentes de la materia objeto matemtico?

Cul es la ontolgica condicin de entidades matemticas?

Qu significa para referirse a un objeto matemtico ?

Cul es el carcter de una proposicin matemtica ?

Cul es la relacin entre la lgica y las matemticas?

Cul es el papel de la hermenutica en las matemticas?

Qu tipo de investigacin desempean un papel importante en las matemticas?

Cules son los objetivos de la investigacin matemtica?

Lo que da a las matemticas su control sobre la experiencia ?

Cules son los rasgos humanos detrs de las matemticas?

Qu es la belleza matemtica ?

Cul es el origen y la naturaleza de la verdad matemtica?

Cul es la relacin entre el mundo abstracto de las matemticas y el universo material?

[ editar ]Historia
El origen de las matemticas est sujeto a discusin. Si el nacimiento de las matemticas fue un suceso
aleatorio o inducida por necesidad debidamente contingente de otros temas, digamos por ejemplo, la
fsica, es todava un tema de debate prolficos.
Muchos pensadores han contribuido con sus ideas sobre la naturaleza de las matemticas. Hoy en da,
algunos [ quin? ] filsofos de las matemticas como objetivo dar cuentas de esta forma de investigacin y
sus productos, se destacan, mientras que otros hacen hincapi en el papel de s mismos que va ms
all de la simple interpretacin para el anlisis crtico. Hay tradiciones de la filosofa matemtica, tanto
en la filosofa occidental y la filosofa oriental . Filosofas occidentales de las matemticas va tan lejos
como Platn , que estudi la condicin ontolgica de los objetos matemticos, y Aristteles , quien
estudi lgica y cuestiones relacionadas con el infinito (real frente a potenciales).
Griego filosofa de las matemticas fue fuertemente influenciado por su estudio de la geometra . Por
ejemplo, en un tiempo, los griegos mantuvo la opinin de que 1 (uno) no era un nmero , sino ms bien
una unidad de longitud arbitraria. Un nmero se define como una multitud. Por lo tanto 3, por ejemplo,
representa una multitud determinado de unidades, y por lo tanto no era "realmente" un nmero. En otro
momento, un argumento similar se hizo que 2 no es un nmero sino una nocin fundamental de un
par. Estas opiniones vienen del punto de vista de regla y comps fuertemente geomtrico de los griegos:
al igual que las lneas dibujadas en un problema geomtrico se miden en proporcin a la primera lnea
arbitraria dibujada, tambin lo son los nmeros en una recta numrica se mide en proporcin a la
arbitrariedad primer "nmero" o "uno".

[ cita requerida ]

Estas ideas griegos anteriores de nmeros se volc ms tarde por el descubrimiento de

la irracionalidad de la raz cuadrada de dos. Hipaso , discpulo de Pitgoras , demostr que la diagonal
de un cuadrado unidad era inconmensurable con su (unidad de longitud) Borde: en otras palabras que l
no haba probado existente (racional) nmero que describe con precisin la proporcin de la diagonal
del cuadrado de la unidad a su borde. Esto provoc una importante reevaluacin de la filosofa griega de
las matemticas. Segn la leyenda, los pitagricos compaeros estaban tan traumatizados por este
descubrimiento que asesinaron a Hipaso para que dejara de difundir su idea hertica. Simon Stevin fue
uno de los primeros de Europa para desafiar las ideas griegas en el siglo 16. A partir de Leibniz , la

atencin se centr en gran medida a la relacin entre las matemticas y la lgica. Este punto de vista
dominaron la filosofa de las matemticas a travs del tiempo de Frege y Russell , pero fue puesta en
duda por los acontecimientos de finales del siglo 19 y 20.

[ editar ]siglo

20

Un problema perenne de la filosofa de las matemticas se refiere a la relacin entre la lgica y las
matemticas en sus bases conjuntas. Mientras que los filsofos del siglo 20 seguido para hacer las
preguntas mencionadas al principio de este artculo, la filosofa de las matemticas en el siglo 20 se
caracteriz por un inters predominante en la lgica formal , la teora de conjuntos , y las cuestiones
fundamentales.
Es un enigma profundo que por un lado las verdades matemticas parecen tener una inevitabilidad
convincente, pero por otra parte la fuente de su "veracidad" sigue siendo difcil de alcanzar. Las
investigaciones sobre este tema son conocidos como los fundamentos de la matemtica programa.
A principios del siglo 20, los filsofos de las matemticas ya empezaban a dividirse en varias escuelas
de pensamiento sobre todas estas cuestiones, en general se distinguen por sus cuadros de
matemtica epistemologa y ontologa . Tres escuelas, el formalismo , el intuicionismo y el logicismo ,
surgieron en esta poca, en parte como respuesta a la preocupacin cada vez ms extendida de que las
matemticas tal como estaba, y el anlisis en particular, no estuvo a la altura de los estndares
de seguridad y rigor que se haban adoptado para concedida. Cada escuela se abordaron las cuestiones
que salieron a la palestra en ese momento, ya sea tratando de resolverlos, o de solicitar que las
matemticas no tiene derecho a su condicin de nuestros conocimientos de confianza.
Desarrollos sorprendentes y contra-intuitiva de la lgica formal y la teora de conjuntos a principios del
siglo 20 dio lugar a nuevas preguntas sobre lo que se llam tradicionalmente losfundamentos de las
matemticas . A medida que el siglo se desarroll, el foco inicial de preocupacin se expandi a una
exploracin abierta de los axiomas fundamentales de las matemticas, el enfoque axiomtico de haber
dado por sentado desde los tiempos de Euclides alrededor del 300 antes de Cristo como la base natural
para las matemticas. Las nociones de axioma ,proposicin y prueba , as como la nocin de una
proposicin es verdadera de un objeto matemtico (vase Asignacin (lgica matemtica) ), se han
formalizado, lo que les permite ser tratadas matemticamente. Los Zermelo-Fraenkel axiomas de la
teora de conjuntos se formularon que proporcion un marco conceptual en el que se interpreta el
discurso matemtico mucho. En matemticas como en fsica, ideas nuevas e inesperadas haba surgido
y los cambios significativos que venan. Con numeracin de Gdel , las proposiciones podra
interpretarse como una referencia a s mismos oa otras proposiciones, lo que permite investigacin
sobre la consistencia de las teoras matemticas. Esta crtica se refleja en que la teora de anlisis "se

convierte en el objeto de un estudio matemtico", dirigido Hilbert para llamar a estos

estudios metamatemtica o teora de la prueba . [ 2 ]
A mediados de siglo, una nueva teora matemtica fue creada por Samuel Eilenberg y Saunders Mac
Lane , conocida como teora de la categora , y se convirti en un nuevo contendiente para el lenguaje
natural del pensamiento matemtico. [ 3 ] A medida que el siglo 20 avanzaba, sin embargo , las opiniones
filosficas divergentes en cuanto a lo bien fundado eran las preguntas acerca de las fundaciones que se
plantearon en su apertura. Hilary Putnam resume una visin comn de la situacin en el ltimo tercio del
siglo, diciendo:
Cuando la filosofa descubre algo mal con la ciencia, a veces la ciencia tiene que ser cambiado - la
paradoja de Russell viene a la mente, al igual que Berkeley ataque 's en el actualinfinitesimal - pero ms
a menudo es la filosofa que tiene que ser cambiado. No creo que las dificultades que encuentra la
filosofa de la matemtica clsica hoy en da son verdaderas dificultades, y creo que las interpretaciones
filosficas de las matemticas que se ofrecen en todas las manos estn equivocados, y que "la
interpretacin filosfica" es justo lo que las matemticas doesn ' t necesidad.

[ 4 ] :169-170

Filosofa de las matemticas hoy en da procede a lo largo de varias lneas de investigacin, por los
filsofos de las matemticas, lgicos y matemticos, y hay muchas escuelas de pensamiento sobre el
tema. Las escuelas se abordan por separado en la seccin siguiente, y explic sus suposiciones.

[ edit ]escuelas
[ edit ]realismo

contemporneas de pensamiento

matemtico
Esta seccin necesita referencias adicionales para su verificacin . Por favor, ayudar a
mejorar este artculo por aadiendo citas de fuentes confiables . Material de referencias puede
ser impugnado y eliminado . (febrero de 2007)

Realismo matemtico , como el realismo en general, sostiene que las entidades matemticas existen
independientemente de lo humano mente . As, los seres humanos no inventamos las matemticas, sino
que se descubre, y otros seres inteligentes en el universo probablemente hara lo mismo. En este punto
de vista, no hay realmente una clase de matemticas que se pueden descubrir: Tringulos , por ejemplo,
son entidades reales, no las creaciones de la mente humana.
Muchos matemticos de trabajo han sido realistas matemticos; ven a s mismos como descubridores
de los objetos naturales. Los ejemplos incluyen Paul Erds y Kurt Gdel . Gdel crea en una realidad
matemtica objetiva que pueda ser percibido de una manera anloga a la percepcin sensorial. Algunos
principios (por ejemplo, para cualquier par de objetos, hay una coleccin de objetos que consisten
precisamente en los dos objetos) podran verse directamente para ser verdad, pero la hiptesis del
continuo conjetura podra ser indecidible slo sobre la base de tales principios. Gdel sugiri que cuasi-

emprico metodologa podra ser utilizada para proporcionar evidencia suficiente para poder asumir
razonablemente tal conjetura.
Dentro de realismo, hay diferencias dependiendo de qu clase de existencia se tiene entidades
matemticas a tener, y cmo sabemos acerca de ellos.

[ edit ]platonismo
Matemtica platonismo es la forma de realismo que sugiere que las entidades matemticas son
abstractas, no tienen propiedades espacio-temporales o causales y son eternas e inmutables.Esto a
menudo se afirma que la opinin de la mayora de la gente tiene de los nmeros. El
trmino platonismo se utiliza debido a tal punto de vista se ve en paralelo Platn 's Teora de las
Formas y un "Mundo de las Ideas" (griego: Eidos ()) se describe en Platn Alegora de la caverna :
el mundo cotidiano slo puede imperfectamente aproximar una realidad inmutable, definitivo. Tanto
la cueva de Platn y el platonismo tienen significativas, no slo a conexiones superficiales, porque las
ideas de Platn fueron precedidas y probablemente influenciado por la popular pitagricos de la Grecia
antigua, que crea que el mundo era, literalmente, generado por nmeros .
El principal problema de platonismo matemtico es la siguiente: con precisin dnde y cmo las
entidades matemticas existen, y cmo sabemos de ellos? Existe un mundo, completamente separada
de nuestro ser fsico, que es ocupado por los entes matemticos? Cmo se puede acceder a este
mundo aparte y descubrir verdades acerca de las entidades? Una respuesta podra ser ltimo conjunto ,
que es una teora que postula todas las estructuras que existen matemticamente tambin existen
fsicamente en su propio universo.
Platn habl de las matemticas a travs de:
Qu quieres decir?
Quiero decir, como iba diciendo, que la aritmtica tiene un efecto muy grande y elevada, obligando al
alma a la razn sobre el nmero abstracto, y rebelarse contra la introduccin de objetos visibles o
tangibles en la discusin. Ya sabes cmo constantemente los maestros del arte rechazar y ridiculizar a
cualquiera que intente dividir la unidad absoluta cuando se est calculando, y si se divide, se multiplican,
teniendo cuidado de que uno debe seguir una y no perderse en fracciones.
Eso es muy cierto.
Ahora, supongamos que una persona fuera a decirles: Oh mis amigos, qu son estos nmeros
maravillosos sobre los que es el razonamiento, en la que, como usted dice, hay una unidad tal como lo
demanda, y cada unidad es igual, invariable, indivisible, - qu iban a responder?
-Platn, el Captulo 7. "La Repblica" (traduccin Jowell).

En este contexto, el captulo 8, HDP traduccin Lee, informa la educacin de un filsofo que contiene
cinco disciplinas matemticas:
1. aritmtica, escrita en fraccin unitaria 'partes' usando unidades tericas y nmeros abstractos.
2. geometra plana y de la geometra slida tambin se considera la lnea para ser segmentados en
racionales e irracionales unidad "partes",
3. astronoma
4. armona
Los traductores de las obras de Platn se rebelaron en contra de las versiones prcticas de las
matemticas prcticas de su cultura. Sin embargo, el propio Platn y los griegos haban copiado 1.500
unidades mayores fracciones egipcias abstractas, siendo uno de ellos una unidad hekat a escala en
(64/64) en la tablilla de madera Akhmim , con lo que no se pierda en las fracciones.
Platonismo de Gdel postula un tipo especial de intuicin matemtica que nos permite percibir los
objetos matemticos directamente. (Este punto de vista lleva semejanzas a muchas cosasHusserl dice
acerca de las matemticas, y apoya Kant idea 's que la matemtica es sinttica a
priori .) Davis y Hersh han sugerido en su libro La experiencia matemtica que la mayora de los
matemticos actuar como si fueran platnicos, a pesar de que , si se presiona para defender la posicin
con cuidado, pueden retirarse a formalismo (ver ms abajo).
Algunos [ quin? ] matemticos causa de sus opiniones que ascienden a ms matizadas versiones del
platonismo.
Lleno de sangre platonismo es una variacin moderna del platonismo, que es una reaccin al hecho
de que diferentes conjuntos de entidades matemticas se puede demostrar que existen en funcin de
los axiomas y reglas de inferencia empleadas (por ejemplo, la ley del tercero excluido , y el axioma de
eleccin ). Sostiene que todas las entidades matemticas existen, sin embargo, puede ser demostrable,
aunque no todos se pueden derivar de un nico conjunto consistente de axiomas.

[ editar ]El empirismo

El empirismo es una forma de realismo que niega que la matemtica puede ser conocido a priori en
absoluto. Dice que descubrimos hechos matemticos de la investigacin emprica , al igual que los
hechos en cualquiera de las otras ciencias. No es uno de los clsicos tres posiciones defendidas en el
siglo 20, pero principalmente surgi en la mitad del siglo. Sin embargo, un importante defensor temprano
de una vista como esta fue John Stuart Mill . Vista de Mill fue muy criticada, porque hace afirmaciones
como "2 + 2 = 4" salen como verdades inciertas, contingente, que slo podemos aprender mediante la
observacin de los casos de dos parejas que se unen y forman un cuarteto.

Contemporneo empirismo matemtico, formulado por Quine y Putnam , est respaldada principalmente
por el argumento de indispensabilidad : las matemticas son indispensables para todas las ciencias
empricas, y si queremos creer en la realidad de los fenmenos descritos por las ciencias, tambin
nosotros debemos creer en la realidad de las entidades requeridas para esta descripcin. Es decir,
desde la fsica tiene que hablar de electrones que decir por qu bombillas de luz se comportan como lo
hacen, entonces los electrones debe existir . Dado que la fsica tiene que hablar de nmeros en la oferta
de cualquiera de sus explicaciones, a continuacin, los nmeros deben existir. De acuerdo con la
filosofa general de Quine y Putnam, este es un argumento naturalista. Se argumenta a favor de la
existencia de entidades matemticas como la mejor explicacin de la experiencia, por lo tanto pelar las
matemticas de ser distinta de las otras ciencias.
Putnam fuertemente rechazado el trmino " platnico "en el sentido de una ms
especfica ontologa que no era necesario para la prctica matemtica en un sentido real. Abog por una
especie de "realismo puro" que rechaza las nociones msticas de la verdad y aceptado mucho cuasiempirismo en matemticas . Putnam ha participado en acuar el trmino "realismo puro" (ver ms
abajo).
La crtica ms importante de puntos de vista empricos de las matemticas es aproximadamente el
mismo que el producido contra Mill. Si las matemticas son tan emprico como las otras ciencias, esto
sugiere que sus resultados son tan falibles como la de ellos, y slo como contingente. En el caso de Mill
la justificacin emprica viene directamente, mientras que en el caso de Quine se trata indirectamente, a
travs de la coherencia de nuestra teora cientfica en su conjunto, es decir, consiliencia despus de EO
Wilson . Quine sugiere que la matemtica parece completamente cierto porque el papel que desempea
en nuestra web de la creencia es increblemente central, y que sera muy difcil para nosotros para
revisar, aunque no imposible.
Para una filosofa de la matemtica que intenta superar algunas de las deficiencias de los enfoques de
Quine y de Gdel, tomando aspectos de cada vase Penlope Maddy 's Realismo en
Matemticas . Otro ejemplo de una teora realista es la teora mente encarnada (abajo). Para una
revisin moderna del empirismo matemtico ver empirismo Nuevo (abajo).
Para la evidencia experimental que sugiere que un da de edad, los bebs pueden hacer aritmtica
elemental, ver Brian Butterworth .

[ edit ]monismo Matemtica

Max Tegmark 's hiptesis del universo matemtico va ms all de pura sangre platonismo en la
afirmacin de que no slo los objetos matemticos existen, pero no hace nada ms. Tegmark nico
postulado es: Todas las estructuras que existen matemticamente existen tambin fsicamente . Es
decir, en el sentido de que "en los [mundos] lo suficientemente complejo como para contener

autoconscientes subestructuras [ellos] subjetivamente se perciben a s mismos como fsicamente

existente en un mundo 'real'". [ 5 ] [ 6 ]

[ edit ]logicismo
Logicismo es la tesis de que la matemtica es reducible a la lgica, y por lo tanto ms que una parte de
la lgica. [ 7 ] : 41 logicistas sostener que la matemtica puede ser conocido a priori , sino que sugieren que
nuestro conocimiento de las matemticas son slo una parte de nuestro conocimiento de la lgica en
general, y es por lo tanto analtico , que no requiere ninguna facultad especial de intuicin
matemtica. En esta visin, la lgica es la base adecuada de las matemticas, y todos los enunciados
matemticos son necesarias las verdades lgicas .
Rudolf Carnap (1931) presenta la tesis logicista en dos partes:

[7]

1. Los conceptos de las matemticas se pueden derivar de conceptos lgicos mediante

definiciones explcitas.
2. Los teoremas de las matemticas se pueden derivar de los axiomas lgicos a travs de
deduccin puramente lgica.
Gottlob Frege fue el fundador del logicismo. En su seminal Die Grundgesetze der Arithmetik ( leyes
bsicas de la aritmtica ) que construy aritmtica de un sistema de lgica con un principio general de la
comprensin, que l llam "Ley Bsica V" (para los conceptos de F y G , la extensin de F es igual a la
extensin de G si y slo si, para todos los objetos de una , Fa si y slo siGa ), un principio que se tom
para ser aceptable como parte de la lgica.
Construccin de Frege era defectuoso. Russell descubri que V Ley Fundamental es inconsistente (esta
es la paradoja de Russell ). Frege abandon su programa logicista pronto despus de esto, pero fue
seguido por Russell y Whitehead . Ellos atribuyeron la paradoja de "circularidad viciosa" y construy lo
que llamaron teora ramificada de tipo para tratar con l. En este sistema, fueron finalmente capaces de
construir gran parte de las matemticas modernas, pero en una forma modificada, y excesivamente
complejos (por ejemplo, hubo diferentes nmeros naturales de cada tipo, y haba un nmero infinito de
tipos). Tambin tuvieron que hacer varios compromisos para el desarrollo de gran parte de las
matemticas, como un " axioma de reducibilidad ". Incluso Russell dijo que este axioma no pertenecen
realmente a la lgica.
Logicistas modernos (como Bob Hale , Crispin Wright , y tal vez otros) han vuelto a un programa ms
cercano a Frege. Ellos han abandonado V Ley fundamental en favor de los principios de abstraccin
como principio de Hume (el nmero de objetos que caen bajo el concepto F es igual al nmero de
objetos que caen bajo el concepto G si y slo si la extensin de F y la extensin de G puede ser puesto

en uno-a-uno ). Frege requiere V Ley Fundamental para poder dar una definicin explcita de los
nmeros, pero todas las propiedades de los nmeros se pueden derivar del principio de Hume. Esto no
habra sido suficiente para que Frege ya que (parafraseando a l) no excluye la posibilidad de que el
nmero 3 es de hecho Julio Csar. Adems, muchos de los principios debilitados que se han tenido que
adoptar para sustituir a la Ley Bsica V ya no parecen tan obviamente analtico, lgico y por lo tanto
puramente.
Si las matemticas son una parte de la lgica, entonces preguntas acerca de los objetos matemticos
reducir a las preguntas acerca de los objetos lgicos. Pero, qu se podra preguntar, son los objetos de
conceptos lgicos? En este sentido, el logicismo se puede ver como cambiar las preguntas sobre la
filosofa de las matemticas a las preguntas sobre la lgica sin responder plenamente.

[ editar ]Formalismo
Artculo principal: Formalismo (matemticas)
Formalismo sostiene que los enunciados matemticos pueden considerarse como declaraciones sobre
las consecuencias de ciertas reglas de manipulacin de cadenas. Por ejemplo, en el "juego" de
la geometra euclidiana (que es visto como un conjunto de unas cuerdas llamadas "axiomas" y algunas
"reglas de inferencia" para generar nuevas cadenas de los dados), se puede demostrar que el teorema
de Pitgoras sostiene ( es decir, puede generar la cadena correspondiente al teorema de Pitgoras). De
acuerdo con el formalismo, las verdades matemticas no son acerca de nmeros y conjuntos y
tringulos y similares - de hecho, no son "sobre" nada en absoluto.
Otra versin de formalismo es a menudo conocido como el deductivismo . En el deductivismo, el
teorema de Pitgoras no es una verdad absoluta, sino relativa: si le asignamos significado a las cuerdas,
de tal manera que las reglas del juego se hacen realidad (es decir, las declaraciones verdaderas son
asignados a los axiomas y las reglas de inferencia son la verdad de preservacin),entonces usted tiene
que aceptar el teorema, o mejor dicho, la interpretacin que ha dado debe ser una declaracin
verdadera. El mismo se lleva a cabo para ser verdad para todos los dems enunciados
matemticos. Por lo tanto, el formalismo no es necesario decir que la matemtica no es ms que un
juego simblico significado. Por lo general se espera que exista una interpretacin en la que las reglas
del juego sostener. (Comprese esta situacin con el estructuralismo .), pero s permite el matemtico
trabajando para continuar en su trabajo y dejar este tipo de problemas para el filsofo o el
cientfico. Formalistas Muchos diran que en la prctica, los sistemas axiomticos que se estudiarn
sern sugeridos por las exigencias de la ciencia u otras reas de las matemticas.

David Hilbert

A comienzos de los principales defensores del formalismo fue David Hilbert , cuyo programa fue
pensado para ser una completa y consistente de todos axiomatizacin de las matemticas. Hilbert el
propsito de mostrar la consistencia de sistemas matemticos a partir de la suposicin de que la
"aritmtica finitista" (un subsistema de la usual aritmtica de los valores positivos enteros , escogido
para ser filosficamente incontrovertido) fue consistente. Hilbert objetivos de la creacin de un sistema
matemtico que sea completa y consistente se asest un golpe mortal a la segunda de lasteoremas de
incompletitud de Gdel , que establece que los sistemas axiomticos consistentes suficientemente
expresivos nunca puede probar su propia consistencia. Puesto que cualquier sistema de axiomas tales
contendra la aritmtica finitista como un subsistema, el teorema de Gdel implica que sera imposible
probar relativa del sistema consistencia a que (ya que entonces probar su propia consistencia, que
Gdel haba mostrado era imposible). Por lo tanto, con el fin de demostrar que cualquier sistema
axiomtico de las matemticas es de hecho compatible, uno tiene que asumir primero la compatibilidad
de un sistema de matemticas que es en un sentido ms fuerte que el sistema no se ha demostrado
consistente.
Hilbert era inicialmente un deductivista, pero, como puede ser evidente a partir de lo anterior, se
considera ciertos mtodos metamatemticos para producir resultados significativos intrnsecamente y
era realista con respecto a la aritmtica finitista. Ms tarde, se celebrar la opinin de que no haba otros
matemticas significativas alguna, independientemente de la interpretacin.

Otros formalistas, tales como Rudolf Carnap , Tarski Alfred y Haskell Curry , considerado matemticas
para la investigacin de los sistemas axiomticos formales . lgicos matemticos estudian los sistemas
formales, sino que a menudo son tan realistas como son formalistas.
Formalistas son relativamente tolerante y acogedor para nuevos enfoques de la lgica, no estndar
sistemas numricos, las nuevas teoras de conjuntos, etc Los juegos ms estudiamos, mejor. Sin
embargo, en estos tres ejemplos, la motivacin proviene de los actuales problemas matemticos o
filosfica. El "juego" no suelen ser arbitrarias.
La principal crtica del formalismo es que las ideas matemticas reales que ocupan los matemticos
estn muy alejados de los juegos de manipulacin de cadenas mencionadas anteriormente. El
formalismo es, pues, silencio sobre la cuestin de los sistemas axiomticos que debe ser estudiado, ya
que ninguno es ms significativo que otro desde un punto de vista formal.
Recientemente, algunos

[ que? ]

matemticos formalistas han propuesto que todos nuestros formal

de conocimiento matemtico debe ser sistemticamente codificada en legibles por ordenadorformatos,

as como para facilitar la prueba de comprobacin automatizada de pruebas matemticas y el uso
de teorema interactivo demostrando en el desarrollo de modelos matemticos teoras y programas
informticos. Debido a su estrecha relacin con la informtica , esta idea tambin defendida por
matemticos intuicionistas y constructivistas en la "computabilidad" tradicin (ver ms
abajo). Ver proyecto QED para obtener una visin general.

[ editar ]El convencionalismo

Los franceses matemtico Henri Poincar fue uno de los primeros en articular
un convencionalista vista. Uso de Poincar de las geometras no euclidianas en su trabajo sobre
ecuaciones diferenciales lo convenci de que la geometra euclidiana no debe considerarse como una
priori verdad. Sostuvo que los axiomas de la geometra debe ser elegido por los resultados que
producen no por su aparente coherencia con las intuiciones humanas sobre el mundo fsico.

[ edit ]psicologismo
Psicologismo en la filosofa de las matemticas es la posicin que matemticos conceptos y / o
verdades se basan en, derivado de o se explica por hechos psicolgicos (o leyes).
John Stuart Mill parece haber sido un defensor de un tipo de psicologismo lgico, al igual que muchos
del siglo XIX lgicos alemanes como Sigwart y Erdmann , as como una serie de psiclogos, pasado y
presente: por ejemplo, Gustave Le Bon . Psicologismo fue criticado famoso por Frege en
sus Fundamentos de la Aritmtica , y muchas de sus obras y ensayos, entre ellos su opinin
de Husserl Filosofa de la Aritmtica . Edmund Husserl, en el primer volumen de sus Investigaciones
lgicas , llamado "El Prolegmenos de la lgica pura", critic el psicologismo a fondo y trat de

distanciarse de ella. El "Prolegmenos" se considera una ms concisa, imparcial y completa refutacin

del psicologismo de las crticas formuladas por Frege, y tambin es considerado hoy por muchos como
una refutacin memorable para su golpe decisivo al psicologismo. Psicologismo tambin fue criticado
por Charles Sanders Peirce y Maurice Merleau-Ponty .

[ editar ]El

intuicionismo

Artculo principal: intuicionismo matemtico

En matemticas, el intuicionismo es un programa de reforma metodolgica cuyo lema es que "no existen
las verdades matemticas no experimentados" ( LEJ Brouwer ). A partir de este trampoln, intuicionistas
tratar de reconstruir lo que ellos consideran que es la porcin de matemticas corregible de acuerdo con
los conceptos kantianos de ser, cada vez, la intuicin y el conocimiento. Brouwer, el fundador del
movimiento, sostuvo que los objetos matemticos surgen de los a priori las formas de las voliciones que
informan a la percepcin de los objetos empricos.[ 8 ]
Una fuerza importante detrs de intuicionismo fue LEJ Brouwer , quien rechaz la utilidad de la lgica
formal de ningn tipo para las matemticas. Su estudiante Arend Heyting postula una lgica
intuicionista , diferente de la clsica lgica aristotlica , esta lgica no contiene la ley del tercero
excluido y frunce el ceo por lo tanto, a pruebas por contradiccin . El axioma de eleccintambin es
rechazada en la mayora de teoras de conjuntos intuicionistas, aunque en algunas versiones se
acepta. Trabajo importante fue hecho despus por Errett obispo , quien logr probar las versiones de los
teoremas ms importantes en el anlisis real dentro de este marco.
En el intuicionismo, el trmino "construccin explcita" no est claramente definida, y que ha dado lugar
a crticas. Se han hecho intentos de utilizar los conceptos de la mquina de Turing ofuncin
computable para llenar este vaco, dando lugar a la afirmacin de que slo las preguntas relativas a la
conducta de los finitos algoritmos son significativos y deben ser investigados en matemticas. Esto ha
llevado al estudio de los nmeros computables , primero introducido por Alan Turing . No es de extraar,
entonces, este enfoque de las matemticas a veces se asocia con tericos de la informtica

[ editar ]Constructivismo
Artculo principal: constructivismo matemtico
Esta seccin requiere la expansin .
(mayo de 2008)

Al igual que el intuicionismo, el constructivismo implica el principio regulador que slo las entidades
matemticas que pueden ser construidas explcitamente en cierto sentido, deben ingresar en el discurso
matemtico. En esta vista, las matemticas son un ejercicio de la intuicin humana, no un juego que se
juega con smbolos sin sentido. En su lugar, se trata de entidades que pueden crear directamente a

travs de la actividad mental. Adems, algunos seguidores de estas escuelas no constructivas rechazar
pruebas, como una prueba por contradiccin.

[ edit ]finitismo
Finitismo es una forma extrema de constructivismo , segn la cual un objeto matemtico no existe a
menos que se construye a partir de los nmeros naturales en un finito nmero de pasos. En su
libro Filosofa de la Teora de Conjuntos , Azulejos Mary caracteriza aquellos que permiten
que contablemente infinitos objetos como finitists clsicos, y los que niegan incluso objetos contable
infinito como finitists estrictas.
El defensor ms famoso de finitismo era Leopold Kronecker , [ 9 ] , quien dijo:
Dios cre los nmeros naturales, todo lo dems es obra del hombre.
Ultrafinitism es una versin an ms extrema de finitismo, que rechaza no slo infinitos pero las
cantidades finitas que no sea factible se pueden construir con los recursos disponibles.

[ edit ]Estructuralismo
Artculo principal: Matemtica estructuralismo
El estructuralismo es una posicin de sujecin que las teoras matemticas describen las estructuras, y
que los objetos matemticos se agota en sus lugares en tales estructuras, por consiguiente, que no
tiene las propiedades intrnsecas . Por ejemplo, se podra mantener que todo lo que hay que saber
sobre el nmero 1 es que es el primer nmero entero despus de 0. Del mismo modo todos los nmeros
enteros, se definan por su lugar en una estructura, el nmero de lnea . Otros ejemplos de objetos
matemticos pueden incluir lneas y planos en la geometra, o elementos y operaciones en lgebra
abstracta .
El estructuralismo es un epistemolgicamente realista en vista que sostiene que los enunciados
matemticos tienen un valor de verdad objetiva. Sin embargo, su afirmacin central slo se refiere a
qu tipo de entidad es un objeto matemtico, no a qu tipo de existencia objetos matemticos o
estructuras tienen (no, en otras palabras, a su ontologa ). El tipo de existencia que los objetos
matemticos tienen claro que sera dependiente de la de las estructuras en las que estn inmersos;.
Diferentes sub-variedades de estructuralismo hacer afirmaciones ontolgicas diferentes a este
respecto [ 10 ]
El Rem Ante , o totalmente realista, la variacin del estructuralismo tiene una ontologa similar
al platonismo en que las estructuras se llevan a cabo para tener una existencia real, sino abstracto e
inmaterial. Como tal, se enfrenta a los problemas habituales de explicar la interaccin entre esas
estructuras abstractas y matemticos de carne y hueso.

En Re , o realista moderado, el estructuralismo es el equivalente del realismo aristotlico . Las

estructuras se sostiene que existe en la medida en algn sistema concreto ejemplifica ellos. Esto incurre
en las cuestiones habituales que algunas estructuras perfectamente legtimas accidentalmente podra
suceder que no existe, y que un mundo fsico finito no puede ser "grande" como para acomodar algunas
estructuras por lo dems legtimas.
Las Res mensaje o variantes del estructuralismo eliminativo es anti-realista acerca de las estructuras de
una manera que se asemeja nominalismo . De acuerdo con este punto de vista
matemtico sistemas existen, y tienen caractersticas estructurales en comn. Si algo puede decirse de
una estructura, que ser el caso de todos los sistemas que ejemplifican la estructura.Sin embargo, no es
ms conveniente hablar de las estructuras que se "mantienen en comn" entre los sistemas: de hecho
no tienen existencia independiente.

[ edit ]Embodied

teoras mentales

Embodied teoras de la mente sostener que el pensamiento matemtico es una consecuencia natural
del aparato cognitivo humano que se encuentra en nuestro universo fsico. Por ejemplo, el concepto
abstracto de nmero surge de la experiencia de contar objetos discretos. Se sostiene que la matemtica
no es universal y no existe en ningn sentido real, salvo en los cerebros humanos. Los seres humanos
construyen, pero no descubre, matemticas.
Con este punto de vista, el universo fsico por lo tanto puede ser visto como el fundamento ltimo de la
matemtica: es guiado la evolucin del cerebro y despus se determina que las preguntas de este
cerebro se parece digno de investigacin. Sin embargo, la mente humana no tiene ningn derecho
especial sobre la realidad o se aproxima a la construy fuera de las matemticas. Si las construcciones
tales como la identidad de Euler son verdaderas, entonces se cumple como un mapa de la mente
humana y la cognicin .
Embodied tericos de la mente lo que explica la efectividad de las matemticas - matemticas fue
construido por el cerebro con el fin de ser eficaces en este universo.
El tratamiento ms accesible, famoso e infame de esta perspectiva es que las matemticas viene de ,
por George Lakoff y Rafael E. Nez . Adems, matemtico Keith Devlin ha investigado conceptos
similares con su libro El instinto de Matemticas . Para ms informacin sobre las ideas filosficas que
inspiraron esta perspectiva, ver la ciencia cognitiva de las matemticas .

[ edit ]empirismo Nuevo

Un empirismo ms reciente vuelve al principio de los empiristas ingleses de los siglos 18 y 19, en
particular John Stuart Mill, quien afirma que todo conocimiento viene de la observacin a travs de los

sentidos. Esto se aplica no slo a cuestiones de hecho, sino tambin a "relaciones de ideas", como los
llam Hume: las estructuras de la lgica que interpretar, organizar y observaciones abstractas.
A este principio se aade una conexin materialista: Todos los procesos de la lgica que interpretar,
organizar y observaciones abstractas, son fenmenos fsicos que tienen lugar en tiempo real y espacio
fsico: es decir, en el cerebro de los seres humanos. Objetos abstractos, tales como objetos
matemticos, son ideas, que a su vez existen como estados elctricos y qumicos de los miles de
millones de neuronas en el cerebro humano.
Este segundo concepto es una reminiscencia del enfoque constructivista social, que sostiene que la
matemtica es producido por los seres humanos en lugar de ser "descubierto" de lo abstracto, a
priori verdades. Sin embargo, se diferencia claramente de la implicacin constructivista que los seres
humanos construyen arbitrariamente principios matemticos que no tienen una verdad inherente, sino
que en su lugar se crean de forma conveniency. Por el contrario, el empirismo, la nueva muestra cmo
las matemticas, aunque construido por los seres humanos, sigue las reglas y principios que sern
acordadas por todos los que participan en el proceso, con el resultado de que todo el mundo la prctica
de matemticas se le ocurre la misma respuesta - excepto en aquellas reas en caso de desacuerdo
sobre el sentido filosfico de los conceptos fundamentales. Esto es porque el nuevo empirismo percibe
este acuerdo como un fenmeno fsico.Uno que es observado por otros seres humanos de la misma
manera que otros fenmenos fsicos, como los movimientos de los cuerpos inanimados, o la interaccin
qumica de los diversos elementos, se observan.
La combinacin del principio materialista con la epistemologa Millisian elude la dificultad principio con el
empirismo clsico - que todo conocimiento proviene de los sentidos. Esa dificultad radica en la
observacin de que las verdades matemticas basadas en la deduccin lgica parece ser ms cierto
que el conocimiento del mundo fsico. (El mundo fsico en este caso se considera que significa la parte
del mismo situada en el exterior del cerebro humano.)
Kant argumenta que las estructuras de la lgica que organizar, interpretar y observaciones abstractas
fueron construidas en la mente humana y eran ciertos y vlidos a priori . Mill, por el contrario, dijo que
creemos que son verdaderas porque tenemos suficientes casos individuales de su verdad para
generalizar: en sus palabras, "De los casos que hemos observado, nos sentimos justificados en la
conclusin de que lo que encontramos cierto en aquellos casos mantiene en todos los similares,
pasadas, presentes y futuras, por numerosos que sean. "

[ 11 ]

A pesar de las particularidades

psicolgicas o epistemolgicos propuestos por Mill a travs de los cuales construimos nuestro aparato
lgico no puede ser completamente justificado, su explicacin no obstante todava se las arregla para
demuestran que no hay manera alrededor de Kant a priori lgica. Para retractarse idea original de Mill

en un giro empirista: "De hecho, los principios mismos de la deduccin lgica es verdadera porque
observamos que su uso lleva a conclusiones verdaderas." , lo que en s es un a priori presuposicin.
Si todo esto es cierto, entonces de dnde los sentidos mundo pasar? Los primeros empiristas todo
topamos con este punto. Hume afirma que todo conocimiento proviene de los sentidos, y luego regal la
pelota a excepcin de proposiciones abstractas, que calific de "relaciones de ideas". Esto, dijo, eran
absolutamente cierto (aunque los matemticos que ellos pensaban hasta, al ser humano, puede ser que
consiga que estn equivocados). Mill, por su parte, trat de negar que las ideas abstractas existen fuera
del mundo fsico: todos los nmeros, dijo, "debe ser el nmero de una cosa: no hay cosas tales como
nmeros en abstracto". Cuando cuente hasta ocho o aadir cinco y tres en realidad estamos contando
cucharas o abejorros. "Todas las cosas poseen cantidad", dijo, por lo que las proposiciones relativas a
los nmeros son proposiciones relativas a "todas las cosas lo que sea." Pero entonces, en casi una
contradiccin en s mismo pas a reconocer que las expresiones numricas y algebraicas no estn
necesariamente unidos a los objetos del mundo real: "no excitar en nuestras ideas las mentes de las
cosas en particular." Baja reputacin de Mill como filsofo de la lgica, y la bajeza de empirismo en el
siglo y medio despus de l, se deriva de este fallido intento de relacionar pensamientos abstractos con
el mundo fsico, cuando es obvio que la abstraccin consiste precisamente en separar el pensamiento
desde sus fundamentos fsicos.
El dilema creado por la certeza de que las proposiciones abstractas deductivas, si es vlido (es decir, si
se puede "probar" ellos), son verdaderas, exclusivo de observacin y pruebas en el mundo fsico, da
lugar a una mayor reflexin ... Qu si los pensamientos ellos mismos, y las mentes que las crean, son
objetos fsicos, que slo existe en el mundo fsico?
Esto reconciliar la contradiccin entre nuestra creencia en la certeza de las deducciones abstractas y el
principio empirista de que el conocimiento proviene de la observacin de casos individuales. Sabemos
que la ecuacin de Euler es cierto, porque cada vez que una mente humana se deriva de la ecuacin,
se obtiene el mismo resultado, a menos que haya cometido un error, que puede ser reconocido y
corregido. Observamos este fenmeno, y extrapolamos a la proposicin general de que es siempre
verdad.
Esto se aplica no slo a los principios fsicos, como la ley de la gravedad, sino a fenmenos abstractos
que se observan slo en el cerebro humano: en la nuestra y en las de otros.

[ edit ]aristotlica realismo

Artculo principal: la teora aristotlica de los universales
Al igual que el empirismo en destacar la relacin de las matemticas con el mundo real, el realismo
aristotlico sostiene que los estudios de matemticas propiedades tales como la simetra, la continuidad

y el orden que se puede, literalmente, se dio cuenta en el mundo fsico (o en cualquier otro mundo que
podra ser). Contrasta con el platonismo al considerar que los objetos matemticos, como los nmeros,
no existen en un "resumen" del mundo, pero se puede realizar fsicamente. Por ejemplo, el nmero 4 se
realiza en la relacin entre un montn de loros y lo universal "ser un loro" que divide el montn de loros
en tantos. [ 12 ] realismo aristotlico es defendido por James Franklin y la Escuela de Sydney en la
filosofa de las matemticas y est cerca de la vista de Penlope Maddy que cuando abro un cartn de
huevos percibo un conjunto de tres huevos (es decir, una entidad matemtica realizada en el mundo
fsico). [ 13 ] Un problema para el realismo aristotlico es lo que cuenta dar de altas infinitos, que no puede
ser realizable en el mundo fsico.

[ edit ]ficcionalismo
Ficcionalismo en matemticas fue llevado a la fama en 1980, cuando el campo Hartry publicado Ciencia
sin nmeros , que rechazaron y, de hecho invierte argumento de indispensabilidad de Quine. Cuando
Quine sugiere que la matemtica era indispensable para nuestras mejores teoras cientficas, por lo que
debe ser aceptado como un conjunto de verdades que hablan de entidades con existencia
independiente, Field sugiri que las matemticas eran prescindibles, y por lo tanto debe ser considerado
como un conjunto de falsedades no hablar de cualquier cosa real. Lo hizo dando una axiomatizacin
completa de la mecnica newtoniana que no hacen referencia a nmeros o funciones en
absoluto. Comenz con la "intermediacin" de los axiomas de Hilbert para caracterizar el espacio sin
coordinatizing ella, y luego aadi relaciones adicionales entre los puntos para hacer el trabajo que
antes se hacan por los campos de vectores . Geometra de Hilbert es matemtica, porque habla de
afirmaciones abstractas, sino en la teora de campo, estos puntos son los puntos concretos del espacio
fsico, por lo que no hay objetos especiales matemtica en todos son necesarios.
Despus de haber mostrado cmo hacer ciencia sin usar nmeros, Campo procedi a la rehabilitacin
de las matemticas como una especie de ficcin til . l demostr que la fsica matemtica es
una extensin conservadora de sus no-matemticos de fsica (es decir, cada hecho fsico demostrable
en la fsica matemtica es ya demostrable del sistema Field), por lo que la matemtica es un proceso
fiable cuyas solicitudes fsica son todas verdaderas, aunque sus propias declaraciones son falsas. Por lo
tanto, al hacer matemticas, podemos vernos como decirle a un tipo de historia, hablando como si los
nmeros exista. En Campo, una declaracin como "2 + 2 = 4" es tan ficticia como " Sherlock
Holmes vivi en el 221B de Baker Street "- pero ambas cosas son ciertas de acuerdo con las ficciones
pertinentes.
En esta cuenta no hay problemas metafsicos o epistemolgicos especiales para las matemticas. Las
preocupaciones que quedan son las preocupaciones generales acerca de la fsica no matemticos, y
sobre la ficcin en general. Enfoque de campo ha sido muy influyente, pero es rechazada

ampliamente. Esto es en parte debido a la exigencia de fragmentos slidos de lgica de segundo

orden para llevar a cabo su reduccin, y debido a que la declaracin de conservativity parece
requerir cuantificacin sobre los modelos abstractos o deducciones.

[ editar ]El

constructivismo social o realismo social

El constructivismo social o del realismo socialista teoras matemticas ve principalmente como

una construccin social , como producto de la cultura, objeto de correcciones y cambios. Al igual que las
otras ciencias, la matemtica es vista como un esfuerzo emprico cuyos resultados son evaluados
constantemente y puede ser desechado. Sin embargo, mientras que en una visin empirista de la
evaluacin es algn tipo de comparacin con la "realidad", los constructivistas sociales hincapi en que
la direccin de la investigacin matemtica es dictado por las modas del grupo social que lo realiza o por
las necesidades de la sociedad de su financiacin. Sin embargo, a pesar de que tales fuerzas externas
pueden cambiar el rumbo de una investigacin matemtica, existen fuertes restricciones internas - las
tradiciones, los mtodos matemticos, los problemas, los significados y los valores en los que los
matemticos se enculturados - que trabajan para conservar la disciplina histricamente definido.
Esto es contrario a las creencias tradicionales de los matemticos que trabajan, que la matemtica pura
es de alguna manera u objetivo. Sin embargo, los constructivistas sociales argumentan que las
matemticas son en realidad a tierra por una gran incertidumbre: como prctica matemtica se
desarrolla, el estado de las matemticas anteriores es puesto en discusin, y se corrige con el grado
que se requiere o desea la comunidad matemtica actual. Esto se puede ver en el desarrollo de anlisis
de reexaminacin del clculo de Leibniz y Newton. Argumentan, adems, que a menudo las
matemticas terminados otorgue el estatuto demasiado, y matemticas populares no es suficiente,
debido a un nfasis excesivo en la prueba axiomtica y revisin por pares como prcticas. Sin embargo,
esto puede ser visto como un mero decir que los resultados son rigurosamente probados exagerar, a
continuacin, "mira lo catico e incierto el resto es todo esto!"
La naturaleza social de las matemticas se pone de relieve en sus subculturas . Los principales
descubrimientos se pueden hacer en una rama de las matemticas y ser relevantes para otros, sin
embargo, la relacin va sin descubrir por la falta de contacto social entre los
matemticos. Constructivistas sociales sostienen cada especialidad forma su propia comunidad
epistmica y con frecuencia tiene grandes dificultades para comunicarse o para motivar la investigacin
de conjeturas unificadores que pudieran relacionar las diferentes reas de las
matemticas. Constructivistas sociales ven el proceso de "hacer matemticas", como crear realmente el
significado, mientras que los realistas sociales ven una deficiencia ya sea de la capacidad humana para
abstractify, o de humano sesgo cognitivo , o de los matemticos inteligencia colectiva como la
prevencin de la comprensin de un universo real de objetos matemticos. Constructivistas sociales a

veces rechazar la bsqueda de fundamentos de la matemtica como destinado al fracaso, como intil o
sin sentido, incluso. Algunos [ quin? ] los cientficos sociales tambin argumentan que las matemticas no
es real u objetivo en absoluto, sino que se ve afectada por el racismo y el etnocentrismo . Algunas de
estas ideas se encuentran cerca de la posmodernidad .
Las contribuciones a esta escuela han sido realizados por Imre Lakatos y Tymoczko Thomas , aunque
no est claro que cualquiera hara suyo el ttulo

[ aclaracin necesaria ]

. Ms recientemente,Paul Ernest ha

formulado explcitamente una filosofa social constructivista de las matemticas.

[ 14 ]

Algunos consideran

la obra de Paul Erds en su conjunto han avanzado este punto de vista (aunque l, personalmente, lo
rechaz) por sus colaboraciones nica amplios, lo que llev a otros a ver y estudiar "las matemticas
como una actividad social", por ejemplo, a travs del nmero Erds . Reuben Hersh tambin ha
promovido la visin social de las matemticas, calificndolo como un "humanista" enfoque,
pero no exactamente el mismo que el correspondiente con Alvin White,

[ 16 ]

[ 15 ]

similar

una de Hersh los co-

autores, Philip J. Davis , ha expresado su simpata por el punto de vista social.

Una crtica de este enfoque es que es trivial, basado en la observacin trivial de que la matemtica es
una actividad humana. Observar que prueba rigurosa viene slo despus de conjetura unrigorous, la
experimentacin y la especulacin es verdad, pero es trivial y nadie puede negar esto. As que es un
poco exagerado para caracterizar una filosofa de las matemticas de esta manera, en algo trivialmente
cierto. El clculo de Leibniz y Newton fue reexaminado por matemticos como Weierstrass para
demostrar con rigor los teoremas de los mismos. No hay nada especial o interesante acerca de esto, ya
que se inscribe en la tendencia ms general de las ideas unrigorous que luego se hizo riguroso. Es
necesario que exista una clara distincin entre los objetos de estudio de las matemticas y el estudio de
los objetos de estudio de las matemticas. La primera no parece cambiar mucho [ cita requerida ] , el segundo
es para siempre en proceso de cambio. Esto ltimo es lo que la teora social se refiere, y lo primero es lo
platonismo et al. estn a punto.
Sin embargo, esta crtica es rechazada por los partidarios del constructivismo social perspectiva, ya que
pierde el sentido de que los objetos propios de las matemticas son construcciones sociales. Estos
objetos, afirma, son los principales semiticos objetos existentes en el mbito de la cultura humana,
sostenidos por prcticas sociales (despus de Wittgenstein ) que utilizan fsicamente encarnados signos
y dan lugar a intrapersonales (mental) construcciones. Constructivistas sociales ver la cosificacin de la
esfera de la cultura humana en una platnico reino, o algn otro cielo-como dominio de existencia ms
all del mundo fsico, una larga error de categora .

[ editar ]Ms

all de las escuelas tradicionales

Esta seccin necesita referencias adicionales para su verificacin . Por favor, ayudar a
mejorar este artculo por aadiendo citas de fuentes confiables . Material de referencias puede
ser impugnado y eliminado . (febrero de 2007)

En lugar de centrarse en debates estrechas sobre la verdadera naturaleza de la matemtica verdad , ni

siquiera en las prcticas nicas para los matemticos, como la prueba , un movimiento creciente desde
1960 hasta la dcada de 1990 comenzaron a cuestionar la idea de buscar bases o encontrar alguna
respuesta correcta a por qu la matemtica funciona. El punto de partida de esta era Eugene Wigner 's
famoso artculo 1960 la irrazonable eficacia de las matemticas en las ciencias naturales , en el que
sostena que la feliz coincidencia de las matemticas y la fsica son tan buena pareja que pareca ser
poco razonable y difcil de explicar.
La escuela-mente encarnada o cognitivo y social de la escuela fueron respuestas a este desafo, pero
los debates planteados eran difciles de limitarse a ellas.

[ edit ]cuasi-empirismo
Una preocupacin paralela que en realidad no desafiar a las escuelas directamente, sino que pone en
duda su enfoque es la nocin de cuasi-empirismo en matemticas . Esto surgi de la afirmacin cada
vez ms popular en el siglo 20 que nadie fundamento de las matemticas podra alguna vez
acreditada. A veces tambin se llama "postmodernismo en las matemticas", aunque ese trmino se
considera sobrecargado por unos y por insultar a los dems. Cuasi-empirismo sostiene que al hacer su
investigacin, hiptesis matemticos de prueba, as como demostrar teoremas. Un argumento
matemtico puede transmitir la falsedad de la conclusin a las premisas tan bien como ella puede
transmitir la verdad de las premisas a la conclusin. cuasi-empirismofue desarrollado por Imre Lakatos ,
inspirado en la filosofa de la ciencia de Karl Popper .
Filosofa de Lakatos de las matemticas a veces se considera como un tipo de constructivismo social,
pero esa no era su intencin.
Tales mtodos han sido siempre parte de la matemtica populares por el cual las grandes hazaas de
clculo y medicin estn a veces alcanzados. De hecho, estos mtodos pueden ser la nica nocin de
la prueba tiene una cultura.
Hilary Putnam ha argumentado que cualquier teora del realismo matemtico incluira cuasi-empricas
mtodos. Propuso que una especie extica haciendo matemticas podra confiar en los mtodos cuasiempricas sobre todo, estar dispuestos a menudo a renunciar a pruebas rigurosas y axiomtico, y
todava estar haciendo matemticas - tal vez en un riesgo algo mayor de fracaso de sus clculos. Dio un
argumento detallado de esto en New Directions . [ 17 ]

[ edit ]Popper "dos sentidos" teora

Realista y las teoras constructivistas normalmente se toma como contrarios. Sin embargo, Karl
Popper [ 18 ] argument que una expresin verbal, como "2 + 2 manzanas manzanas = 4 manzanas"
puede tomarse en dos sentidos. En cierto sentido, es irrefutable y verdadero lgicamente. En el segundo

sentido, es objetivamente cierto y falsable. Otra forma de expresar esto es decir que un enunciado nico
nmero puede expresar dos proposiciones:. Uno de los cuales puede ser explicado en lneas
constructivistas, y la otra en las lneas realistas

[ 19 ]

[ editar ]Unificacin
Pocos filsofos son capaces de penetrar notaciones matemticas y la cultura de relacionar las nociones
convencionales de la metafsica de las nociones metafsicas ms especializados de las escuelas
mencionadas anteriormente. Esto puede llevar a una desconexin en la que algunos matemticos
continan a profesar la filosofa desacreditada como una justificacin para su creencia continua en una
visin del mundo la promocin de su trabajo.

[ cita requerida ]

Aunque las teoras sociales y cuasi-empirismo, y especialmente la teora de la mente encarnada, se han
centrado ms su atencin en la epistemologa implcita en las prcticas actuales de matemticas, que
distan mucho de realidad en relacin a este humano comn percepcin y la comprensin cotidiana de
los conocimientos . [ cita requerida ]

[ editar ]Idioma
Artculo principal: Filosofa del lenguaje
Las innovaciones en la filosofa del lenguaje en el siglo 20 renovado inters en las matemticas si es,
como se dice a menudo, el lenguaje de la ciencia. Aunque la mayora de los matemticos y los
fsicos [ cita requerida ] (y muchos filsofos) aceptara la afirmacin " las matemticas son un lenguaje ", los
lingistas creen que las consecuencias de tal declaracin debe ser considerada.Por ejemplo, las
herramientas de la lingstica general, no se aplica a los sistemas de smbolos de las matemticas, es
decir, las matemticas se estudia de una manera muy diferente de otros idiomas. Si las matemticas
son un lenguaje, es un tipo diferente de la lengua de los lenguajes naturales . En efecto, debido a la
necesidad de claridad y precisin cul es el lenguaje de las matemticas es mucho ms restringida que
los lenguajes naturales estudiados por los lingistas. Sin embargo, los mtodos desarrollados por Frege
y Tarski para el estudio del lenguaje matemtico se han ampliado en gran medida por el estudiante de
Tarski Montague Richard y otros lingistas que trabajan en la semntica formal para demostrar que la
distincin entre el lenguaje matemtico y el lenguaje natural no puede ser tan grande como parece .

[ editar ]Argumentos
[ editar ]Carcter

indispensable argumento del realismo

Este argumento, relacionado con Willard Quine y Putnam Hilary , es considerado por Stephen Yablo a
ser uno de los argumentos ms difciles en favor de la aceptacin de la existencia de entidades
abstractas matemticas, como nmeros y series.

[ 20 ]

La forma de la argumento es el siguiente.

1. Uno debe tener ontolgicas compromisos con todas las entidades que son indispensables para
las mejores teoras cientficas, as como a las entidades slo (comnmente conocidos como
"todo nico").
2. Las entidades matemticas son indispensables para las mejores teoras cientficas. Por lo tanto,
3. Hay que tener compromisos ontolgicos con las entidades matemticas.

[ 21 ]

La justificacin de la primera premisa es la ms controvertida. Tanto Putnam y Quine

invocan naturalismo para justificar la exclusin de todas las entidades no cientficas, y por tanto, a
defender la "nica" parte de "todo nico". La afirmacin de que "todas" las entidades postuladas en las
teoras cientficas, incluidos nmeros, se debe aceptar como real se justifica por el holismo
confirmacin . Puesto que las teoras no se confirman de una manera gradual, pero en su conjunto, no
existe justificacin alguna para excluir a alguna de las entidades mencionadas en las teoras bien
confirmadas. Esto pone al nominalista que desea excluir la existencia de conjuntos y la geometra no
euclidiana , sino incluir la existencia de los quarks y otras entidades no detectables de la fsica, por
ejemplo, en una posicin difcil. [ 21 ]

[ edit ]argumento

en contra del realismo epistmico

El anti-realista " epistmico argumento "en contra de platonismo ha sido hecha por Paul
Benacerraf y Campo Hartry . Platonismo postula que los objetos matemticos
son abstractos entidades.Por acuerdo general, las entidades abstractas no pueden
relacionarse causalmente con entidades concretas, fsicas. ("Los valores de verdad de nuestras
afirmaciones matemticas dependen de hechos que involucran a entidades platnicas que residen en
un territorio fuera del espacio-tiempo" [ 22 ] ) Mientras que nuestro conocimiento de los objetos concretos,
fsicos se basa en nuestra capacidad de percibir , y por lo tanto para interactuar causalmente con ellos,
no hay relato paralelo de cmo los matemticos llegan a tener conocimiento de los objetos
abstractos. [ 23 ] [ 24 ] [ 25 ]("Una cuenta de la verdad matemtica .. debe ser consistente con la posibilidad del
conocimiento matemtico" [ 26 ] ). Otra forma de hacer que el punto es que si el mundo platnico
desapareciera, no habra ninguna diferencia en la capacidad de los matemticos para generar pruebas ,
etc, que ya es plenamente responsable en trminos de procesos fsicos en el cerebro.
Campo desarroll sus puntos de vista en ficcionalismo . Benacerraf tambin desarroll la filosofa de
la matemtica estructuralismo , segn la cual no hay objetos matemticos. Sin embargo, algunas
versiones del estructuralismo son compatibles con algunas versiones de realismo.
El argumento gira alrededor de la idea de que un satisfactorio naturalista en cuenta los procesos de
pensamiento en trminos de procesos cerebrales se pueden dar para el razonamiento matemtico, junto
con todo lo dems. Una lnea de defensa es mantener que esto es falso, por lo que el razonamiento

matemtico utiliza algn especial intuicin que implica el contacto con el reino platnico. Una forma
moderna de este argumento viene dado por Sir Roger Penrose . [ 27 ]
Otra lnea de defensa es mantener objetos abstractos que son relevantes para el razonamiento
matemtico de una manera que es no causal, y no anloga a la percepcin. Este argumento es
desarrollado por Jerrold Katz en su libro El racionalismo realista .
Una defensa ms radical es la negacin de la realidad fsica, es decir, la hiptesis del universo
matemtico . En ese caso, el conocimiento de un matemtico de las matemticas es un objeto
matemtico toma contacto con otro.

[ editar ]Esttica
Muchos matemticos en ejercicio se han elaborado a su tema debido a un sentido de la belleza que
perciben en l. A veces se escucha el sentimiento que los matemticos le gustara dejar la filosofa a los
filsofos y volver a las matemticas - donde, presumiblemente, la belleza reside.
En su trabajo sobre la divina proporcin , HE Huntley relaciona el sentimiento de la lectura y la
comprensin de otra persona demostracin de un teorema de la matemtica a la de un espectador de
una obra maestra del arte - el lector de la prueba tiene un sentido similar de regocijo en la comprensin
como el autor original de la prueba, por mucho que, segn l, el espectador de una obra de arte tiene un
sentido de euforia similar a la del pintor original o escultor. De hecho, uno puede estudiar los escritos
matemticos y cientficos como literatura .
Philip J. Davis y Reuben Hersh han comentado que el sentido de la belleza matemtica es universal
entre la prctica de los matemticos. A modo de ejemplo, se proporcionan dos pruebas de la
irracionalidad de la

2 . La primera es la tradicional prueba por contradiccin , atribuido a Euclides , y la

segunda es una prueba ms directa participacin del teorema fundamental de la aritmtica que, segn
ellos, llega al meollo de la cuestin. Davis y Hersh argumentan que los matemticos encontrar la prueba
segundo estticamente ms atractiva debido a que se acerca a la naturaleza del problema.
Paul Erds era bien conocido por su nocin de un hipottico "libro" que contiene las pruebas
matemticas ms elegantes o hermosos. No hay un acuerdo universal de que un resultado tiene un
"ms elegante" prueba; Gregory Chaitin ha argumentado en contra de esta idea.
Los filsofos han criticado a veces los matemticos sentido de la belleza o elegancia de ser, en el mejor
de los casos, vagamente indicado. Por la misma razn, sin embargo, los filsofos de las matemticas
han tratado de caracterizar lo que hace que una prueba ms deseable que otra cuando ambas son
lgicamente sonido.

Otro aspecto de la esttica sobre las matemticas son puntos de vista de los matemticos hacia los
posibles usos de las matemticas con fines consideradas poco ticas o inapropiadas. La exposicin ms
conocida de esta visin se produce en GH Hardy libro 's Apologa de un matemtico , en la que Hardy
sostiene que la matemtica pura es superior en belleza a las matemticas aplicadas , precisamente
porque no se puede utilizar para la guerra y fines similares. Algunos matemticos posteriores han
caracterizado vistas Hardy como ligeramente anticuado

[ cita requerida ]

, con la aplicabilidad de la teora de

nmeros a la actual criptografa .

[ editar ]Vase

tambin

Teora axiomtica de conjuntos

Historia de las matemticas

Modelo de la teora

Sistema axiomtico

Lgica intuicionista

Teora ingenua de con

Categora teora

Lgica

Anlisis no estndar

Las definiciones de las matemticas

Belleza matemtica

Filosofa del lenguaje

Lenguaje formal

Constructivismo matemtico

Filosofa de la ciencia

Sistema formal

La lgica matemtica

La filosofa de la prob

Los fundamentos de las matemticas

Prueba matemtica

La prueba la teora

Proporcin urea

Metamatemtica

Regla de inferencia

[ editar ]Trabajos

relacionados

El Analista

Nuevas fundacio

Euclides Elementos

Principia Mathe

Teorema de Gdel integridad

La forma ms si

Introduccin a la filosofa matemtica

[ edit ]temas

histricos

Historia y filosofa de la ciencia

Historia de las matemticas

Historia de la filosofa