Formalismo matemtico

Por formalismo matemtico se entiende, en materias relacionadas con las fundamentos de las
matemticas, la filosofa de las matemticas y la filosofa de la lgica, una teoraque sostiene que
las proposiciones de las matemticas y la lgica pueden considerarse como declaraciones sobre las
consecuencias de ciertas reglas de manipulacin desmbolos o trminos o cadena de caracteres.1 2
Por ejemplo, la geometra euclidiana puede ser visto como un juego (en el sentido de
Wittgenstein) cuyo objetivo consiste en mover ciertas cadenas de smbolos (llamadosaxiomas) de
acuerdo con un conjunto de reglas llamadas reglas de inferencia para generar nuevas cadenas. En
este juego se puede demostrar o probar que el teorema de Pitgoras es vlido porque la cadena
que representa el teorema de Pitgoras se puede construir usando slo las reglas establecidas.
De acuerdo con el formalismo, las "verdades" expresadas en la lgica y las matemticas no son
acerca de los nmeros, series, o tringulos o cualquier otra materia especfica de hecho, no son
"sobre" nada en absoluto. Son formas sintcticas cuyos contenidos
o significados o referencias (ver Sobre el sentido y la referencia) no existen a menos que se les de
una interpretacin (o semntica).
En la actualidad algunos3 siguiendo a Michael Resnik4 clasifican el formalismo en "formalismo
de juego" (aquel que explcitamente propone que las matemticas pueden ser vistas como un
juego), "formalismo de trminos" (aquel en el cual los trminos (axiomas) solo se denotan a si
mismos y de ellos se deriva proposiciones, pero sin pronunciarse acerca de la realidad ontolgica
de los mismos; lo que se busca no es prueba de existencia, pero coherencia. etc.
A partir de la dcada de los 80 del siglo XX, algunos han propuesto que todo nuestro conocimiento
matemtico formal debe ser sistemticamente codificados en formatos legibles por un ordenador,
a fin de facilitar la comprobacin o chequeo automatizadas de las demostraciones matemticas;
la Demostracin automtica de teoremas y el uso deDemostracin interactiva de teoremas en el
desarrollo de las teoras matemticas y programas informticos. Debido a su estrecha relacin con
la informtica, esta idea tambin es atractiva a
matemticos logicistas; intuicionistas y constructivistas de la tradicin de la "computabilidad"5 (ver
tambin Proyecto Mizar,6 la biblioteca matemtica que contiene la coleccin ms grande del
mundo de obras matemticas estrictamente formalizadas y computarizadas.) (pero ver ms
abajo).
Se ha sugerido que la adopcin del punto de vista formalista exime a los matemticos de la
necesidad de preocuparse por cuestiones de los fundamentos de las matemticas y proceder
como si estos asuntos hubieran sido resueltos o carecieran de inters matemtico. Muchos
agregan que, en la prctica, los sistemas axiomticos que se estudian son sugeridos por las
exigencias de la ciencia en cada caso particular.
ndice
[ocultar]

1Historia y evolucin del concepto

o

1.1Deductivismo o "si-entoncismo"

2El proceso de formalizacin

3Desarrollos en la automatizacin

4Notas y referencias

5Vase tambin

6Bibliografa y enlaces externos

Historia y evolucin del concepto[editar]

An cuando la idea bsica de la formalizacin de los trminos lgico-matemticos tiene una
trayectoria bastante larga,7 y por lo menos en parte debido a la llamada crisis de los fundamentos
de las matemticas, hacia finales del siglo XIX comenz a tomar arraigo la tesis que es posible
definir las matemticas como el resultado de la manipulacin de smbolos de acuerdo a ciertas
reglas. Por ejemplo, en 1898, se propuso que:
En la concepcin formalista la aritmtica es un juego con signos que se llaman vacos, con lo cual
se quiere decir que no tienen otro contenido (en el juego de clculo) que el que se les asigna en
relacin a su comportamiento bajo ciertas reglas de combinacin (reglas del juego). El jugador de
ajedrez hace un uso similar de sus piezas ... Por supuesto que hay diferencias importantes entre el
ajedrez y la aritmtica. Las reglas del ajedrez son arbitrarias, mientras que el sistema de reglas de
la aritmtica es tal que los nmeros pueden ser referidos a los colectores de percepcin por medio
de axiomas simples y con ello nos proporcionan importantes contribuciones en el conocimiento de
la naturaleza.
Johannes Thomae (1840-1921)8
Generalmente se considera que el fundador del formalismo moderno es David Hilbert.9 Hacia fines
del siglo XIX y comienzos del XX el inters de Hilbert era la construccin
axiomtica; consistente y completa de la totalidad de las matemticas,10 seleccionando como
punto de partida los nmeros naturales y asumiendo que mediante el uso deaxiomas se obva la
necesidad de definir los objetos bsicos (op. cit) con el fin de lograr un sistema completo y
consistente. (ntese que en lo anterior Hilbert considera el clculo como Clculo lgico, llevando a
cabo inferencias (no necesaria o exclusivamente deductivas) a partir de una concepcin
axiomtica de los nmeros naturales, concepcin que toma esos nmeros como evidentes en la
medida que solo se refieren a si mismos.- ver Programa de Hilbert).
Sin embargo el optimismo en la "implementabilidad" del proyecto fue de corta duracin, debido
al teorema de incompletitud de Gdel, que demostr que cualquier sistema de axiomas que
incluya los nmeros naturales es ya sea incompleto o contradictorio.
A pesar de lo anterior, Alfred Tarski retom el concepto, pero introduciendo la idea que el estatus
(correccin, validez, etc) de una prueba o demostracin es relativa a los axiomas elegidos para
expresar la teora en cuestin.11 Tarski comenz -en la dcada del 30 del siglo XX- buscando
redifinir ciertos conceptos semnticos (en particular, el deVerdad (ver aqu), con el fin ltimo de
construir un sistema formal axiomtico que permitiera la reformulacin de teoremas en el
lenguaje de ese sistema, eliminando as los problemas.12 Es generalmente aceptado que en ese

proyecto Tarski transform radicalmente el sistema "metamatematico" de Hilbert, mostrando,

entre otras cosas, que las consecuencias lgicas de un argumento siguen de ese argumento si y
solo si cada modelo de las premisas es un modelo de las conclusiones.13 (lo anterior se puede
resumir en lo que Jaakko Hintikka llama los "teoremas de inconsistencia y la imposibilidad", la
proposicin que conceptos tales como "verdad" no pueden ser usados en lenguajes de primer
orden (digamos por ejemplo: el comn y corriente) sin caer en inconsistencias. Esos conceptos
solo pueden ser definidos y usados en un "metalenguaje". Eventualmente Tarski crey que la
manera de resolver el problema en matemticas es basar la totalidad de las matemticas en
el lgebra.14 )
Uno de los estudiantes ms conocidos de Hilbert fue John von Neumann quien, en 1931,15 busc
presentar el formalismo como una sntesis dialctica de la tesis logicista y laanttesis intuicionista.
Von Neumann promovi el uso de modelos matemticos que, explcitamente, buscan ser
coherentes con el conjunto de axiomas de la teora, cualquiera sean esos axiomas (ver Teora de
juegos). Estos trabajos resultaron de mayor importancia para desarrollos cientficos
contemporneos,16 desde la economa17 a la mecnica cuntica.18 (ver Postulados de la mecnica
cuntica).
Rudolf Carnap19 20 confronta directamente el problema generado por los teoremas de
Gdel,21 buscando resolverlo por medio del llamado "Principio de tolerancia":22 En lgica, no hay
moral. Todo el mundo es libre de construir su propia lgica, es decir, su propia forma de lenguaje,
como quiera. [nfasis de Carnap] . Carnap extiende esa tolerancia a las matemticas: "La actitud
tolerante aqu se sugiere es, en cuanto a los clculos matemticos especiales se refiere, la actitud
que es tcitamente compartida por la mayora de los matemticos." Adicionalmente Carnap busca
eliminar totalmente la relevancia del significado para las matemticas. La correccin (ntese el
trmino) de un teorema es decidida no en relacin a consideraciones o algn conjunto de reglas
"externas" sino en relacin a las que se eligen para el sistema especfico del cual el teorema se
deriva, el nico en el cual tiene sentido.23
Tambin de mayor importancia fue (es?) la contribucin del grupo Bourbaki en favor de exigir
rigor y promover el uso del mtodo axiomtico.24 A partir de esto, el formalismo lleg, de facto, a
constituir la posicin ms aceptada entre los matemticos hasta el ltimo cuarto del siglo XX: "Los
aos setenta vieron decaer la tendencia formalista, representada por el grupo Bourbaki,
seudnimo de varias generaciones de matemticos franceses."25
Sin embargo el formalismo todava ejerce gran influencia, parte a travs del "legado" de lo
anterior pero tambin por medio de su importancia, quizs fundamental, en el desarrollo de
la Informtica, especficamente, los lenguajes de programacin, a travs del trabajo de Haskell
Curry, generalmente considerado el fundador de la lgica combinatoria.
Deductivismo o "si-entoncismo"[editar]
An cuando ni Bertrand Russell ni Alfred North Whitehead fueron realmente formalistas (sino ms
bien logicistas) la publicacin, en 1910, por esos autores de Principia mathematica fue
generalmente percibida como un gran avance en el intento de derivar los conocimientos
matemticos de la poca a partir de un conjunto de principios o axiomas.

En 1967 Hilary Putnam26 revivi una idea de Bertrand Russell: el "si-entoncismo" (if-thenism27 ).
Esto es la propuesta que el trabajo del matemtico consiste en derivar proposiciones a partir de la
asuncin de que ciertas otras son correctas (Si A, entonces B).28 Tradicionalmente se ha asumido
que esas proposiciones bsicas (o axiomas) son o deberan ser indudablemente correctas. Pero
eso no es ni necesariamente correcto ni necesario. No es necesario porque la matemtica no
necesita "fundaciones indudables"29y no es necesariamente correcto porque, de hecho, la
matemtica trabaja perfectamente (especialmente en el rea de las matemticas aplicadas) sobre
la base que los axiomas son presumiblemente correctos y presumiblemente coherentes y que las
inferencias que siguen de esos presumibles axiomas son presumiblemente posibles (en el sentido
que se puede crear un modelo matemtico a partir de ellas.).30 Esta posicin ha llegado a ser
conocida como deductivismo.
Putnam propone considerar las matemticas como el estudio de las consecuencias de los axiomas,
usando teora de modelos. En consecuencia interpreta las proposiciones matemticas como
refirindose a un posible modelo para esas proposiciones. A diferencia de la sugerencia logicista
de Russell y otros, el deductivismo basa y transforma la matemtica en una lgica con un sentido
mucho ms amplio que el sentido logicista. La lgica deductivista incluye, por ejemplo, la teora de
conjuntos necesaria para estudiar las consecuencias que siguen de axiomas.31
Parece seguir que las verdades matemticas son solo verdades en relacin a un conjunto
especfico de axiomas. En la opinin de Putnam, si bien la condicin de veracidad (o correccin) de
esas verdades se satisface (o demuestra) mostrando que constituyen un modelo de ese conjunto
de axiomas (si se quiere: que constituyen un caso ejemplar de tales axiomas) el de los axiomas
solo puede ser asumido,32 y, por lo tanto, el todo est expuesto a error: "Las matemticas pueden
estar erradas, y no slo en el sentido de que las pruebas podran ser falaces o que los
axiomas podran no ser (si reflexionamos ms profundamente) realmente evidentes. Las
matemticas (o, ms bien, una teora matemtica) podra estar equivocado en el sentido de que
los axiomas "evidentes" podran ser falsos, y los axiomas que son verdaderos pueden no ser
"evidentes" en absoluto. Pero esto no hace que la bsqueda de la verdad matemtica sea
imposible ms de lo que lo ha hecho en la ciencia emprica, ni tampoco significa que no debemos
confiar en nuestra intuicin cuando no tenemos nada mejor para continuar." (Putnam, The Thesis
that Mathematics is logic, p 13)
Los deductivistas requieren que toda y cada prueba matemtica sea una deduccin. Ellos
reconocen que no todas tales pruebas son estrictamente vlidas (ver Validez
(epistemologa) y Validez (lgica)) , pero consideran que toda prueba informal debe ser
completable como deduccin a fin de ser considerada vlida.33
El proceso de formalizacin[editar]
Para que una teora T cualquiera sea formalizable, esta requiere constituir un sistema
axiomatizado34
La constitucin de un sistema axiomtico (o axiomatizacion de una teora) es la seleccin, para esa
teora, de un conjunto de proposiciones que sern consideradas como bsicas (es decir, desde las
cuales se puede, en principio, derivar el resto de las proposiciones que constituyen el cuerpo de la
teora) y evidentes o no demostrables35 (veraxioma)

Ejemplos de teoras axiomatizadas son: la geometra plana con los axiomas de Euclides, la
aritmtica (teora de nmeros) con los axiomas de Peano, la teora de conjuntos con los axiomas
de Zermelo-Fraenkel, la teora de probabilidades con los axiomas de Kolmogrov, etc.
A partir de lo anterior, y restringindonos slo a lgica de primer orden, se escoge un lenguaje L
de primer orden apropiado para T. (especficamente un Lenguaje formalizado). El vocabulario para
un lenguaje de primer orden formalizado consiste de cinco componentes o trminos. Cuatro de
ellos son siempre los mismos y no dependen de la teora T. Estos primeros cuatro trminos son:
1) Una lista enumerable de variables: Su nmero puede ser infinito, pero de cardinal igual a
cardinal de los nmeros naturales.

, el

2) Los smbolos para las conectivas: () para la negacin, () para la conjuncin, () para la
disyuncin (o inclusivo), () para la implicacin y () para la equivalencia o doble implicacin.
Estas conectivas son realmente las mismas de nuestro lenguaje usual.
3) El signo para la igualdad matemtica (=) imprescindible en la notacin matemtica.
4) Los Cuantificadores: ( ) universal y ( ) el existencial.
5) Los trmino (o parmetros) indefinidos (o "primitivos"). Dado que T es, ahora,
una teora axiomatizada, T trae implcita o explcitamente, ciertos trminos indefinidos extras a
los anteriores a veces tambin denominados elementos primitivos a los que generalmente se
les asigna sendos smbolos. Estos smbolos, uno por cada trmino indefinido de la teora T,
usualmente se denominan parmetros del lenguaje de primer orden L. Este conjunto de smbolos
corresponde al quinto trmino del vocabulario de nuestro lenguaje L para la teora T. Por ejemplo,
entre los trminos indefinidos de la geometra plana de Euclides, aparece punto, recta,
interestancia, incidencia, etc. y para cada uno de ellos usamos smbolos apropiados para
completar el vocabulario del lenguaje de primer orden L.
Otros ejemplos: Entre los trminos indefinidos de la aritmtica, en la axiomatizacin de Peano,
aparece cero, suma y multiplicacin, y para ellos uno escoge como sus smbolos, 0, + y
respectivamente. La teora de conjuntos ms fcil de formalizar es, la de Fraenkel-Zermelo (FZ),
por cuanto que esta teora, no tiene sino un solo trmino indefinido, esto es, la relacin de
pertenencia que simbolizamos como " ".
Puesto que los parmetros son los nicos smbolos en el vocabulario de un lenguaje de primer
orden que dependen de la teora previamente axiomatizada T, entonces, uno formaliza T
simplemente escogiendo estos parmetros. Una vez hecha esta seleccin, la totalidad de la
teora T queda formalizada. Se puede ahora expresar en el lenguaje de primer orden resultante L,
no slo los axiomas, definiciones y teoremas de T, si no mucho ms. Se puede expresar en ese
lenguaje L todos los axiomas de la lgica clsica y desde luego, tambin toda la argumentacin que
uno usa en la prueba de los teoremas de la teora T. Resumiendo, se puede ahora proseguir
enteramente con L; es decir, formalmente.
Desarrollos en la automatizacin[editar]

En 1993/4 surgi el proyecto QED36 (principalmente bajo el impulso de Robert S. Boyer): la

propuesta de creacin de una base de datos informatizada de todo el conocimiento matemtico,
estrictamente formalizado y con todas las pruebas habiendo sido verificados de forma automtica.
Para este proyecto se cre una lista de correo en la internet y se organizaron dos conferencias:
La primera tuvo lugar, en 1994, en el Laboratorio Nacional Argonney la segunda, en 1995, en
Varsovia, organizada por el grupo Mizar.37
Sin embargo, y a partir de 1996, el proyecto parece haber cesado sus actividades. En un artculo de
2007, Freek Wiedijk identifica dos razones para el fracaso del proyecto.:38

Muy pocos estn trabajando en la formalizacin de las matemticas. No hay una

aplicacin atractiva para las matemticas totalmente mecanizadas.

Las matemticas formalizadas an no se parecen a las matemticas reales, tradicionales.

Esto es en parte debido a la complejidad de la notacin matemtica, y en parte a las
limitaciones de los demostradores de teoremas y asistente de demostracin existentes. El
documento concluye que los principales contendientes, el sistema Mizar,
losDemostradores de teoremas HOL (por ejemplo, Isabelle) y el sistema interactivo Coq,
tienen graves deficiencias en su capacidad para expresar las matemticas.

An as se proponen regularmente proyectos del tipo QED, y la biblioteca Mizar ha logrado

formalizar una gran parte de las matemticas de pre-grado. A partir de 2007, es la mayor tal
biblioteca39
Notas y referencias[editar]
1. Volver arriba Weir, Alan: Formalism in the Philosophy of Mathematics, The
Stanford Encyclopedia of Philosophy (Fall 2011 Edition), Edward N. Zalta (ed.)
2. Volver arriba Hourya Benis Sinaceur Tarskis Practice and Philosophy: Between
Formalism and Pragmatism
3. Volver arriba Weir, Alan: Formalism in the Philosophy of Mathematics, The
Stanford Encyclopedia of Philosophy (Fall 2011 Edition), Edward N. Zalta (ed.)
4. Volver arriba M Resnik (1980): "Frege and the Philosophy of Mathematics"
5. Volver arriba Ver, por ejemplo: Adam Grabowski y Adam Naumowicz (2009)
Preface a Computer Reconstruction of the Body of Mathematics Volume 18(31) de
STUDIES IN LOGIC, GRAMMAR AND RHETORIC
6. Volver arriba Mizar Project Home Page
7. Volver arriba Ver, por ejemplo . Pedro Angulo L: Formalismo Matemtico y
Epistemologa ( Parte 1)
8. Volver arriba Citado por Douglas M. Jesseph (1993): Berkeley's Philosophy of
Mathematics , p 107

9. Volver arriba Diego Pareja H (2008): "el concepto moderno de formalismo que
incluye las tcnicas del razonamiento finitista debemos atribuirlo a Hilbert y a sus
discpulos." en 5. 8 David Hilbert y el formalismo. Razonamientos finistas son
aquellos "razonamientos absolutamente seguros y libres de cualquier clase de
sospecha" (ibid)
10. Volver arriba Ferran Mir S (2006) : "La conocida intervencin de David Hilbert
(1862-1943) en el Congreso Internacional de Paris de 1900, en la que planteo los
23 problemas matemticos a resolver durante el siglo XX, iba mucho ms all de la
mera relacin de dichos problemas. La conviccin claramente expresada por
Hilbert de que todo problema ha de tener su solucin basada en la pura razn [6,
Pags. 125 y ss.]: "En las matemticas no existe el ignorabimus". Un ao antes,
Hilbert haba publicado su Grundlagen der Geometrie, en el que estableca los
axiomas a partir de los cuales poda desarrollarse, mediante pura deduccin, toda
la disciplina en todas sus variantes, tanto euclideas como no euclideas. Mediante
este ideal axiomtico poda construir un raciocinio sobre objetos que no
necesitaba definir; al contrario de Euclides que haba precisado de una definicin
(intuitiva) de los objetos bsicos (punto, lnea, plano, etc.). El hecho de prescindir
de las definiciones de los objetos bsicos, hace que se le haya reprochado la
reduccin de las matemticas al estudio de las simples relaciones entre objetos
abstractos: un puro juego con smbolos. La combinacin del ideal axiomtico con
la conviccin de que todo problema debe tener solucin, conducir en los aos
sucesivos a la idea de completud del sistema axiomtico. En los primeros aos del
siglo XX, esta idea es todava vaga [13, Pg. 151], pero esta claro que Hilbert
considera que desde un reducido grupo de axiomas pueden derivarse la totalidad
de los teoremas aceptados en las matemticas ordinarias. Tambin esta presente
la idea de simplicidad: el conjunto de axiomas ha de ser lo ms reducido posible y
deben ser independientes unos de otros." en LA POLEMICA INTUICIONISMO
FORMALISMO EN LOS AOS 20.
11. Volver arriba H. B. Sinaceur (2009): 2.2 Tarski's versin of Formalism
en Logicism, Intuitionism, and Formalism: What Has Become of Them? Sten
Lindstrm et al, edtrs. pp 375-6
12. Volver arriba Ver Gmez-Torrente, Mario, Alfred Tarski, en The Stanford
Encyclopedia of Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.)
13. Volver arriba Tarski (1936) : "On the concept of logical consequence"
14. Volver arriba Para todo esto, ver J Hintikka (2004): ON TARSKIS ASSUMPTIONS
15. Volver arriba J. von Neumann (1931) "The Formalist Foundations of
Mathematics"
16. Volver arriba Para todo esto, ver Robert Leonard (2010): Von Neumann,
Morgenstern, and the Creation of Game Theory: From Chess to Social Science,
1900-1960

17. Volver arriba Sandye Gloria-Palermo (2010): Introducing Formalism in

Economics: The Growth Model of John von Neumann
18. Volver arriba P. Jordan, J. v. Neumann and E. Wigner: (1933): On an Algebraic
Generalization of the Quantum Mechanical Formalism Annals of Mathematics.Second Series, Vol. 35, No. 1 (Jan., 1934), pp. 29-64
19. Volver arriba Carnap, Rudolf, 1934/37, Logische Syntax der Sprache, Vienna:
Springer. Sin traduccin al castellano
20. Volver arriba Para una introduccin a esta materia, ver Thomas Ricketts :
"Frege, Carnap and Quine: Continuities and Discontinuities" en Carnap Brought
Home: The View from Jena Steve Awodey, Carsten Klein (2005) Edtrs, p 181 y sig
(esp p 191 y sig
21. Volver arriba Para una examinacion de estos asuntos, ver S. Awodey y A. W.
Carus: "How Carnap Could Have Replied to Godel. en Carnap Brought Home: The
View from Jena Steve Awodey, Carsten Klein (2005) Edtrs, pp 203-224
22. Volver arriba T Ricketts (op. cit, p 191): "Carnap llega a creer que ninguna
tentativa de formular el principio de las inferencias demostrativas (probatorias) y
mostrar que formulaciones alternativas son ya sea variables de notacin o
incorrectas puede tener xito. La tentativa de lograrlo conduce a un estril debate
entre las escuelas de lgicos, demasiado reminescentes de los debates que, a los
ojos de Carnap, marcan mucho de la historia de la filosofa"
23. Volver arriba Para todo esto, ver Weir, Alan, 4. Formalism and the Positivists
en Formalism in the Philosophy of Mathematics, The Stanford Encyclopedia of
Philosophy (Fall 2011 Edition), Edward N. Zalta (ed.)
24. Volver arriba Para una visin general de esta contribucin, ver Jess
Hernndez : LAS ESTRUCTURAS MATEMTICAS Y NICOLS BOURBAKI o Alberto
Campos: Axiomtica y geometra desde Euclides hasta Hilbert y Bourbaki
25. Volver arriba Aroca, Jos Manuel El progreso de la matemtica en los ltimos 25
aos
26. Volver arriba H Putnam (1967: A) The Thesis that Mathematics is Logic. y
B) Mathematics without foundations. El nfasis en la fecha es relevante. La
posicin de Putnam experimento cambios. Ver Russell Marcus (2006): E Pluribus
Putnams Unum
27. Volver arriba H Putnam (1967): Philosophical Papers: Volume 1, Mathematics,
Matter and Method The Thesis that Mathematics is logic p 20 (3) If-thenism as
a filosophy of mathematics
28. Volver arriba Ian J. Dove: En su forma ms simple el deductivismo es la visin
que la matemtica consiste enteramente de la derivacin de teoremas a partir de
axiomas. Es esa visin las nicas verdades en matemticas son verdades

condicionales de la forma Si (axioma); Entonces (teoremas)." en Certainty and

Error in Mathematics: Deductivism and the Claims of Mathematical Fallibilism, p 5
29. Volver arriba H Putnam: "no creo que haya una crisis en las fundaciones de las
matemticas. En realidad, no creo que la matemtica ya sea tiene o necesita
"fundaciones" en "Mathematics without foundations"
30. Volver arriba H Putnam: "Porque nuestra conviccin intuitiva que ciertos tipos
de estructuras finitas podran (nfasis de Putnam) existir juegan un papel esencial
en la aplicacin de las matemticas. Es una parte, y una parte importante, de la
pintura matemtica total que ciertos conjuntos de axiomas son asumidos como
representando estructuras presumiblemente posibles. .... As hay cuestiones que
que permanecen irreduciblemente un asunto de la filosofa de las matemticas
por sobre la "filosofa de la lgica": el asunto de iluminar y clarificar nuestra
aceptacin de estructuras matemticas como "presumiblemente posibles", o de
conjuntos de axiomas matemticos como "presumiblemente consistentes..." The
Thesis that Mathematics is Logic, conclusin (p 41-42)
31. Volver arriba Russell Marcus (2006): E Pluribus Putnams Unum p 6
32. Volver arriba Ian J. Dove: "A travs de evitar el asunto de la verdad de los
axiomas y teoremas, el deductivismo es capaz de evitar el problema de la
epistemologa de las matemticas y lo reemplaza con el de la epistemologa de la
lgica... el deductivismo es anti-realista o, por lo menos, neutral en relacin a la
existencia de objetos abstractos. " en Certainty and Error in Mathematics:
Deductivism and the Claims of Mathematical Fallibilism, p 5
33. Volver arriba Keith Hossack (1991): Access to Mathematical Objects.-Crtica:
Revista Hispanoamericana de Filosofa.- Vol XXIII, N 68 (Agosto 1991) 157- 181
34. Volver arriba Para toda esta seccin, ver Diego Pareja H (2008): 5. 8 David
Hilbert y el formalismo..- Ver tambin: S.N. Artemov (originator) Formalization
method en Encyclopedia of Mathematics
35. Volver arriba Frederick Suppe (2001) 1. Axiomatization en A Companion to the
Philosophy of Science W. H. Newton-Smith (Edtr)
36. Volver arriba The QED Manifesto in Automated Deduction - CADE 12, SpringerVerlag, Lecture Notes in Artificial Intelligence, Vol. 814, pp. 238-251, 1994. HTML
version
37. Volver arriba The QED Workshop II report
38. Volver arriba Wiedijk Freek, El Manifiesto QED Revisited de 2007
39. Volver arriba Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B.
Wells, Gradual Computerisation/Formalisation of Mathematical Texts into Mizar