demostración
51Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi …
52Problemas de Hilbert — Saltar a navegación, búsqueda Los problemas de Hilbert conforman una lista de 23 problemas matemáticos compilados por el matemático alemán David Hilbert para la conferencia en París del Congreso Internacional de Matemáticos de 1900. Los problemas …
53Metamatemática — La metamatemática es el estudio matemático de los fundamentos de las matemáticas. Contenido 1 Contexto histórico del concepto 1.1 La paradoja de Richard 1.2 La demostración de Zermelo …
54Segundos analíticos — (en griego antiguo Αναλυτικών υστέρων, en latín Analytica posteriora) es un texto del filósofo griego Aristóteles de Estagira. Se compone de dos libros (I: 71a 89b, II: 90a 100b) y no existen dudas acerca de la autenticidad de la obra. Es el… …
55Deportes olímpicos — Saltar a navegación, búsqueda Juego de la soga, en los Juegos Olímpicos de San Luis 190 …
56Teorema de la bisectriz — En este diagrama, siendo A el ángulo bisecado, BA:AC = BD:DC El teorema de la bisectriz del ángulo interno de un triángulo es un teorema de la geometría elemental la cual es una consecuencia o corolario del Teorema de Tales …
57Teorema de la bola peluda — Si un campo vectorial sobre una esfera se simboliza por pelos de longitud constante, el teorema de la bola peluda estipula que la esfera contiene al menos un rizo. La figura contiene dos, uno en cada polo. En matemática, y más precisamente en… …
58Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …
59ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… …
60Andrew Wiles — Sir Andrew Wiles Sir Andrew John Wiles Nacimiento 11 de abril de 1953 (58 años) Cambridge, Inglaterra …
