Preguntas etiquetadas con model-theory

¿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? …

16 computability  computing-over-reals  topology  model-theory 

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 …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

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 …

8 cc.complexity-theory  model-theory 

Aunque L.Berman demostró que el problema de verificar o falsificar cualquier declaración de primer orden sobre números reales que usa la suma y la comparación pero no la multiplicación está en EXPSPACE. ¿Se le ha mostrado cuánto tiempo o espacio necesitaría para verificar o falsificar cualquier enunciado de primer orden …

8 cc.complexity-theory  lo.logic  model-theory