mmw es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
expresividad de la lógica infinita computable
el 22 de Septiembre, 2018 4 votos
Últimas Respuestas
- 1 votos
Validez de la medida de distancia Log-likelihood para la agrupación
el 19 de Octubre, 2013 1 votos - 3 votos
$L$ modelos de la teoría de conjuntos y así no $V_\kappa$ $\kappa$ inaccesible
el 30 de Septiembre, 2015 3 votos - 3 votos
Extensiones completas de una teoría consistente
el 20 de Mayo, 2015 3 votos - 2 votos
Listas de los juegos como objetos de los axiomas ZF
el 22 de Mayo, 2015 2 votos - 2 votos
¿ISN ' t el modus ponens sólo la definición de lo que ' si ' significa?
el 15 de Mayo, 2015 2 votos - 3 votos
¿Por qué cada definición es una declaración de tipo "iff"?
el 9 de Julio, 2015 3 votos - 3 votos
Número imaginario en la Lógica de
el 6 de Septiembre, 2015 3 votos
Etiquetas favoritas
- 7 x lógica
- 2 x conjunto-teórico
- 2 x model-teoría
- 1 x pregunta-teórica
- 1 x definición
- 1 x fundaciones
- 1 x la-computabilidad