Resultados de la búsqueda

…ntes colores"''. En 1976, K. Appel y V. Haken, con la ayuda de cálculos de ordenador diseñados al efecto, demostraron que es posible colorear cualquier mapa con Una '''prueba asistida por ordenador''' es una [[demostración en matemática|demostración matemática]] que ha sid …

…ternas pitagóricas]], que se resolvió utilizando una [[prueba asistida por ordenador]] en mayo de 2016.<ref name="nature">{{cita publicación|apellido=Lamb|nombr …atisfaga la condición <math>a^2+b^2=c^2</math> sean todos del mismo color. Por ejemplo, en el triplete pitagórico 3, 4 y 5 (<math>3^2+4^2=5^2</math>), si …

…resueltos de la matemática|problemas matemáticos no resueltos]] propuesta por [[Stephen Smale|Steve Smale]] en 2000.<ref>{{cita publicación |autor=[[Step | Demostrada por [[Grigori Perelmán]].<ref>{{cita libro |apellidos=Szpiro |nombre=George |tí …

…–859|authorlink=Robin Thomas (mathematician) |issue=7}}</ref> Una serie de pruebas falsas y falsos [[contraejemplo]]s han aparecido desde el primer enunciado …ba no fue aceptada por todos los matemáticos porque la prueba asistida por ordenador era imposible para un ser humano para comprobar a mano ( Swart 1980 ). Des …

…e cerrado hexagonal (derecha).]]La '''conjetura de Kepler''' fue formulada por el [[físico]], [[matemático]] y [[astrónomo]] alemán [[Johannes Kepler]] en …[Annals of Mathematics]]''. La comprobación de Hales es una [[demostración por casos]] en la que se prueban agrupamientos mediante complejos [[Cálculo|cál …

….org/details/adventuresingrou0000joyn/page/7 }}</ref> que fue desarrollada por [[David Singmaster]]. …ución para [[superflip]] en 24 cuartos de vuelta, con su minimidad probada por Jerry Bryan.<ref name="reid-bryan_1995"/> En 1998, se encontró una nueva po …

…rick (1980) mostró que los pesos de las dos triangulaciones pueden diferir por un factor lineal.<ref>See also {{Harvtxt|Manacher|Zobrist|1979}}.</ref> …booleana|un literal en cada cláusula.]] La demostración empleó ayuda de un ordenador para verificar el comportamiento correcto de la misma. …

[[Archivo:Euclid-proof.jpg|miniaturadeimagen|Demostración escrita por Euclides en sus Elementos.]] …oremas usando [[lógica deductiva]]. Su libro, [[los elementos]], fue leído por cualquiera que se considerara educado en el occidente hasta mediados del {{ …

…parten entre sí una cara completa de dimensión {{math|(''n'' &minus; 1)}}. Por ejemplo, en cualquier mosaico del plano con cuadrados idénticos, existen se …mensión siete como máximo y falso en todas las dimensiones superiores. Las pruebas de estos resultados utilizan una reformulación del problema en términos del …

…zles and Logic Problems]]'' publicaba una sección llamada ''Number place'' por lo que este enigma matemático se convertiría en pasatiempos aunque años más …udoku se presenta normalmente como una tabla de 9&nbsp;×&nbsp;9, compuesta por subtablas de 3&nbsp;×&nbsp;3 denominadas "regiones" (también se le llaman… …

…apariencia física de Euclides durante su vida sobrevivió a la antigüedad. Por lo tanto, la representación de Euclides en las obras de arte depende de la …iga patrones.<ref name=BROTS /><ref name="BARRO">Barrow, John D. (1997) ''¿Por qué el mundo es matemático?'', Barcelona: Grijalbo ISBN 84-253-3123-4</ref> …