Diferencia entre revisiones de «Filosofía de las matemáticas»
Contenido eliminado Contenido añadido
m (Bot) Correcciones ortográficas |
m (Bot) Correcciones ortográficas |
||
Línea 105:
===Constructivismo===
A partir de las sugerencias de Brouwer y Márkov, [[Erret Bishop]] postulo el [[Constructivismo (matemáticas)|Constructivismo]].<ref> Bishop, E. (1967): [http://books.google.es/books/about/Foundations_of_constructive_analysis.html?hl=es&id=Z7I-AAAAIAAJ Foundations of Constructive Analysis, New York: McGraw-Hill] (ver [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183531480 Revisión del libro] (ambos en inglés) </ref> Modificando algunas percepciones de los autores mencionados de tal manera que la propuesta constructivista resulta más restrictiva que las sugerencias de Brouwer y Márkov pero, al mismo tiempo, logrando que todos sus teoremas resulten compatibles tanto con esas sugerencias como con las de la matemática clásica, cosa que no ocurre con las otras dos.<ref>Gustavo Fernandez D: "SEMINARIO DE LOGICA Y FILOSOFIA DE LA CIENCIA I,
Bishop logra esta flexibilidad a través de no definir lo que llama "rutinas finitas" ([[algoritmo]]s) que constituyen el proceso de demostración. Si bien esto parece introducir una cierta falta de precisión, fuerza a quienes practican esta aproximación a utilizar estrictamente la lógica intuicionista. Parece ser que utilizar tal lógica equivale a practicar matemática algorítmica formal. Si eso fuera el caso, la aproximación intuicionista podría ser implementada en relación a cualquier objeto matemático, no solo esa clase especial de "objetos constructivos"<ref> Bridges, Douglas, punto 3.3: '''Bishop's Constructive Mathematics''' en [http://plato.stanford.edu/archives/fall2012/entries/mathematics-constructive/ Constructive Mathematics], The Stanford Encyclopedia of Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.) </ref>
| |||