Search results for "Demostració"
showing 6 items of 6 documents
La demostración matemática: problemática actual
2002
RESUMENAnalizamos la problemática actual en torno a la demostración matemática, con particular énfasis en las ideas introducidas por las demostraciones asistidas por ordenador y por la llamada matemática experimental. Examinamos además la influencia que pueden tener estas ideas sobre el concepto de demostración y proponemos una caracterización atendiendo a las diferentes funciones que puede desempeñar la demostración en su vertientes explicativa, comunicativa, sistematizadora, como incrementadora de la comprensión de resultados y como transmisora de conocimiento y convicción. Finalmente, se ofrecen algunas conclusiones sobre problemas relacionados con la intuición, la lógica, la certeza, el…
Monads in double categories
2010
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.
Razonamientos no rigurosos y demostraciones asistidas por ordenador
2007
RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM …
Habilidades de demostración de estudiantes de educación secundaria con diferentes grados de talento matemático
2014
Esta memoria se sitúa en el contexto de la enseñanaza de la demostración, tanto en la Educación Secundaria como en niveles de enseñanaza superiores. A día de hoy, nadie duda de la importancia de la demostración en matemáticas y, en general, principalmente en la secundaria, los estudiantes muestran muchísimas carencias al respecto. Este déficit proviene de un cúmulo de factores: el currículum, los libros de texto, las dificultades de los alumnos en el aprendizaje y de los profesores a la hora de enseñar, etc. Algunos matemáticos y didactas al utilizar el término demostración se refieren única y exclusivamente a las demostraciones deductivas formales (Knowles, 1998); otros, tienen una visión …
Pascal, entre Descartes y el pirronismo
1994
En la epistemología moderna, fuertemente condicionada por el modelo axiomático de la matemática, cobra singular relevancia el problema de la fundamentación del conocimiento, que llega a convertirse en uno de los ejes principales de la polémica entre el escepticismo filosófico y sus detractores. El propósito de este trabajo es definir la posición de Pascal en un tema central de dicha polémica: el conocimiento de los primeros principios. Partiendo de su doctrina de la incapacidad de la razón, tanto para justificar teóricamente dicho conocimiento, como para destruir nuestra confianza en el mismo, trataré de mostrar que la crítica de Pascal al escepticismo extremo representa una alternativa a l…
Diseño de tareas de geometría tridimensional que promueven la generación de incertidumbre y necesidad intelectual de argumentar en futuros profesores…
2020
En esta tesis se presentan los resultados de una investigación de diseño desarrollada en un dos versiones de un curso de geometría tridimensional para profesores en formación, en la Universidad Pedagógica Nacional de Colombia. La investigación de diseño consistió en el diseño, desarrollo y evaluación de una secuencia de instrucción en un curso de geometría tridimensional. Secuencia apoyada en el uso de modelos físicos y un entorno de geometría dinámica 3D, cuya intención es promover en los estudiantes futuros maestros la generación de incertidumbre y producción de necesidad intelectual para involucrarlos en procesos de argumentación y demostración. Los objetivos específicos del trabajo son:…