Diferencia entre revisiones de «Filosofía de las matemáticas»
Contenido eliminado Contenido añadido
m Bot: [[:m:w:en:Laurence_BonJour|Bonjour]] → [[:en:Laurence_BonJour|Bonjour]] ,[[:m:w:es:Wittgenstein#Diferencias_entre_el_primer_y_el_segundo_Wittgenstein|en el sentido de Wittgenstein]] → [… ,Removed useless prefix PR:CW#82 |
m →Constructivismo: erratas |
||
Línea 105:
===Constructivismo===
A partir de las sugerencias de Brouwer y Márkov, [[Erret Bishop]]
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>
===Finitismo===
|