Un poco de matemática constructiva
Tipo de documento
Autores
Lista de autores
Dubuc, Eduardo J., Fragala, Marina y Valdora, Marina
Resumen
La matematica dejó de ser constructiva cuando se incorporó la utilización de la teoría de conjuntos, y en particular el axioma de elección en demostraciones de existencia. Simultáneamente comenzó a utilizarse el tercero excluido como método de demostración. Recordar que el tercero excluido es el hecho que le da validez a las demostraciones por el absurdo en lógica clásica. Al principio estas técnicas despertaron mucha desconfianza, y lo que hoy se acepta sin la menor objeción fue altamente cuestionado por la escuela intuicionista.
Fecha
2005
Tipo de fecha
Estado publicación
Términos clave
Comprensión | Pensamientos matemáticos | Procesos de justificación | Reflexión sobre la enseñanza
Enfoque
Idioma
Revisado por pares
Formato del archivo
Referencias
A. Joyal, Conferencia no publicada, Universidad de Quebec en Montreal. (1978). B.L. van der Waerden, Modern Algebra, revised English edition, Frederick Ungar Publishing Co, New York (1949-1953).