¡Más rápido que el navegador!
277 relaciones: Absorción (lógica), ACL2, Al-Mutamán, Alain de Lille, Alan Turing, Alfred Tarski, Algoritmo, Algoritmo de Ford-Fulkerson, Argumento de Penrose-Lucas, Aritmética de Heyting, Aurelio Baldor, Axioma, Axioma de elección numerable, Axiomas de los números reales, Álgebra de Boole, Ética (Spinoza), Óptica de Euclides, Último teorema de Fermat, B-spline, Banū Mūsā, Blanche Descartes, C. A. R. Hoare, Categorificación, Cálculo, Cesare Arzelà, Ciencia cognitiva, Ciencias formales, Completitud (lógica), Concepto primitivo, Conjetura, Conjetura de Catalan, Conjetura de Kepler, Conjetura del panal de abeja, Consistencia (lógica), Corolario, Criterio de la primera derivada, Cuadratura del círculo, Dagobert Soergel, David Hilbert, De revolutionibus orbium coelestium, Decidibilidad, Definición (matemática), Demostración automática de teoremas, Demostración en matemática, Desigualdad de Finsler-Hadwiger, Desigualdad de Friedrichs, Desigualdad de Ono, Desigualdad triangular, Dilema constructivo, Dilema destructivo, ..., Dirrty, Disquisitiones arithmeticae, Doble negación (lógica), E8 (matemáticas), Ecología, Ecuación de Price, Eduard Heine, Ejemplo, El orden del discurso, Elegancia, Eliminación de la disyunción, Eliminación del bicondicional, Emmy Noether, Entscheidungsproblem, Espacio euclídeo, Espacio metrizable, Eterno retorno, Euclides, Exportación (lógica), Fórmula bien formada, Filosofía de las matemáticas, Flujo turbulento, Forma de Killing, Formalismo, Frank P. Ramsey, Función de Liapunov, General Problem Solver, Geometría, Geometría de las transformaciones, Geometría euclidiana, Geometría proyectiva, Giovanni Ceva, Grace Chisholm Young, Grupo abeliano libre, Heurística, Hidráulica, Hilary Putnam, Hipócrates de Quíos, Hipótesis (lógica), Hipótesis de Poincaré, Historia de la geometría, Ibn Mu'adh al-Jayyani, Id est, Identidad de Euler, Implicación material, Inducción estructural y definiciones recursivas, Inferencia, Ingrid Daubechies, Inteligencia artificial, Introducción de la disyunción, Introducción del bicondicional, Intuición lógica, Jean le Rond d'Alembert, La isla misteriosa, La variación cuadrática, Larry Wos, Lógica modal, Lógica no clásica, Lógica plurivalente, Lema (matemáticas), Lema de Berge, Lenguaje formalizado, Lenguaje objeto, Ley (desambiguación), Ley científica, Ley de la física, Ley de los grandes números, Leyes de De Morgan, Lo crudo y lo cocido, Logic Theorist, Marina Ratner, Matemática griega, Matemáticas, Matemáticas inversas, Matriz simétrica, Maude (lenguaje de programación), Método científico, Mecánica cuántica supersimétrica, Metamatemática, Michel Franco, Minimax, Modelo económico, Modelos completos, Modus tollendo ponens, Necesario, No filosofía, Or Adonai, Oscar Zariski, Paradoja de Banach-Tarski, Patricia Rivadeneira, Paul Erdős, Paul Valéry, Pequeño teorema de Fermat, Piero della Francesca, Porisma, Postulado, Poynting, Premisa, Primer principio, Primer teorema de Shannon, Principio de Babinet, Principio de Harnack, Probador de teoremas lógicos, Problema del isomorfismo de grupos, Proofs from THE BOOK, Propiedad del límite superior mínimo, Proposición, Prueba asistida por ordenador, Prueba formal, Prueba por contradicción, Pruebas y Refutaciones, Quinto postulado de Euclides, Razonamiento deductivo, Rectas tangentes a circunferencias, Regla de Cramer, Relaciones métricas en el triángulo, Remuestreo, Revolución científica, Rigor matemático, Ruina del apostador, Sangaku, Segundo teorema de Shannon, Seinosuke Toda, Sentencia (lógica), Sergio Citti, Sexteto de Soddy, Siglo XVII, Silogismo hipotético, Simplificación, Simulación, Sistema, Sistema axiomático, Sistema deductivo, Sistema formal, Srinivasa Ramanujan, Suma de los ángulos de un triángulo, Tabla de verdad, Tautología (regla de inferencia), Teoría, Teoría de la computabilidad, Teoría de la computación, Teoría de la disociación electrolítica, Teoría de operadores, Teoría del segundo mejor, Teoría filosófica, Teorema (desambiguación), Teorema adiabático, Teorema CAP, Teorema de Apolonio, Teorema de Baglini, Teorema de Bell, Teorema de Borde-Guth-Vilenkin, Teorema de Cantor-Bernstein-Schröder, Teorema de Carathéodory-Jacobi-Lie, Teorema de Carmichael, Teorema de Cayley-Bacharach, Teorema de Chen, Teorema de Clairaut, Teorema de Cook, Teorema de Darboux, Teorema de desplazamiento exponencial, Teorema de Dirichlet sobre progresiones aritméticas, Teorema de Ehrenfest, Teorema de Euclides-Euler, Teorema de Euler para poliedros, Teorema de Fermat (análisis), Teorema de Fermat sobre la suma de dos cuadrados, Teorema de Fitting, Teorema de Fortescue, Teorema de Frege, Teorema de Frobenius (álgebra), Teorema de Heine-Cantor, Teorema de Hurwitz, Teorema de imposibilidad, Teorema de Kawasaki, Teorema de Knaster-Tarski, Teorema de la amistad, Teorema de la bisectriz, Teorema de la función abierta, Teorema de la invariancia, Teorema de la mariposa, Teorema de la PAQ-reducción, Teorema de la velocidad media, Teorema de Laguerre, Teorema de Löwenheim-Skolem, Teorema de Lee Hwa Chung, Teorema de Li y Yorke, Teorema de los círculos de Descartes, Teorema de los ceros de Hilbert, Teorema de los cuatro colores, Teorema de los tres círculos de Hadamard, Teorema de Maekawa, Teorema de Montel, Teorema de muestreo de Nyquist-Shannon, Teorema de Okishio, Teorema de Perron-Frobenius, Teorema de Picard-Lindelöf, Teorema de Pitágoras, Teorema de Sonnenschein-Mantel-Debreu, Teorema de Stolper-Samuelson, Teorema de Taniyama-Shimura, Teorema de Tellegen, Teorema de Thomas, Teorema de Toda, Teorema del centroide de Pappus, Teorema del coloreo de carreteras, Teorema del emparedado, Teorema del hiperplano de separación, Teorema del incremento lineal de velocidad, Teorema del resto, Teorema del seno, Teorema del valor medio, Teorema fundamental, Teorema fundamental de la selección natural, Teorema π de Vaschy-Buckingham, Teorema No Free Lunch, Teoremas fundamentales de la economía del bienestar, Termodinámica del no equilibrio, Test de primalidad, Transposición (lógica), Trigonometría racional, Trisección del ángulo, Václav J. Havel, Verificación formal, Vincenzo Viviani, Yuktibhāṣā, 1976. Expandir índice (227 más) »
Absorción (lógica)
Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.
¡Nuevo!!: Teorema y Absorción (lógica) · Ver más »
ACL2
ACL2 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.
¡Nuevo!!: Teorema y ACL2 · Ver más »
Al-Mutamán
Yúsuf al-Mutaman o Al-Mutamin o Almutaman (árabe: المؤتمن al-mu'taman) fue rey de la taifa de Zaragoza de la dinastía hudí entre 1081 y 1085.
¡Nuevo!!: Teorema y Al-Mutamán · Ver más »
Alain de Lille
Alain de Lille (Lille, 1115-Abadía de Cîteaux, 29 de diciembre de 1202) fue un teólogo y poeta francés.
¡Nuevo!!: Teorema y Alain de Lille · Ver más »
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Teorema y Alan Turing · Ver más »
Alfred Tarski
Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco.
¡Nuevo!!: Teorema y Alfred Tarski · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Teorema y Algoritmo · Ver más »
Algoritmo de Ford-Fulkerson
El algoritmo de Ford-Fulkerson propone buscar caminos en los que se pueda aumentar el flujo, hasta que se alcance el flujo máximo.
¡Nuevo!!: Teorema y Algoritmo de Ford-Fulkerson · Ver más »
Argumento de Penrose-Lucas
El argumento de Penrose-Lucas es un argumento lógico parcialmente basado en una teoría desarrollada por el matemático y lógico Kurt Gödel.
¡Nuevo!!: Teorema y Argumento de Penrose-Lucas · Ver más »
Aritmética de Heyting
En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista.
¡Nuevo!!: Teorema y Aritmética de Heyting · Ver más »
Aurelio Baldor
Aurelio Ángel Baldor de la Vega (La Habana, 22 de octubre de 1906-Miami, 2 de abril de 1978) fue un matemático, profesor, escritor y abogado cubano.
¡Nuevo!!: Teorema y Aurelio Baldor · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Teorema y Axioma · Ver más »
Axioma de elección numerable
El axioma de elección numerable o axioma de elección contable, denotado ACω, es un axioma de teoría de conjuntos que afirma que toda colección numerable de conjuntos no vacíos debe tener una función de elección.
¡Nuevo!!: Teorema y Axioma de elección numerable · Ver más »
Axiomas de los números reales
En matemáticas para que una afirmación sea considerada válida debe o bien estar contenida dentro de una base de afirmaciones de partida, los denominados axiomas, o debe poder demostrarse a partir de los mismos.
¡Nuevo!!: Teorema y Axiomas de los números reales · Ver más »
Álgebra de Boole
En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.
¡Nuevo!!: Teorema y Álgebra de Boole · Ver más »
Ética (Spinoza)
Ética o Ética demostrada según el orden geométrico (en latín: Ethica ordine geometrico demonstrata o Ethica more geometrico demonstrata; abreviado: E) es un tratado del filósofo neerlandés Baruch Spinoza, escrito entre 1661 y 1675 en latín y publicado póstumamente en 1677 en la Opera posthuma.
¡Nuevo!!: Teorema y Ética (Spinoza) · Ver más »
Óptica de Euclides
La Óptica de Euclides (en griego, Ὀπτικά) es un trabajo sobre la geometría de la visión escrito por el matemático griego Euclides alrededor del 300 a. C. El manuscrito de la Óptica más antiguo que se conserva está escrito en griego y data del siglo X. El trabajo se centra casi por completo en la geometría de la visión, con pocas referencias a los aspectos físicos o psicológicos del sentido de la vista.
¡Nuevo!!: Teorema y Óptica de Euclides · Ver más »
Último teorema de Fermat
En teoría de números, el último teorema de Fermat, o teorema de Fermat-Wiles, es uno de los teoremas más famosos en la historia de las matemáticas.
¡Nuevo!!: Teorema y Último teorema de Fermat · Ver más »
B-spline
En el subcampo matemático de análisis numérico, una B-spline o Basis spline (o traducido una línea polinómica suave básica), es una función spline que tiene el mínimo soporte con respecto a un determinado grado, suavidad y partición del dominio.
¡Nuevo!!: Teorema y B-spline · Ver más »
Banū Mūsā
Los hermanos "Banū Mūsā" («Hijos de Moisés») fueron Abū Jaʿfar, Muḥammad ibn Mūsā ibn Shākir (antes de 803-febrero de 873); Abū al‐Qāsim, Ahmad ibn Mūsā ibn Shākir (d.); y Al-Ḥasan ibn Mūsā ibn Shākir (d.), tres eruditos persas del que trabajaron en Bagdad durante la Edad de Oro del islam.
¡Nuevo!!: Teorema y Banū Mūsā · Ver más »
Blanche Descartes
Blanche Descartes fue un seudónimo colaborativo utilizado por los matemáticos británicos R. Leonard Brooks, Arthur Harold Stone, Cedric Smith y W. T. Tutte.
¡Nuevo!!: Teorema y Blanche Descartes · Ver más »
C. A. R. Hoare
Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación.
¡Nuevo!!: Teorema y C. A. R. Hoare · Ver más »
Categorificación
En matemáticas, categorificar es el proceso de reemplazar teoremas de la teoría de conjuntos por teoremas equivalentes en teoría de categorías.
¡Nuevo!!: Teorema y Categorificación · Ver más »
Cálculo
En general el término cálculo (del latín calculus, piedrecita, usado para contar o como ayuda al calcular) hace referencia al resultado correspondiente a la acción de calcular.
¡Nuevo!!: Teorema y Cálculo · Ver más »
Cesare Arzelà
Cesare Arzelà (6 de marzo de 1847-15 de marzo de 1912) fue un matemático italiano que enseñó en la Universidad de Bolonia y es reconocido por sus aportes en la teoría de funciones, particularmente por su caracterización de sucesiones de funciones continuas, generalizando la dada anteriormente por Giulio Ascoli en el teorema de Arzelà-Ascoli.
¡Nuevo!!: Teorema y Cesare Arzelà · Ver más »
Ciencia cognitiva
Se denomina ciencia cognitiva al estudio científico de la mente y sus procesos.
¡Nuevo!!: Teorema y Ciencia cognitiva · Ver más »
Ciencias formales
Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales.
¡Nuevo!!: Teorema y Ciencias formales · Ver más »
Completitud (lógica)
En metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.
¡Nuevo!!: Teorema y Completitud (lógica) · Ver más »
Concepto primitivo
En lógica, un concepto primitivo, concepto básico, concepto fundamental o noción primitiva es un concepto no definido en un contexto determinado.
¡Nuevo!!: Teorema y Concepto primitivo · Ver más »
Conjetura
Por conjetura se entiende el juicio que se forma (moral, ético o matemático) de las cosas o sucesos por indicios u observaciones.
¡Nuevo!!: Teorema y Conjetura · Ver más »
Conjetura de Catalan
La conjetura de Catalan (también conocida como teorema de Mihăilescu) es un teorema de teoría de números propuesto por el matemático Eugène Charles Catalan en 1884 y demostrado por primera vez por Preda Mihăilescu en abril de 2002.
¡Nuevo!!: Teorema y Conjetura de Catalan · Ver más »
Conjetura de Kepler
La conjetura de Kepler fue formulada por el físico, matemático y astrónomo alemán Johannes Kepler en 1611.
¡Nuevo!!: Teorema y Conjetura de Kepler · Ver más »
Conjetura del panal de abeja
La conjetura del panal de abeja era una conjetura hasta que se demostró y se convirtió en teorema matemático que afirma que un teselado hexagonal (retícula en forma de panal de abeja) es la mejor manera de dividir una superficie en regiones de igual área y con el mínimo perímetro total.
¡Nuevo!!: Teorema y Conjetura del panal de abeja · Ver más »
Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
¡Nuevo!!: Teorema y Consistencia (lógica) · Ver más »
Corolario
Corolario (del latín corollarium) es un concepto referido a una proposición tanto en matemática como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin necesidad de invertir esfuerzo adicional en su demostración.
¡Nuevo!!: Teorema y Corolario · Ver más »
Criterio de la primera derivada
Se llama primera derivada al método o teorema utilizado frecuentemente en el cálculo matemático para determinar los mínimos y máximos relativos que pueden existir en una función mediante el uso de la primera derivada o derivada principal, donde se observa el cambio de signo, en un intervalo abierto señalado que contiene al punto crítico c.
¡Nuevo!!: Teorema y Criterio de la primera derivada · Ver más »
Cuadratura del círculo
Cuadrar el círculo es uno de los tres problemas clásicos de la matemática antigua.
¡Nuevo!!: Teorema y Cuadratura del círculo · Ver más »
Dagobert Soergel
Dagobert Soergel (7 de enero de 1940) es un informatólogo y documentalista científico alemán.
¡Nuevo!!: Teorema y Dagobert Soergel · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Teorema y David Hilbert · Ver más »
De revolutionibus orbium coelestium
De revolutionibus orbium coelestium (Sobre las revoluciones de las orbes celestes) es la obra fundamental del astrónomo Nicolás Copérnico, donde expone su teoría heliocéntrica.
¡Nuevo!!: Teorema y De revolutionibus orbium coelestium · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Teorema y Decidibilidad · Ver más »
Definición (matemática)
En matemática, definición, en términos generales, es delimitar, o sea, indicar, expresar el límite que separa un objeto de todos los demás.
¡Nuevo!!: Teorema y Definición (matemática) · Ver más »
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
¡Nuevo!!: Teorema y Demostración automática de teoremas · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Teorema y Demostración en matemática · Ver más »
Desigualdad de Finsler-Hadwiger
En matemáticas, la desigualdad de Finsler-Hadwiger es un teorema sobre triángulos en el plano euclidiano, nombrado en referencia a Hugo Hadwiger y Paul Finsler.
¡Nuevo!!: Teorema y Desigualdad de Finsler-Hadwiger · Ver más »
Desigualdad de Friedrichs
En matemáticas la desigualdad de Friedrichs es un teorema de análisis funcional gracias a Kurt Friedrichs.
¡Nuevo!!: Teorema y Desigualdad de Friedrichs · Ver más »
Desigualdad de Ono
En matemáticas, la desigualdad de Ono es un teorema sobre triángulos en el plano euclídeo.
¡Nuevo!!: Teorema y Desigualdad de Ono · Ver más »
Desigualdad triangular
La desigualdad triangular o desigualdad de Minkowski es un teorema de geometría euclidiana que establece: Este resultado ha sido generalizado a otros contextos más sofisticados como espacios vectoriales.
¡Nuevo!!: Teorema y Desigualdad triangular · Ver más »
Dilema constructivo
Dilema constructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Teorema y Dilema constructivo · Ver más »
Dilema destructivo
Dilema destructivo es una regla de inferencia válida de lógica proposicional.
¡Nuevo!!: Teorema y Dilema destructivo · Ver más »
Dirrty
«Dirrty» (en español Sucia) es una canción de géneros pop y rap, escrita por la cantante estadounidense Christina Aguilera, el rapero Redman y el compositor Rockwilder, para el segundo álbum de estudio de la primera, titulado Stripped.
¡Nuevo!!: Teorema y Dirrty · Ver más »
Disquisitiones arithmeticae
Disquisitiones arithmeticae es un libro de teoría de números escrito por el matemático alemán Carl Friedrich Gauss en 1798 cuando tenía 21 años, y publicado por primera vez en 1801 en Leipzig.
¡Nuevo!!: Teorema y Disquisitiones arithmeticae · Ver más »
Doble negación (lógica)
En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es cierta".
¡Nuevo!!: Teorema y Doble negación (lógica) · Ver más »
E8 (matemáticas)
En matemática, \mathbf es el nombre de un grupo de Lie (el más grande) simple y excepcional y del álgebra de Lie que le está asociada.
¡Nuevo!!: Teorema y E8 (matemáticas) · Ver más »
Ecología
La ecología es la rama de la biología que estudia las relaciones de los diferentes seres vivos entre sí y su relación con el entorno: «la biología de los ecosistemas».
¡Nuevo!!: Teorema y Ecología · Ver más »
Ecuación de Price
La ecuación de Price es una ecuación de covarianza que proporciona una descripción matemática de la evolución y la selección natural.
¡Nuevo!!: Teorema y Ecuación de Price · Ver más »
Eduard Heine
Heinrich Eduard Heine (Berlín, 16 de marzo de 1821 – Halle, 21 de octubre de 1881) fue un matemático alemán, célebre por sus trabajos sobre las funciones especiales y el análisis real.
¡Nuevo!!: Teorema y Eduard Heine · Ver más »
Ejemplo
Un ejemplo sirve para explicar o ilustrar una afirmación general, o para proporcionar un caso particular que hace de modelo para el caso general.
¡Nuevo!!: Teorema y Ejemplo · Ver más »
El orden del discurso
El orden del discurso lección inaugural que ofreció Michel Foucault en 1970 en el Collège de France, cuando sucedió a Jean Hyppolite en la cátedra de “Historia de los sistemas de pensamiento”. En dicha lección, no da una visión genealógica como en el resto de sus obras.
¡Nuevo!!: Teorema y El orden del discurso · Ver más »
Elegancia
La elegancia o el gálibo es la apreciación estética que se asocia con el buen gusto, la distinción o el estilo de lo que hace que algo o alguien se destaque del resto, por ser agradable, armonioso, delicado, bello, fino, alejado de todo lo que puede parecer burdo, vulgar, estridente, común o recargado.
¡Nuevo!!: Teorema y Elegancia · Ver más »
Eliminación de la disyunción
En lógica proposicional, la eliminación de la disyunción (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica.
¡Nuevo!!: Teorema y Eliminación de la disyunción · Ver más »
Eliminación del bicondicional
La eliminación del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional.
¡Nuevo!!: Teorema y Eliminación del bicondicional · Ver más »
Emmy Noether
Emmy Noether (pronunciado en alemán; Erlangen, Baviera, Alemania, 23 de marzo de 1882 - Bryn Mawr, Pensilvania, Estados Unidos, 14 de abril de 1935) fue una matemática alemana, de ascendencia judía, especialista en la teoría de invariantes y conocida por sus contribuciones de fundamental importancia en los campos de la física teórica y la álgebra abstracta.
¡Nuevo!!: Teorema y Emmy Noether · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula del cálculo de primer orden es un teorema.
¡Nuevo!!: Teorema y Entscheidungsproblem · Ver más »
Espacio euclídeo
El espacio euclídeo (también llamado espacio euclidiano) es un tipo de espacio geométrico donde se satisfacen los axiomas de Euclides de la geometría.
¡Nuevo!!: Teorema y Espacio euclídeo · Ver más »
Espacio metrizable
En topología y áreas relacionadas de las matemáticas, un espacio metrizable es un espacio topológico que es homeomorfo a un espacio métrico.
¡Nuevo!!: Teorema y Espacio metrizable · Ver más »
Eterno retorno
El eterno retorno es una concepción filosófica del tiempo postulada en forma escrita por primera vez en Occidente por el estoicismo que planteaba una repetición del mundo en donde este se extinguía para volver a crearse.
¡Nuevo!!: Teorema y Eterno retorno · Ver más »
Euclides
Euclides (en griego Εὐκλείδης, Eukleidēs, latín Euclīdēs) fue un matemático y geómetra griego (ca. 325 a. C.-ca. 265 a. C.). Se le conoce como "el padre de la geometría".
¡Nuevo!!: Teorema y Euclides · Ver más »
Exportación (lógica)
Exportación es una regla de reemplazo válida de la lógica proposicional.
¡Nuevo!!: Teorema y Exportación (lógica) · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Teorema y Fórmula bien formada · Ver más »
Filosofía de las matemáticas
La filosofía de las matemáticas es un área de la filosofía teórica que trata de comprender y explicar los requisitos, el objeto, el método y la naturaleza de las matemáticas.
¡Nuevo!!: Teorema y Filosofía de las matemáticas · Ver más »
Flujo turbulento
En mecánica de los fluidos, se llama flujo turbulento al movimiento de un fluido que se da en forma caótica, en el que las partículas se mueven desordenadamente y las trayectorias de las partículas se encuentran formando remolinos aperiódicos lo que ocurre en una gran cantidad de configuraciones como canales, tuberías, reactores sean bioquímicos, físicos o nuclear.
¡Nuevo!!: Teorema y Flujo turbulento · Ver más »
Forma de Killing
En matemáticas, la forma de killing de un álgebra de Lie, llamada así por Wilhelm Killing, es una forma bilineal simétrica que desempeña un papel básico en las teorías de grupos de Lie y álgebras de Lie.
¡Nuevo!!: Teorema y Forma de Killing · Ver más »
Formalismo
El término formalismo hace referencia, en esta enciclopedia.
¡Nuevo!!: Teorema y Formalismo · Ver más »
Frank P. Ramsey
Frank Plumpton Ramsey (22 de febrero, 1903- 19 de enero, 1930) fue un matemático y filósofo inglés cuyos estudios y actividad docente tuvieron lugar en la Universidad de Cambridge.
¡Nuevo!!: Teorema y Frank P. Ramsey · Ver más »
Función de Liapunov
En matemática, las funciones de Liapunov, planteadas principalmente por el ruso Aleksandr Liapunov, son funciones que demuestran la estabilidad de cierto punto fijo en un sistema dinámico o en las ecuaciones diferenciales autónomas.
¡Nuevo!!: Teorema y Función de Liapunov · Ver más »
General Problem Solver
El General Problem Solver (GPS), en español Solucionador General de Problemas, es un programa de ordenador creado en 1957 por Herbert Simon, J.C. Shaw, y Allen Newell con el objetivo de construir una máquina capaz de resolver problemas de carácter general.
¡Nuevo!!: Teorema y General Problem Solver · Ver más »
Geometría
La geometría (del latín geometrĭa, y este del griego γεωμετρία de γῆ gē, ‘tierra’, y μετρία metría, ‘medida’) es una rama de las matemáticas que se ocupa del estudio de las propiedades de las figuras en el plano o el espacio, incluyendo: puntos, rectas, planos, politopos (como paralelas, perpendiculares, curvas, superficies, polígonos, poliedros, etc.). Es la base teórica de la geometría descriptiva o del dibujo técnico.
¡Nuevo!!: Teorema y Geometría · Ver más »
Geometría de las transformaciones
La geometría de las transformaciones (o geometría transformacional) se refiere a una teoría pedagógica acerca de la enseñanza de la geometría euclídea que tiene como base el Programa de Erlangen, propuesto por el matemático alemán Felix Klein (1849-1925).
¡Nuevo!!: Teorema y Geometría de las transformaciones · Ver más »
Geometría euclidiana
La geometría euclidiana es un sistema matemático atribuido al antiguo matemático griego Euclides, que describió en su libro de texto sobre geometría: ''Los'' ''Elementos''.
¡Nuevo!!: Teorema y Geometría euclidiana · Ver más »
Geometría proyectiva
Se llama geometría proyectiva a la rama de la matemática que estudia las propiedades de incidencia de las figuras geométricas, pero abstrayéndose totalmente del concepto de medida.
¡Nuevo!!: Teorema y Geometría proyectiva · Ver más »
Giovanni Ceva
Giovanni Ceva (Milán, 7 de diciembre de 1647 - Mantua, 15 de junio de 1734) fue un matemático italiano.
¡Nuevo!!: Teorema y Giovanni Ceva · Ver más »
Grace Chisholm Young
Grace Chisholm Young (15 de marzo de 1868 - 29 de marzo de 1944) fue una matemática inglesa, autora de numerosas obras sobre pedagogía y didáctica de las matemáticas.
¡Nuevo!!: Teorema y Grace Chisholm Young · Ver más »
Grupo abeliano libre
En álgebra abstracta, un grupo abeliano libre es un grupo abeliano que tiene una base en el sentido de que cada elemento del grupo se puede escribir de manera unívoca como combinación lineal de los elementos de la base, con coeficientes enteros.
¡Nuevo!!: Teorema y Grupo abeliano libre · Ver más »
Heurística
La heurística (del griego εὑρίσκειν), que significa «hallar, inventar» (el pretérito perfecto de este verbo es eureka), aparece en más de una categoría gramatical.
¡Nuevo!!: Teorema y Heurística · Ver más »
Hidráulica
La hidráulica es la rama de la física que estudia el comportamiento de los líquidos en función de sus propiedades específicas.
¡Nuevo!!: Teorema e Hidráulica · Ver más »
Hilary Putnam
Hilary Whitehall Putnam (Chicago, Illinois; 31 de julio de 1926–Arlington, Massachusetts; 13 de marzo de 2016) fue un filósofo, matemático e informático teórico estadounidense.
¡Nuevo!!: Teorema e Hilary Putnam · Ver más »
Hipócrates de Quíos
Hipócrates de Quíos fue un matemático, geómetra y astrónomo griego, vivió aproximadamente entre el 470 y el 410 a. C. Nació en la isla de Quíos, enfrente de las costas de la actual Turquía.
¡Nuevo!!: Teorema e Hipócrates de Quíos · Ver más »
Hipótesis (lógica)
En lógica matemática una hipótesis es una fórmula de la que se parte para alcanzar finalmente otra fórmula mediante deducciones válidas.
¡Nuevo!!: Teorema e Hipótesis (lógica) · Ver más »
Hipótesis de Poincaré
En matemática, y con más exactitud en topología, la conjetura de Poincaré (también llamada hipótesis de Poincaré) es un resultado sobre la esfera cuatridimensional (la 3-esfera); la hipótesis dejó de ser una conjetura para convertirse en un teorema tras su demostración matemática en 2006El Mundo es Matemático, Los números primos, pag.
¡Nuevo!!: Teorema e Hipótesis de Poincaré · Ver más »
Historia de la geometría
La geometría es una de las ciencias más antiguas.
¡Nuevo!!: Teorema e Historia de la geometría · Ver más »
Ibn Mu'adh al-Jayyani
Abd'Allah Muhammad Ibrahim al-Yayyani,, conocido como Ibn Mu'adh al-Jayyani, Ibn al-Sammak o Ibn Muad de Jaén el Joven, (Jaén,? - id. 1093) fue un matemático de Al-Ándalus, que destacó especialmente por sus investigaciones y aportes en trigonometría, que desligó por vez primera de los estudios de astronomía.
¡Nuevo!!: Teorema e Ibn Mu'adh al-Jayyani · Ver más »
Id est
Id est es una expresión latina que significa ‘esto es’, cuya abreviatura i.e. es muy usada en definiciones matemáticas y demostraciones de teoremas, lemas y corolarios.
¡Nuevo!!: Teorema e Id est · Ver más »
Identidad de Euler
En matemáticas, la identidad de Euler es la igualdad: donde: Esta identidad es considerada una belleza matemática por vincular distintas áreas de esa ciencia formal que parecen distintas y sin relación alguna a simple vista.
¡Nuevo!!: Teorema e Identidad de Euler · Ver más »
Implicación material
En lógica proposicional, la implicación material o definición del condicional es una regla de reemplazo válida que permite que una declaración condicional sea sustituida por una disyunción si y solo si el antecedente es negado.
¡Nuevo!!: Teorema e Implicación material · Ver más »
Inducción estructural y definiciones recursivas
La recursión es definir objetos en términos de ellos mismos, podemos utilizar la recursión para definir sucesiones, funciones y conjuntos.
¡Nuevo!!: Teorema e Inducción estructural y definiciones recursivas · Ver más »
Inferencia
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.
¡Nuevo!!: Teorema e Inferencia · Ver más »
Ingrid Daubechies
Ingrid Daubechies (Houthalen, Bélgica, 17 de agosto de 1954) es una matemática y física belga.
¡Nuevo!!: Teorema e Ingrid Daubechies · Ver más »
Inteligencia artificial
La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.
¡Nuevo!!: Teorema e Inteligencia artificial · Ver más »
Introducción de la disyunción
Introducción de la disyunción o adición es una simple forma de argumento válido, una inferencia inmediata y una regla de inferencia de la lógica proposicional.
¡Nuevo!!: Teorema e Introducción de la disyunción · Ver más »
Introducción del bicondicional
La introducción del bicondicional es una regla de inferencia válida en lógica proposicional.
¡Nuevo!!: Teorema e Introducción del bicondicional · Ver más »
Intuición lógica
La intuición lógica, o la intuición matemática o la intuición racional, es el conjunto de previsión o anticipación instintiva, conocimiento y sabiduría a menudo asociados con la capacidad de percibir la verdad lógica o matemática, y la capacidad de resolver desafíos matemáticos de manera eficiente.
¡Nuevo!!: Teorema e Intuición lógica · Ver más »
Jean le Rond d'Alembert
Jean le Rond D'Alembert o Jean Le Rond d’Alembert (París, 16 de noviembre de 1717-París, 29 de octubre de 1783) fue un matemático, filósofo y enciclopedista francés, uno de los máximos exponentes del movimiento ilustrado.
¡Nuevo!!: Teorema y Jean le Rond d'Alembert · Ver más »
La isla misteriosa
La isla misteriosa es una novela de Julio Verne, publicada en la Magasin d’Éducation et de Récréation (Magazine de ilustración y recreo) del 1 de enero de 1874 (volumen 19, número 217) al 15 de diciembre de 1875 (volumen 22, número 264), y en un solo volumen el 22 de noviembre de 1875.
¡Nuevo!!: Teorema y La isla misteriosa · Ver más »
La variación cuadrática
En matemáticas, la descomposición de Gundy, en rasgos generales, demuestra que una martingala acotada puede ser escrita (y, por tanto, descomponerse), en suma de tres martingalas diferentes, las cuales, presentan propiedades específicas y cotas concretas.
¡Nuevo!!: Teorema y La variación cuadrática · Ver más »
Larry Wos
Larry Wos es un científico y matemático de la división de informático en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957.
¡Nuevo!!: Teorema y Larry Wos · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Teorema y Lógica modal · Ver más »
Lógica no clásica
Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas.
¡Nuevo!!: Teorema y Lógica no clásica · Ver más »
Lógica plurivalente
Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.
¡Nuevo!!: Teorema y Lógica plurivalente · Ver más »
Lema (matemáticas)
En matemáticas, un lema es una proposición demostrada, utilizada para establecer un teorema menor o una premisa auxiliar que forma parte de un teorema más general.
¡Nuevo!!: Teorema y Lema (matemáticas) · Ver más »
Lema de Berge
En teoría de grafos, el Lema de Berge es un lema demostrado por el matemático francés Claude Berge en 1957, que dice lo siguiente: Un matching es máximo si contiene el mayor número de aristas posibles.
¡Nuevo!!: Teorema y Lema de Berge · Ver más »
Lenguaje formalizado
El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados».
¡Nuevo!!: Teorema y Lenguaje formalizado · Ver más »
Lenguaje objeto
Un lenguaje objeto es un lenguaje que es objeto de estudio en varios campos, incluyendo lógica, lingüística, matemáticas e informática teórica.
¡Nuevo!!: Teorema y Lenguaje objeto · Ver más »
Ley (desambiguación)
Ley hace referencia a varios artículos: los lo.
¡Nuevo!!: Teorema y Ley (desambiguación) · Ver más »
Ley científica
Una ley científica es una proposición científica que afirma una relación constante entre dos o más variables o factores, cada uno de los cuales representa una propiedad o medición de sistemas concretos.
¡Nuevo!!: Teorema y Ley científica · Ver más »
Ley de la física
Una ley física o ley natural es un enunciado que describe una relación específica e inmutable entre entidades físicas, que fue establecida sobre la base de evidencia empírica y hechos concretos, aplicable a un grupo definido de fenómenos y condiciones.
¡Nuevo!!: Teorema y Ley de la física · Ver más »
Ley de los grandes números
En la teoría de la probabilidad, bajo el término genérico de ley de los grandes números se engloban varios teoremas que describen el comportamiento del promedio de una sucesión de variables aleatorias conforme aumenta su número de ensayos.
¡Nuevo!!: Teorema y Ley de los grandes números · Ver más »
Leyes de De Morgan
En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.
¡Nuevo!!: Teorema y Leyes de De Morgan · Ver más »
Lo crudo y lo cocido
Lo crudo y lo cocido (Le Cru et le Cuit, en francés) es un ensayo antropológico, volumen de la serie Mythologiques I–IV escrito por el antropólogo francés Claude Lévi-Strauss.
¡Nuevo!!: Teorema y Lo crudo y lo cocido · Ver más »
Logic Theorist
El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955.
¡Nuevo!!: Teorema y Logic Theorist · Ver más »
Marina Ratner
Marina Evseevna Ratner (transliteración del (30 de octubre de 1938, Moscú, URSS-7 de julio de 2017, California, Estados Unidos) fue una matemática rusa cuyos trabajos en el teoría ergódica dieron como resultado varios teoremas que llevan su nombre.
¡Nuevo!!: Teorema y Marina Ratner · Ver más »
Matemática griega
La matemática griega, o matemática helénica, es la matemática escrita en griego desde el 600 a. C.
¡Nuevo!!: Teorema y Matemática griega · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Teorema y Matemáticas · Ver más »
Matemáticas inversas
Las matemáticas inversas constituyen un programa de investigación de la lógica matemática que trata de determinar qué axiomas son necesarios para demostrar teoremas matemáticos.
¡Nuevo!!: Teorema y Matemáticas inversas · Ver más »
Matriz simétrica
Una matriz es simétrica si es una matriz cuadrada, la cual tiene la característica de ser igual a su traspuesta.
¡Nuevo!!: Teorema y Matriz simétrica · Ver más »
Maude (lenguaje de programación)
Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos.
¡Nuevo!!: Teorema y Maude (lenguaje de programación) · Ver más »
Método científico
El método científico es una metodología para obtener nuevos conocimientos, que ha caracterizado históricamente a la ciencia y que consiste en la observación sistemática, medición, experimentación y la formulación, análisis y modificación de hipótesis.
¡Nuevo!!: Teorema y Método científico · Ver más »
Mecánica cuántica supersimétrica
En física teórica, la mecánica cuántica supersimétrica es un área de investigación donde se aplican los conceptos matemáticos de física de altas energías en el campo de la mecánica cuántica.
¡Nuevo!!: Teorema y Mecánica cuántica supersimétrica · Ver más »
Metamatemática
La metamatemática es el estudio matemático de los fundamentos de las matemáticas que surge como disciplina en el.
¡Nuevo!!: Teorema y Metamatemática · Ver más »
Michel Franco
Michel Franco (Ciudad de México) es un guionista, productor y director de cine mexicano de origen judío.
¡Nuevo!!: Teorema y Michel Franco · Ver más »
Minimax
En teoría de juegos, minimax es un método de decisión para minimizar la pérdida máxima esperada en juegos con adversario y con información perfecta.
¡Nuevo!!: Teorema y Minimax · Ver más »
Modelo económico
Se puede entender un modelo económico como una representación (véase modelo científico) o propuesta (véase constructo social) más ampliamente, como un concepto ya sea proposicional o metodológico acerca de algún proceso o fenómeno económico.
¡Nuevo!!: Teorema y Modelo económico · Ver más »
Modelos completos
El concepto de modelo completo tiene significados diferentes dependiendo del contexto.
¡Nuevo!!: Teorema y Modelos completos · Ver más »
Modus tollendo ponens
El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E,HurleyCopi y Cohen o silogismo disyuntivo (cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,HurleyCopi y Cohen y en lógica proposicional, una regla de inferencia válida.
¡Nuevo!!: Teorema y Modus tollendo ponens · Ver más »
Necesario
Necesario (del latín) es el término correlativo a "necesidad".
¡Nuevo!!: Teorema y Necesario · Ver más »
No filosofía
La No Filosofía es un concepto desarrollado por el filósofo continental francés François Laruelle académico del Colegio Internacional de Filosofía y la Universidad de París X).
¡Nuevo!!: Teorema y No filosofía · Ver más »
Or Adonai
Or Adonai (en hebreo: אור אדני), (en español: "La Luz del Señor"), es la obra principal del Rabino Hasdai Crescas (1340 - 1410), un filósofo judío.
¡Nuevo!!: Teorema y Or Adonai · Ver más »
Oscar Zariski
Oscar Zariski (Kobrin, 24 de abril de 1899 - Brookline, Massachusetts, 4 de julio de 1986) fue un matemático estadounidense de origen polaco.
¡Nuevo!!: Teorema y Oscar Zariski · Ver más »
Paradoja de Banach-Tarski
La paradoja de Banach–Tarski es un teorema en geometría teórica de conjuntos cuyo enunciado es el siguiente: A continuación vemos una versión más contundente del teorema: Informalmente esto se dice con frecuencia de la siguiente forma: Esta última forma se llama la "paradoja del guisante y el Sol." La razón por la que se considera una paradoja a este teorema es porque contradice la intuición geométrica básica.
¡Nuevo!!: Teorema y Paradoja de Banach-Tarski · Ver más »
Patricia Rivadeneira
Patricia Rivadeneira Ruiz-Tagle (Santiago, 6 de agosto de 1964) es una actriz chilena, considerada como «la musa de la vanguardia» en Chile.
¡Nuevo!!: Teorema y Patricia Rivadeneira · Ver más »
Paul Erdős
Paul Erdős, nacido Pál Erdős (IPA:; Budapest, 26 de marzo de 1913-Varsovia, 20 de septiembre de 1996), fue un matemático húngaro inmensamente prolífico y famoso por su excentricidad que, con cientos de colaboradores, trabajó en problemas sobre combinatoria, teoría de grafos, teoría de números, análisis clásico, teoría de aproximación, teoría de conjuntos y probabilidad.
¡Nuevo!!: Teorema y Paul Erdős · Ver más »
Paul Valéry
Ambroise-Paul-Toussaint-Jules Valéry (Sète, -París) fue un escritor, poeta, ensayista y filósofo francés.
¡Nuevo!!: Teorema y Paul Valéry · Ver más »
Pequeño teorema de Fermat
El pequeño teorema de Fermat es uno de los teoremas clásicos de teoría de números relacionado con la divisibilidad.
¡Nuevo!!: Teorema y Pequeño teorema de Fermat · Ver más »
Piero della Francesca
Piero di Benedetto de' Franceschi, conocido como Piero della Francesca (Borgo del Santo Sepolcro, en el valle alto del Tíber, h. 1415–Borgo del Santo Sepolcro, 12 de octubre de 1492) fue un pintor italiano del Quattrocento.
¡Nuevo!!: Teorema y Piero della Francesca · Ver más »
Porisma
Un porisma (también se puede escribir como porismo, del griego "πόρισμα" -porismá- con el significado de expediente, conclusión o corolario) es una proposición matemática o corolario.
¡Nuevo!!: Teorema y Porisma · Ver más »
Postulado
Un postulado es una proposición no evidente por sí misma ni demostrada, pero que se acepta, ya que no existe otro principio al que pueda ser referida.
¡Nuevo!!: Teorema y Postulado · Ver más »
Poynting
Poynting puede referirse a los siguientes artículos.
¡Nuevo!!: Teorema y Poynting · Ver más »
Premisa
Una premisa es cada una de las proposiciones anteriores a la conclusión del argumento.
¡Nuevo!!: Teorema y Premisa · Ver más »
Primer principio
Un primer principio es un principio básico, una proposición fundamental que como tal no admite demostración a partir de principios más básicos, o no necesita demostración por ser auto-evidente.
¡Nuevo!!: Teorema y Primer principio · Ver más »
Primer teorema de Shannon
En teoría de la información, el teorema de codificación de fuentes, primer teorema de Shannon o, menos utilizado, teorema de codificación sin ruido es un teorema enunciado por Claude Shannon en 1948 que establece el límite teórico para la compresión de una fuente de datos,.
¡Nuevo!!: Teorema y Primer teorema de Shannon · Ver más »
Principio de Babinet
En física, el principio de Babinet es un teorema de difracción relativa que indica que el patrón de difracción por un cuerpo opaco, es idéntica a la de un agujero del mismo tamaño y forma, a excepción de la intensidad global del haz hacia adelante.
¡Nuevo!!: Teorema y Principio de Babinet · Ver más »
Principio de Harnack
El principio de Harnack, o segundo teorma de Harnack, es un teorema básico de la rama matemática de la teoría de funciones.
¡Nuevo!!: Teorema y Principio de Harnack · Ver más »
Probador de teoremas lógicos
Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas.
¡Nuevo!!: Teorema y Probador de teoremas lógicos · Ver más »
Problema del isomorfismo de grupos
En álgebra abstracta, el problema de isomorfismo de grupo es el problema de decisión de determinar si dadas dos presentaciones de los grupos finitos presentan isomorfismo de grupos.
¡Nuevo!!: Teorema y Problema del isomorfismo de grupos · Ver más »
Proofs from THE BOOK
Proofs from THE BOOK (EL LIBRO de las demostraciones, en su traducción al español) es un libro de demostraciones matemáticas de Martin Aigner y Günter M. Ziegler.
¡Nuevo!!: Teorema y Proofs from THE BOOK · Ver más »
Propiedad del límite superior mínimo
En matemáticas, la propiedad del límite superior mínimo (a veces llamada integridad o propiedad del valor supremo) es una característica fundamental de los números reales.
¡Nuevo!!: Teorema y Propiedad del límite superior mínimo · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Teorema y Proposición · Ver más »
Prueba asistida por ordenador
Una prueba asistida por ordenador es una demostración matemática que ha sido generada al menos parcialmente utilizando una computadora.
¡Nuevo!!: Teorema y Prueba asistida por ordenador · Ver más »
Prueba formal
En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia.
¡Nuevo!!: Teorema y Prueba formal · Ver más »
Prueba por contradicción
Se entiende que la prueba por contradicción es una forma de demostración utilizada en lógica proposicional del tipo indirecta y esta sigue los siguientes pasos cuando es aplicada para demostrar alguna afirmación.
¡Nuevo!!: Teorema y Prueba por contradicción · Ver más »
Pruebas y Refutaciones
Pruebas y Refutaciones es un libro escrito por Imre Lakatos — filósofo de las matemáticas y de la ciencia — exponiendo su visión del desarrollo y progreso del conocimiento matemático.
¡Nuevo!!: Teorema y Pruebas y Refutaciones · Ver más »
Quinto postulado de Euclides
El postulado de las paralelas o quinto postulado de Euclides es el postulado número cinco del libro Los Elementos (300 a. C.), elaborado por el matemático griego Euclides.
¡Nuevo!!: Teorema y Quinto postulado de Euclides · Ver más »
Razonamiento deductivo
El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.
¡Nuevo!!: Teorema y Razonamiento deductivo · Ver más »
Rectas tangentes a circunferencias
En la geometría del plano euclídeo, una línea recta tangente a una circunferencia es aquella que toca la circunferencia exactamente en un punto, sin entrar nunca en su interior.
¡Nuevo!!: Teorema y Rectas tangentes a circunferencias · Ver más »
Regla de Cramer
La regla de Cramer es un teorema del álgebra lineal que da la solución de un sistema lineal de ecuaciones en términos de determinantes.
¡Nuevo!!: Teorema y Regla de Cramer · Ver más »
Relaciones métricas en el triángulo
Las relaciones métricas en el triángulo son aquellas que tratan los vínculos entre lados o ángulos, entre los cuales se destaca el Teorema de Pitágoras que es válido exclusivamente en el triángulo rectángulo y se aplica sobre la longitud de los catetos, hipotenusa, la altura relativa a la hipotenusa y los segmentos determinados sobre ésta como proyecciones de los catetos del ángulo.
¡Nuevo!!: Teorema y Relaciones métricas en el triángulo · Ver más »
Remuestreo
En el ámbito de la estadística, se denomina remuestreo (resampling, en inglés) a una variedad de métodos que permiten realizar algunas de las siguientes operaciones.
¡Nuevo!!: Teorema y Remuestreo · Ver más »
Revolución científica
La revolución científica es un término usado para describir el surgimiento de la ciencia moderna durante el comienzo de la Edad Moderna asociado con los siglos y en los que nuevas ideas y conocimientos en matemáticas, física, astronomía, biología (incluyendo anatomía humana) y química, transformaron las visiones antiguas sobre la realidad y sentaron las bases de la ciencia moderna.
¡Nuevo!!: Teorema y Revolución científica · Ver más »
Rigor matemático
Se entiende por rigor matemático (o también, «precisión matemática», aunque en un contexto algo diferente) una manera lógica y clara de trabajar dentro del ámbito de las matemáticas.
¡Nuevo!!: Teorema y Rigor matemático · Ver más »
Ruina del apostador
El término ruina del apostador es un concepto estadístico, más comúnmente expresado como el hecho de que un jugador que juega un juego con un valor esperado negativo eventualmente se arruinará, independientemente de su sistema de apuestas.
¡Nuevo!!: Teorema y Ruina del apostador · Ver más »
Sangaku
son tablillas de origen japonés con problemas matemáticos principalmente geométricos, creadas durante el período Edo.
¡Nuevo!!: Teorema y Sangaku · Ver más »
Segundo teorema de Shannon
En teoría de la información, el segundo teorema de Shannon denominado también de «teorema de codificación de canal», o simplemente teorema de Shannon, es un teorema, matemático enunciado por Claude Shannon, que muestra que es posible transmitir datos discretos (información digital) casi sin errores sobre un mismo canal ruidoso, a un régimen máximo computable.
¡Nuevo!!: Teorema y Segundo teorema de Shannon · Ver más »
Seinosuke Toda
Seinosuke Toda (n. en 1959, en japonés 戸田誠之助) es un informático teórico japonés que trabaja en la Universidad Nihon en Tokio, y que recibió en 1998 el Premio Gödel por haber demostrado el teorema que lleva su nombre: el Teorema de Toda.
¡Nuevo!!: Teorema y Seinosuke Toda · Ver más »
Sentencia (lógica)
En lógica matemática, una sentencia de una lógica de predicados es una fórmula bien formada con valor booleano y sin variables libres.
¡Nuevo!!: Teorema y Sentencia (lógica) · Ver más »
Sergio Citti
Sergio Citti (Fiumicino, Roma, 30 de mayo de 1933 - Ostia, 11 de octubre de 2005) fue un director, guionista de cine y actor italiano.
¡Nuevo!!: Teorema y Sergio Citti · Ver más »
Sexteto de Soddy
En geometría, un sexteto de Soddy es una cadena de seis esferas (representadas en color gris en la Figura 1), cada una de las cuales es tangente a sus dos esferas vecinas y también a tres esferas dadas, mutuamente tangentes entre sí.
¡Nuevo!!: Teorema y Sexteto de Soddy · Ver más »
Siglo XVII
El (siglo diecisiete después de Cristo) o e. c. (siglo diecisiete de la era común) fue el séptimo siglo del II milenio en el calendario gregoriano.
¡Nuevo!!: Teorema y Siglo XVII · Ver más »
Silogismo hipotético
En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas.
¡Nuevo!!: Teorema y Silogismo hipotético · Ver más »
Simplificación
En lógica proposicional, la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad (o bien "B también es verdad", otra conclusión).
¡Nuevo!!: Teorema y Simplificación · Ver más »
Simulación
En las ciencias, la simulación es el artificio contextual que hace referencia a la investigación de una hipótesis o un conjunto de hipótesis de trabajo utilizando modelos un método perfecto para la enseñanza y aprendizaje.
¡Nuevo!!: Teorema y Simulación · Ver más »
Sistema
Un sistema (del latín systēma, y este del griego σύστημα sýstēma 'reunión, conjunto, agregado') es "un objeto complejo cuyas partes o componentes se relacionan con al menos alguno de los demás componentes";Bunge, Mario.
¡Nuevo!!: Teorema y Sistema · Ver más »
Sistema axiomático
En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
¡Nuevo!!: Teorema y Sistema axiomático · Ver más »
Sistema deductivo
Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema.
¡Nuevo!!: Teorema y Sistema deductivo · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Teorema y Sistema formal · Ver más »
Srinivasa Ramanujan
Srinivāsa Aiyangār Rāmānujan (transliterado: Srinivasa Ramanujan Iyengar o simplemente como Ramanujan; Erode, Tamil Nadu, 22 de diciembre de 1887- Kumbakonam, Tamil Nadu, 26 de abril de 1920) fue un matemático autodidacta indio que, con una mínima educación académica en matemáticas puras, hizo contribuciones extraordinarias al análisis matemático, la teoría de números, las series y las fracciones continuas.
¡Nuevo!!: Teorema y Srinivasa Ramanujan · Ver más »
Suma de los ángulos de un triángulo
En geometría euclidiana, la suma de los ángulos de un triángulo es igual al ángulo llano, que mide 180 grados o π radianes.
¡Nuevo!!: Teorema y Suma de los ángulos de un triángulo · Ver más »
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
¡Nuevo!!: Teorema y Tabla de verdad · Ver más »
Tautología (regla de inferencia)
En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas.
¡Nuevo!!: Teorema y Tautología (regla de inferencia) · Ver más »
Teoría
Una teoría (del griego: theōría) es un sistema lógico-deductivo (o inductivo) constituido por un conjunto de hipótesis, un campo de aplicación (de lo que trata la teoría, el conjunto de cosas que explica) y algunas reglas que permitan extraer consecuencias de las hipótesis.
¡Nuevo!!: Teorema y Teoría · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Teorema y Teoría de la computabilidad · Ver más »
Teoría de la computación
La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.
¡Nuevo!!: Teorema y Teoría de la computación · Ver más »
Teoría de la disociación electrolítica
La concentración es la magnitud química y elemental en electroquímica que expresa la cantidad de un compuesto por Volumen Unidades de volumen|unidad de volumen.
¡Nuevo!!: Teorema y Teoría de la disociación electrolítica · Ver más »
Teoría de operadores
En matemáticas, la teoría de operadores es el estudio de las aplicaciones lineales sobre espacios funcionales, comenzando con un operador diferencial y un operador integral.
¡Nuevo!!: Teorema y Teoría de operadores · Ver más »
Teoría del segundo mejor
La teoría del segundo mejor, teoría del segundo óptimo o teorema de la segunda opción (Theory of the Second Best en inglés) es uno de los teoremas económicos más importantes avanzados en la segunda mitad del.
¡Nuevo!!: Teorema y Teoría del segundo mejor · Ver más »
Teoría filosófica
Una teoría filosófica es una teoría que explica una rama específica de filosofía.
¡Nuevo!!: Teorema y Teoría filosófica · Ver más »
Teorema (desambiguación)
Teorema puede designar a.
¡Nuevo!!: Teorema y Teorema (desambiguación) · Ver más »
Teorema adiabático
El teorema adiabático, en mecánica cuántica, es un teorema enunciado por Max Born y Vladimir Fock en 1928, que afirma lo siguiente: En otras palabras, un sistema mecanocuántico sujeto a condiciones externas que cambien gradualmente puede adaptar su forma y por tanto permanece en un estado que le es propio durante todo el proceso adiabático.
¡Nuevo!!: Teorema y Teorema adiabático · Ver más »
Teorema CAP
En Ciencias de la computación, el teorema CAP, también llamado Conjetura de Brewer, enuncia que es imposible para un sistema de cómputo distribuido garantizar simultáneamente:Nancy Lynch and Seth Gilbert,, ACM SIGACT News, Volume 33 Issue 2 (2002), pg.
¡Nuevo!!: Teorema y Teorema CAP · Ver más »
Teorema de Apolonio
En geometría, el teorema de Apolonio, también llamado teorema de la mediana, es un teorema que relaciona la longitud de la mediana de un triángulo con las longitudes de sus lados.
¡Nuevo!!: Teorema y Teorema de Apolonio · Ver más »
Teorema de Baglini
En Argentina se denomina teorema de Baglini a un concepto que sostiene que el grado de responsabilidad de las propuestas de un partido o dirigente político es directamente proporcional a sus posibilidades de acceder al poder.
¡Nuevo!!: Teorema y Teorema de Baglini · Ver más »
Teorema de Bell
El teorema de Bell (también conocido como de Bell-Kochen-Specker) o desigualdades de Bell se aplica en mecánica cuántica para cuantificar matemáticamente las implicaciones planteadas teóricamente en la paradoja de Einstein-Podolsky-Rosen y permitir así su demostración experimental.
¡Nuevo!!: Teorema y Teorema de Bell · Ver más »
Teorema de Borde-Guth-Vilenkin
El teorema de Borde-Guth-Vilenkin, o el teorema BGV, es un teorema en cosmología física el cual deduce que cualquier universo que, en promedio, se haya expandido a lo largo de su historia no puede ser infinito en el pasado, sino que debe tener un límite de espacio-tiempo pasado.
¡Nuevo!!: Teorema y Teorema de Borde-Guth-Vilenkin · Ver más »
Teorema de Cantor-Bernstein-Schröder
El teorema de Schröder y Bernstein establece un criterio para establecer si existe una función biyectiva entre dos conjuntos cualesquiera A y B: Para cualquier conjunto A y B, si existe una función inyectiva de A en B y existe una función inyectiva de B en A, entonces existe una correspondencia biunívoca entre B y A. Formalmente: El teorema puede parecer trivial para conjuntos finitos, pero el enunciado del teorema se cumple para conjuntos de cualquier cardinalidad.
¡Nuevo!!: Teorema y Teorema de Cantor-Bernstein-Schröder · Ver más »
Teorema de Carathéodory-Jacobi-Lie
El teorema de Carathéodory-Jacobi-Lie es un teorema en la topología simpléctica que generaliza el teorema de Darboux.
¡Nuevo!!: Teorema y Teorema de Carathéodory-Jacobi-Lie · Ver más »
Teorema de Carmichael
El teorema de Carmichael, nombrado así en honor al matemático estadounidense R.D. Carmichael, establece que para todo n mayor que 12, el n-ésimo número de Fibonacci F(n) tiene al menos un factor primo que no es factor de ninguno de los términos anteriores de la sucesión.
¡Nuevo!!: Teorema y Teorema de Carmichael · Ver más »
Teorema de Cayley-Bacharach
El teorema de Cayley-Bacharach es un declaración matemática en el campo de la geometría algebraica.
¡Nuevo!!: Teorema y Teorema de Cayley-Bacharach · Ver más »
Teorema de Chen
En teoría de números, el teorema de Chen afirma que cada número par suficientemente grande se puede escribir como la suma de dos primos, o un primo y un semiprimo (el producto de dos números primos).
¡Nuevo!!: Teorema y Teorema de Chen · Ver más »
Teorema de Clairaut
En matemáticas y, más concretamente en cálculo diferencial, el teorema de Clairaut, también conocido como teorema de Schwarz o teorema de la igualdad de las derivadas cruzadas, es una condición suficiente de la igualdad de las derivadas parciales cruzadas de una función de varias variables.
¡Nuevo!!: Teorema y Teorema de Clairaut · Ver más »
Teorema de Cook
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures".
¡Nuevo!!: Teorema y Teorema de Cook · Ver más »
Teorema de Darboux
El teorema de Darboux es un teorema en el campo matemático de la geometría diferencial, y más específicamente de las formas diferenciales, generalizando parcialmente el teorema de la integración de Frobenius.
¡Nuevo!!: Teorema y Teorema de Darboux · Ver más »
Teorema de desplazamiento exponencial
En matemáticas, el teorema de desplazamiento exponencial es un teorema sobre operadores diferenciales polinómicos (operadores-D) y funciones exponenciales.
¡Nuevo!!: Teorema y Teorema de desplazamiento exponencial · Ver más »
Teorema de Dirichlet sobre progresiones aritméticas
El teorema de Dirichlet sobre progresiones aritméticas es un resultado de la teoría analítica de números demostrado por el matemático Dirichlet.
¡Nuevo!!: Teorema y Teorema de Dirichlet sobre progresiones aritméticas · Ver más »
Teorema de Ehrenfest
El teorema de Ehrenfest es un teorema empleado en mecánica cuántica que relaciona la derivada temporal del valor esperado de un operador hermítico con el valor esperado del conmutador de tal operador con el hamiltoniano.
¡Nuevo!!: Teorema y Teorema de Ehrenfest · Ver más »
Teorema de Euclides-Euler
El teorema de Euclides–Euler es un teorema de la teoría de números que relaciona los números perfectos con los números primos de Mersenne.
¡Nuevo!!: Teorema y Teorema de Euclides-Euler · Ver más »
Teorema de Euler para poliedros
El teorema de Euler para poliedros es un teorema matemático de la geometría del espacio, Leonhard Euler en 1750, y publicado en la obra "Elementa doctrinae solidorum" en 1758.
¡Nuevo!!: Teorema y Teorema de Euler para poliedros · Ver más »
Teorema de Fermat (análisis)
En el ámbito de la aritmética existió un famoso matemático francés llamado Pierre de Fermat, quien enunció por primera vez en 1637 un teorema el cual quedó de la siguiente manera: Suele utilizarse como método para hallar máximos y mínimos locales de funciones diferenciables en intervalos abiertos, ya que todos ellos son puntos estacionarios de la función (puntos donde la función derivada vale cero, \displaystyle f'(x).
¡Nuevo!!: Teorema y Teorema de Fermat (análisis) · Ver más »
Teorema de Fermat sobre la suma de dos cuadrados
En matemáticas y, más concretamente, en teoría de números, el teorema de Fermat sobre la suma de dos cuadrados enuncia las condicionas para que un número entero sea la suma de dos cuadrados de enteros, y precisa de cuántas maneras diferentes lo puede ser.
¡Nuevo!!: Teorema y Teorema de Fermat sobre la suma de dos cuadrados · Ver más »
Teorema de Fitting
Teorema de Fitting es un teorema matemático demostrado por Hans Fitting.
¡Nuevo!!: Teorema y Teorema de Fitting · Ver más »
Teorema de Fortescue
El teorema de Fortescue o teorema de los componentes simétricas es uno de los teoremas más importantes en la ingeniería eléctrica.
¡Nuevo!!: Teorema y Teorema de Fortescue · Ver más »
Teorema de Frege
En matemáticas, el teorema de Frege es un teorema que establece que los axiomas de Peano de la aritmética pueden ser derivados en lógica de segundo orden a partir del principio de Hume.
¡Nuevo!!: Teorema y Teorema de Frege · Ver más »
Teorema de Frobenius (álgebra)
El teorema de Frobenius, aplicado al ámbito matemático del álgebra abstracta, afirma que la única álgebra asociativa divisible de dimensión finita que no es conmutativa sobre los números reales son los cuaterniones.
¡Nuevo!!: Teorema y Teorema de Frobenius (álgebra) · Ver más »
Teorema de Heine-Cantor
En matemáticas, el teorema de Heine-Cantor, llamado así por deberse a Eduard Heine (1821 - 1881) y Georg Cantor, establece que, si f:M\rightarrow N es una función continua entre dos espacios métricos y M es compacto, entonces f es uniformemente continua en M.
¡Nuevo!!: Teorema y Teorema de Heine-Cantor · Ver más »
Teorema de Hurwitz
Teorema de Hurwitz puede ser referido a varios teoremas llamados en honor a Adolf Hurwitz.
¡Nuevo!!: Teorema y Teorema de Hurwitz · Ver más »
Teorema de imposibilidad
En física teórica, un teorema de imposibilidad es un teorema que prueba que cierta idea no es posible o cierta entidad matemática no puede ser definida sin llegar a contradicción.
¡Nuevo!!: Teorema y Teorema de imposibilidad · Ver más »
Teorema de Kawasaki
El teorema de Kawasaki o teorema de Kawasaki-Justin es un teorema de la disciplina de las matemáticas del origami que caracteriza los patrones de pliegues con un solo vértice que pueden ser doblados para formar una figura plana.
¡Nuevo!!: Teorema y Teorema de Kawasaki · Ver más »
Teorema de Knaster-Tarski
El teorema de Knaster-Tarski, que lleva los nombres de Bronisław Knaster y Alfred Tarski, es un teorema matemático del área de la teoría de retículos.
¡Nuevo!!: Teorema y Teorema de Knaster-Tarski · Ver más »
Teorema de la amistad
El teorema de amigos y extraños o teorema de la amistad es un teorema en el campo matemático llamado teoría de Ramsey.
¡Nuevo!!: Teorema y Teorema de la amistad · Ver más »
Teorema de la bisectriz
El teorema de la bisectriz del ángulo equis de un triángulo es un teorema de la geometría elemental la cual es una consecuencia o corolario del Teorema de Tales.
¡Nuevo!!: Teorema y Teorema de la bisectriz · Ver más »
Teorema de la función abierta
En matemáticas, hay dos teoremas con el nombre "Teorema de la función abierta".
¡Nuevo!!: Teorema y Teorema de la función abierta · Ver más »
Teorema de la invariancia
En diversos campos de la matemática se pueden encontrar teoremas denominados teorema de la invariancia.
¡Nuevo!!: Teorema y Teorema de la invariancia · Ver más »
Teorema de la mariposa
El teorema de la mariposa es un teorema de geometría euclídea.
¡Nuevo!!: Teorema y Teorema de la mariposa · Ver más »
Teorema de la PAQ-reducción
El teorema de la PAQ-reducción afirma que dada una matriz A de orden m\times n existen dos matrices cuadradas P de orden m y Q de orden n tales que PAQ es una matriz que depende de la dependencia o independencia lineal de las filas y columnas de A. El teorema garantiza la existencia de las matrices P y Q, y, dicho de otro modo, la matriz producto PAQ es una matriz que está formada por un bloque con la matriz identidad y ceros a la derecha y debajo.
¡Nuevo!!: Teorema y Teorema de la PAQ-reducción · Ver más »
Teorema de la velocidad media
El Teorema de la velocidad media fue el teorema de mayor éxito intelectual de los denominados Calculatores de Merton College, de la Universidad de Oxford, en la primera mitad del siglo XIV.
¡Nuevo!!: Teorema y Teorema de la velocidad media · Ver más »
Teorema de Laguerre
En análisis matemático, el teorema de Laguerre sirve para aproximar las raíces de un polinomio.
¡Nuevo!!: Teorema y Teorema de Laguerre · Ver más »
Teorema de Löwenheim-Skolem
En lógica matemática, el teorema de Löwenheim-Skolem o teorema de Löwenheim-Skolem-Tarski es un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.
¡Nuevo!!: Teorema y Teorema de Löwenheim-Skolem · Ver más »
Teorema de Lee Hwa Chung
El Teorema de Lee Hwa Chung es un teorema de la topología simpléctica.
¡Nuevo!!: Teorema y Teorema de Lee Hwa Chung · Ver más »
Teorema de Li y Yorke
El teorema de Li y Yorke es un teorema matemático que afirma que, siendo f: R → R una aplicación continua, si f tiene un punto periódico de periodo 3 entonces tiene puntos de cualquier periodo.
¡Nuevo!!: Teorema y Teorema de Li y Yorke · Ver más »
Teorema de los círculos de Descartes
En geometría, el teorema de los círculos de Descartes establece la relación entre cuatro círculos tangentes entre sí por medio de su curvatura.
¡Nuevo!!: Teorema y Teorema de los círculos de Descartes · Ver más »
Teorema de los ceros de Hilbert
El Hilberts Nullstellensatz (en alemán: "teorema de los lugares de los ceros de Hilbert") es un teorema en geometría algebraica que relaciona variedades e ideales en anillos de polinomios sobre cuerpos algebraicamente cerrados.
¡Nuevo!!: Teorema y Teorema de los ceros de Hilbert · Ver más »
Teorema de los cuatro colores
En teoría de grafos, el teorema de los cuatro colores (o teorema de la minimalidad cromática) es un teorema sobre la coloración de grafos que establece lo siguiente: Asumiendo que las regiones adyacentes comparten no solo un punto, sino todo un segmento de borde (frontera) en común.
¡Nuevo!!: Teorema y Teorema de los cuatro colores · Ver más »
Teorema de los tres círculos de Hadamard
En análisis complejo, una rama de las matemáticas, el teorema de los tres círculos de Hadamard es un resultado sobre el comportamiento de las funciones holomorfas.
¡Nuevo!!: Teorema y Teorema de los tres círculos de Hadamard · Ver más »
Teorema de Maekawa
El teorema de Maekawa es un teorema de la disciplina de las matemáticas del origami que recibe su nombre del matemático japonés Jun Maekawa.
¡Nuevo!!: Teorema y Teorema de Maekawa · Ver más »
Teorema de Montel
En análisis complejo, un área de las matemáticas, teorema de Montel refiere a uno de dos teoremas sobre familias de funciones holomorfas. Estos reciben su nombre en honor a Paul Montel, y dan condiciones bajo las cuales una familia de funciones holomorfas es normal. Este resultado también ha sido llamado teorema de Stieltjes–Osgood, en honor a Thomas Joannes Stieltjes y William Fogg Osgood.
¡Nuevo!!: Teorema y Teorema de Montel · Ver más »
Teorema de muestreo de Nyquist-Shannon
El teorema de muestreo de Nyquist-Shannon, también conocido como teorema de muestreo de Whittaker-Nyquist-Kotelnikov-Shannon o bien teorema de Nyquist, es un teorema fundamental de la teoría de la información, de especial interés en las telecomunicaciones.
¡Nuevo!!: Teorema y Teorema de muestreo de Nyquist-Shannon · Ver más »
Teorema de Okishio
El teorema de Okishio es un teorema formulado por el economista japonés Nobuo Okishio.
¡Nuevo!!: Teorema y Teorema de Okishio · Ver más »
Teorema de Perron-Frobenius
En álgebra lineal, el teorema de Perron-Frobenius, probado por Oskar Perron (1907) y Georg Frobenius (1912), afirma que una matriz cuadrada real con entradas positivas tiene un valor propio real único más grande y que el vector propio correspondiente puede elegirse para tener estrictamente componentes positivos, y también afirma una declaración similar para ciertas clases de matrices no negativas.
¡Nuevo!!: Teorema y Teorema de Perron-Frobenius · Ver más »
Teorema de Picard-Lindelöf
El teorema de Picard-Lindelöf (muchas veces llamado simplemente teorema de Picard, otras teorema de Cauchy-Lipschitz o teorema de existencia y unicidad) es un resultado matemático de gran importancia dentro del estudio de las ecuaciones diferenciales ordinarias (EDO).
¡Nuevo!!: Teorema y Teorema de Picard-Lindelöf · Ver más »
Teorema de Pitágoras
En matemáticas, el teorema de Pitágoras es una relación en geometría euclidiana entre los tres lados de un triángulo rectángulo.
¡Nuevo!!: Teorema y Teorema de Pitágoras · Ver más »
Teorema de Sonnenschein-Mantel-Debreu
El teorema económico formulado en primer lugar por Hugo F. Sonnenschein en 1972 y 1973 (y complementado en 1974 por Rolf Mantel y Gérard Debreu) evidencia que las funciones de demanda y oferta resultantes del modelo de equilibrio general de Arrow-Debreu pueden asumir cualquier forma, lo cual refuta las conclusiones de unicidad y estabilidad del equilibrio general.
¡Nuevo!!: Teorema y Teorema de Sonnenschein-Mantel-Debreu · Ver más »
Teorema de Stolper-Samuelson
El teorema de Stolper-Samuelson es un teorema básico del tipo Modelo Heckscher-Ohlin en la Economía Internacional.
¡Nuevo!!: Teorema y Teorema de Stolper-Samuelson · Ver más »
Teorema de Taniyama-Shimura
El teorema de Taniyama-Shimura, anteriormente conocido como conjetura de Taniyama-Shimura fue una conjetura, y actualmente un teorema, muy importante dentro de las matemáticas modernas, que conecta las curvas elípticas definidas sobre el Shimura-Weil, que fuera propuesto por los matemáticos japoneses Yutaka Taniyama y Gorō Shimura.
¡Nuevo!!: Teorema y Teorema de Taniyama-Shimura · Ver más »
Teorema de Tellegen
El teorema de Tellegen es uno de los teoremas más poderosos usado en análisis de circuitos.
¡Nuevo!!: Teorema y Teorema de Tellegen · Ver más »
Teorema de Thomas
El teorema de Thomas es un principio fundamental en sociología formulado por William I. Thomas en su libro The child in America: Behavior problems and programs (1928) (Los niños en América: problemas conductuales y programas).
¡Nuevo!!: Teorema y Teorema de Thomas · Ver más »
Teorema de Toda
El teorema de Toda es un teorema demostrado por Seinosuke Toda en el artículo de 1991 "PP is as Hard as the Polynomial-Time Hierarchy", que le dio a su autor el Premio Gödel en 1998.
¡Nuevo!!: Teorema y Teorema de Toda · Ver más »
Teorema del centroide de Pappus
Teorema del centroide de Pappus, también conocido como teorema de Guldin, teorema de Pappus-Guldin o teorema de Pappus, es el nombre de dos teoremas que relacionan superficies y volúmenes de sólidos de revolución con sus respectivos centroides.
¡Nuevo!!: Teorema y Teorema del centroide de Pappus · Ver más »
Teorema del coloreo de carreteras
En teoría de grafos el teorema de coloreo de carreteras, teorema del camino coloreado o, conocido antiguamente como la conjetura del coloreo de carreteras, es un problema de coloreo de grafos planos.
¡Nuevo!!: Teorema y Teorema del coloreo de carreteras · Ver más »
Teorema del emparedado
En cálculo, el teorema del emparedado (llamado también teorema de encaje, teorema de intercalación, teorema de la función comprendida, teorema de estricción, teorema del enclaustramiento, teorema del acotamiento, teorema de compresión, teorema de las funciones mayorante y minorante, teorema del ladrón y los dos policías (Rusia), criterio del sándwich, teorema del sándwich, teorema del bocadillo o teorema de comparación) es un teorema usado en la determinación del límite de una función.
¡Nuevo!!: Teorema y Teorema del emparedado · Ver más »
Teorema del hiperplano de separación
En geometría, el teorema del hiperplano de separación es un enunciado sobre formas convexas disjuntas en el espacio euclídeo de n dimensiones.
¡Nuevo!!: Teorema y Teorema del hiperplano de separación · Ver más »
Teorema del incremento lineal de velocidad
El teorema del incremento lineal de velocidad de las máquinas de Turing es un teorema de teoría de la complejidad computacional, que se puede enunciar.
¡Nuevo!!: Teorema y Teorema del incremento lineal de velocidad · Ver más »
Teorema del resto
En álgebra el teorema del resto afirma que el resto r\,, que resulta al dividir un polinomio p(x)\, entre x-a\,, es igual a p(a) \,.
¡Nuevo!!: Teorema y Teorema del resto · Ver más »
Teorema del seno
En trigonometría plana, el teorema del seno o teorema de los senos o también conocido como ley de los senos es una proporción entre las longitudes de los lados de un triángulo y los senos de sus correspondientes ángulos opuestos.
¡Nuevo!!: Teorema y Teorema del seno · Ver más »
Teorema del valor medio
En matemáticas, el teorema de valor medio (de Lagrange), teorema de los incrementos finitos, teorema de Bonnet-Lagrange o teoría del punto medio es una propiedad de las funciones derivables en un intervalo.
¡Nuevo!!: Teorema y Teorema del valor medio · Ver más »
Teorema fundamental
En matemáticas, hay numerosos teoremas que reciben el nombre de "teorema fundamental" de distintos campos.
¡Nuevo!!: Teorema y Teorema fundamental · Ver más »
Teorema fundamental de la selección natural
El Teorema fundamental de la selección natural (Fisher's fundamental theorem of natural selection en inglés) es una idea en la genética de las poblaciones, desarrollada por Ronald Fisher, el estadista y biólogo evolutivo.
¡Nuevo!!: Teorema y Teorema fundamental de la selección natural · Ver más »
Teorema π de Vaschy-Buckingham
El teorema Π (pi) de Vaschy-Buckingham es el teorema fundamental del análisis dimensional.
¡Nuevo!!: Teorema y Teorema π de Vaschy-Buckingham · Ver más »
Teorema No Free Lunch
Los teoremas No Free Lunch (NFL) publicados en 1997 por David Wolpert y William MacReady, son un conjunto de teoremas matemáticos que tienen implicaciones para el campo de la optimización y el aprendizaje supervisado.
¡Nuevo!!: Teorema y Teorema No Free Lunch · Ver más »
Teoremas fundamentales de la economía del bienestar
Hay dos teoremas fundamentales de la economía del bienestar.
¡Nuevo!!: Teorema y Teoremas fundamentales de la economía del bienestar · Ver más »
Termodinámica del no equilibrio
La termodinámica del no equilibrio es la rama de la termodinámica que estudia los sistemas termodinámicos que se encuentran fuera del equilibrio termodinámico.
¡Nuevo!!: Teorema y Termodinámica del no equilibrio · Ver más »
Test de primalidad
La cuestión de la determinación de si un número n dado es primo es conocida como el problema de la primalidad.
¡Nuevo!!: Teorema y Test de primalidad · Ver más »
Transposición (lógica)
En la lógica proposicional, la transposición o transformación del condicional es una regla de reemplazo válida de que permite que se cambie el antecedente con el consecuente de una sentencia condicional en una prueba lógica si ellos también son ambos negados.
¡Nuevo!!: Teorema y Transposición (lógica) · Ver más »
Trigonometría racional
La trigonometría racional es una reformulación de la métrica del plano y de la geometría del espacio (que incluye la trigonometría) propuesta por el matemático canadiense Norman J. Wildberger, profesor asociado de matemáticas en la Universidad de Nueva Gales del Sur.
¡Nuevo!!: Teorema y Trigonometría racional · Ver más »
Trisección del ángulo
La trisección del ángulo es uno de los tres problemas clásicos de la antigua matemática griega.
¡Nuevo!!: Teorema y Trisección del ángulo · Ver más »
Václav J. Havel
Václav J. Havel es un matemático checo, especializado en teoría de grafos, cuyo trabajo más importante es la resolución del problema de la secuencia de enteros gráfica en 1955, resuelta independientemente por Hakimi en 1962.
¡Nuevo!!: Teorema y Václav J. Havel · Ver más »
Verificación formal
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.
¡Nuevo!!: Teorema y Verificación formal · Ver más »
Vincenzo Viviani
Vincenzo Viviani (5 de abril de 1622 en Florencia; 22 de septiembre de 1703 en Florencia) fue un matemático y físico italiano.
¡Nuevo!!: Teorema y Vincenzo Viviani · Ver más »
Yuktibhāṣā
El Yuktibhāṣā (lit), también conocido como (Compendio de fundamento astronómico), es un tratado importante en las matemáticas y en la astronomía de la India, escrito por Jyesthadeva de la Escuela de Kerala alrededor del año 1530.
¡Nuevo!!: Teorema y Yuktibhāṣā · Ver más »
1976
1976 fue un año bisiesto comenzado en jueves según el calendario gregoriano.
¡Nuevo!!: Teorema y 1976 · Ver más »
Redirecciona aquí:
Teorema matematico, Teorema matemático, Teoremas.
