Informationen zu | Spanisch Wort ENUMERABLE

Beispiele für die Verwendung von ENUMERABLE in einem Satz

• En teoría de la computabilidad, un conjunto S de números naturales se denomina computablemente enumerable (ce), recursivamente enumerable (re), semidecidible, parcialmente decidible, enumerable, demostrable o Turing-reconocible si:.
• En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing-computable.
• Una máquina universal de Turing puede calcular cualquier función recursiva, decidir cualquier lenguaje recursivo y aceptar cualquier lenguaje recursivamente enumerable.
• Un conjunto enumerable es un conjunto para el cual existe una enumeración (de hecho si existe al menos una enumeración existirán infinitas enumeraciones).
• Una simple consecuencia del teorema de incompletitud de Gödel es que no hay una extensión completa consistente incluso de la aritmética de Peano con un conjunto recursivamente enumerable de axiomas, por lo tanto en particular la mayoría de las teorías matemáticas interesantes no están completas.
• En complejidad computacional, RE (abreviación de recursivamente enumerable) es la clase de complejidad conformada por aquellos problemas de decisión para los cuales una respuesta "sí" puede ser verificada por una máquina de Turing en una cantidad de tiempo finito.
• Aunque los números computables están ordenados, el conjunto de números de Gödel correspondiente no es un conjunto recursivamente enumerable, porque no es posible determinar qué números de Gödel corresponden a las máquinas de Turing que producen los reales computables.
• Si A es un conjunto recursivamente enumerable, el problema es parcialmente decidible, semidecidible, solucionable, o demostrable.
• Los teorema de incompletitud de Gödel proporcionan una respuesta negativa para el caso de la aritmética, ya que ninguna teoría de primer orden recursivamente enumerable recoge toda la aritmética del modelo dado por los números naturales ordinarios.
• Sin embargo, no existe un esquema recursivamente enumerable para nombrar sistemáticamente todos los ordinales menores que el ordinal de Church-Kleene, que es un ordinal numerable.
• Una conjetura de Kontsevich y Zagier implicaría que la igualdad de períodos también es decidible: se sabe que la desigualdad de los reales computables es recursivamente enumerable ; y a la inversa, si dos integrales concuerdan, entonces un algoritmo podría confirmarlo probando todas las formas posibles de transformar una de ellas en la otra.

Die Seitenvorbereitung dauerte: 297,68 ms.