Vatine es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
La deducción PA los axiomas de ZFC
el 7 de Febrero, 2019 17 votos - 2 resp
¿Existe una fórmula válida de primer orden cuya Skolemization es solicitado solamente con funciones incomputables?
el 30 de Agosto, 2018 4 votos
Últimas Respuestas
- 2 votos
¿Qué clase de lógica es la mía?
el 5 de Agosto, 2013 2 votos - 0 votos
¿Existe una fórmula válida de primer orden cuya Skolemization es solicitado solamente con funciones incomputables?
el 1 de Noviembre, 2015 0 votos - 10 votos
¿Por qué es automóvil para una proposición con un antecedente falso validar en true?
el 29 de Junio, 2012 10 votos
Etiquetas favoritas
- 4 x lógica
- 1 x la-computabilidad
- 1 x teoría-numérica
- 1 x conjunto-teórico
- 1 x axiomas-de-peano