Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
compactness theorem
Vertaling van "compactness theorem" in Spaans
teorema de compacidad
Other widely used techniques for proving inexpressibility results, such as the compactness theorem, do not work in finite models.
Otras técnicas ampliamente utilizadas para probar resultados de inexpresiblidad, como el teorema de compacidad, no es válida en modelos finitos.
Gödel used the completeness theorem to prove the compactness theorem, demonstrating the finitary nature of first-order logical consequence.
Gödel utilizó el teorema de completitud para probar el teorema de compacidad, demostrando la naturaleza fintiaria del operador de consecuencia lógica.
The compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.
El teorema de compacidad afirma que un conjunto de fórmulas de primer orden tiene un modelo si y solo si todo subconjunto finito de ese conjunto tiene un modelo.
The compactness theorem[edit]
El teorema de compacidad[editar]
In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.
En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo.
The compactness theorem for the propositional calculus is a consequence of Tychonoff's theorem (which says that the product of compact spaces is compact) applied to compact Stone spaces; hence, the theorem's name.
El teorema de compacidad para el cálculo proposicional es un resultado del teorema de Tychonoff (el cual dice que el producto de espacios compactos es compacto) aplicado a espacios de Stone compactos; de ahí el nombre del teorema.
Lindström showed first order logic has no extensions (other than itself) that satisfy both the compactness theorem and the downward Löwenheim-Skolem theorem.
El teorema de Lindström establece que la lógica de primer orden es el sistema lógico más fuerte que cumple con el teorema de compacidad y el teorema descendente de Löwenheim-Skolem.
The flow will develop singularities in finite time, but using a local version of the Gromov compactness theorem, I've been able to get a model of all possible singularities.
El flujo desarrollará singularidades en un tiempo infinito, pero en una versión local del teorema de la compacidad de Gromov, me será posible fijar un modelo de todas las singularidades posibles.
The compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.
El teorema de compacidad afirma que un conjunto de fórmulas de primer orden tiene un modelo si y solo si todo subconjunto finito de ese conjunto tiene un modelo.
The compactness theorem for the propositional calculus is a consequence of Tychonoff's theorem (which says that the product of compact spaces is compact) applied to compact Stone spaces; hence, the theorem's name.
El teorema de compacidad para el cálculo proposicional es un resultado del teorema de Tychonoff (el cual dice que el producto de espacios compactos es compacto) aplicado a espacios de Stone compactos; de ahí el nombre del teorema.
Synoniemen voor compactness theorem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 30 ms.
