Preguntas etiquetadas con model-theory

1
¿En qué medida se pueden aplicar las matemáticas de Reals a Reales Computables?
¿Existe un teorema general que establezca, con una desinfección adecuada, que los resultados más conocidos con respecto al uso de números reales se pueden usar cuando se consideran solo reales computables? ¿O hay una caracterización adecuada de los resultados que siguen siendo válidos cuando se consideran solo los reales computables? …

1
¿Cómo mostrar que un tipo en un sistema con tipos dependientes no está habitado (es decir, la fórmula no es comprobable)?
Para sistemas sin tipos dependientes, como el sistema de tipos Hindley-Milner, los tipos corresponden a fórmulas de lógica intuicionista. Allí sabemos que sus modelos son álgebras de Heyting y, en particular, para refutar una fórmula, podemos restringir a un álgebra de Heyting donde cada fórmula está representada por un subconjunto …

1
¿Cuál es el contexto axiomático (teoría de conjuntos) de las conjeturas P vs NP y NP = EXPTIME?
Cuando se establece la conjetura o P ≠ N P (por ejemplo, por el Clay Mathematical Institute de S. Cook, ver aquí ) ¿qué sistema axiomático matemático se supone?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Para probar o refutar tales afirmaciones, debe asumir algunos axiomas. ¿Cuáles? ¿Solo la aritmética de Peano (lenguaje …

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.