Resultados de la búsqueda

…topía abstracta y teoría de categorías de orden superior; el desarrollo de matemáticas dentro de [[Fundamentos de la matemática|fundaciones]] basadas en teoría… [[Categoría:Equivalencia (matemáticas)]] …

…ción de [[Teoría de haces|haces]] en ''C'', y con esa la definición de las teorías generales de cohomología. Una categoría junto con una topología de Grothen …ión de haces más generales; una vez que eso fuera hecho, el modelo de las teorías topológicas de cohomología se podría seguir casi textualmente. …

== Clases de teorías == === Teorías consistentes y completas === …

…o que no cambia al aplicarle un conjunto de transformaciones.<br>Así, en [[matemáticas]], un objeto ([[Función matemática|función]], [[conjunto]], punto, ...) se …ervadores diferentes capaces de observar y medir dicha realidad. Todas las teorías físicas incluyen el [[objetividad|axioma o principio de objetividad]] según …

…izadas o un trasfondo específico y con una colección de datos, hipótesis y teorías actualizados y razonablemente confirmados.<ref name="Vaya Timo" /> …ue esas creencias en lo misterioso o lo paranormal son contradictorias con teorías científicas sólidamente establecidas o con principios filosóficos fértiles. …

En [[matemáticas]] y [[teoría de conjuntos]], los '''conjuntos finitos hereditariamente'''… === Teorías de conjuntos finitos === …

…bre de un lenguaje de marcas para especificar el significado de fórmulas [[matemáticas]]. Permitiendo entre otras cosas, su uso como complemento de [[MathML]] (un …de datos abstractos usado para describir la estructura lógica de fórmulas matemáticas, y la definición de "diccionarios de contenido OpenMath", o colecciones de …

…e utilizan para describir la matemática de la [[supersimetría]]. En estas teorías, los elementos pares de la super álgebra corresponden a los [[Bosón|bosones [[Categoría:Epónimos relacionados con las matemáticas|Lie, super álgebra]] …

…o se expresa en sus dos [[teoremas de incompletitud de Gödel]], de que las teorías de demostración robustas no son capaces de probar su propia consistencia. …son inconsistentes. Estas teorías, si son consistentes, son denominadas ''teorías esencialmente incompletas''. …

En [[matemáticas]], el teorema de la '''dualidad de Poincaré''' es un resultado básico en la …bservó que la homología ''H''_* podría ser substituida por otras teorías, una vez que los productos de variedades fueran construidos; y ahora hay tr …

== Nombres de teorías, constantes, coeficientes, fenómenos... == == Fórmulas matemáticas == …

En [[Teoría cuántica de campos|teorías cuánticas de campos]] [[Supersimetría|supersimétricas]] con cuatro dimensio …son relativamente tratables, ya que permite utilizar potentes herramientas matemáticas del [[análisis complejo]]. De hecho, ''W'' no recibe correcciones [[Teoría …

…lógica| orden topológico]] en los estados del [[efecto Hall cuántico]]. En matemáticas, se ha utilizado para calcular las invariantes de nudo e invariantes [[3-va …riedad topológica| topológica]] ''M'', con o sin límite. Estas teorías son teorías topológicas de tipo-Schwarz, no se requiere introducir [[Tensor métrico| mé …

…o matemático]] ruso de ascendencia [[Pueblo armenio|armenia]], profesor de matemáticas en la [[Universidad de Stony Brook]] e investigador en el [[Instituto Matem …la [[Universidad de Stony Brook]], donde fue director del departamento de matemáticas de 2009 a 2013. …

…ales como rechazo de X directamente) son difíciles y no intuitivas. En las teorías de conjuntos que permiten la comprensión sin restricción, podemos probar cu [[Categoría:Paradojas matemáticas|Curry]] …

…fo]]s, o incluso universos de [[teoría de conjuntos]], en relación con las teorías axiomáticas y la [[lógica matemática]]. La teoría de modelos permite atribu …siciones lógicamente deducibles de los axiomas. En el enfoque moderno, las teorías se conciben como un conjunto de proposiciones expresables en un cierto [[le …

…seno de la [[teoría cuántica de campos]] convencional. La construcción de teorías cuánticas de campos exactas que satisfagan alguno de los conjuntos equivale …imamente interesante. De hecho el área de investigación que trata de crear teorías que satisfagan estos axiomas se denomina '''teoría cuántica de campos const …

…oría cuántica de campos|teorías de campo cuántico]], las [[teoría de gauge|teorías de calibración]] y las [[ecuación en derivadas parciales|ecuaciones en deri …va <math>(2,1)\,</math> ''dos-longitudes y un meridiano'', i.e. un [[Nudo (matemáticas)|nudo tórico]]. Sabemos que su frontera, <math>\partial(K\stackrel{\sim}\ti …

…de los más simples (porque no tiene parámetros libres) y una de las pocas teorías de campo cuántico finito en 4 dimensiones. Puede ser pensada como la teoría …también en el contexto del [[principio holográfico]]. Hay una [[dualidad (matemáticas)|dualidad]] entre la [[teoría de cuerdas tipo IIB]] en el espacio AdS<sub>5 …

En [[lógica matemática]], el '''[[Lema (matemáticas)|lema]] diagonal''' (también conocido como '''lema de diagonalización''',… …ales de los [[número natural|números naturales]], específicamente aquellas teorías que son lo suficientemente fuertes como para representar todas las [[funció …