bsamek es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Podemos encontrar una fórmula de la definición de un recursivamente enumerable?
el 11 de Mayo, 2018 4 votos
Últimas Respuestas
- 12 votos
¿Por qué es imposible definir la multiplicación en la aritmética de Presburger?
el 2 de Abril, 2013 12 votos - 3 votos
¿Cuál es la diferencia entre la Integridad y la Solidez en primer orden de la lógica?
el 2 de Septiembre, 2012 3 votos - 4 votos
¿Por qué es esto cierto? $(\exists x)(P(x) \Rightarrow (\forall y) P(y))$
el 5 de Junio, 2013 4 votos
Etiquetas favoritas
- 4 x lógica
- 1 x cuantificadores
- 1 x predicate-lógica
- 1 x estado-incompleto
- 1 x axiomas-de-peano
- 1 x la-computabilidad
- 1 x recursividad