959
Reputación
Reputación
Nombre : dezakin
Miembro desde : 6 de Abril, 2016
dezakin es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
¿Cuáles son algunos ejemplos de oraciones lógicas de tercer, cuarto o quinto orden?
el 1 de Enero, 2016 28 votos - 2 resp
¿Puede expresar una axiomatización finita de PA en una finito axiomatizable primera orden teoría de conjuntos?
el 18 de Julio, 2018 7 votos - 1 resp
¿Están bien definidas las raíces de la unidad en las álgebras hipercomplejas?
el 17 de Junio, 2018 10 votos - 2 resp
Cuando se de-Skolemizing declaraciones apropiadas?
el 13 de Abril, 2018 4 votos - 1 resp
¿Existe una sintaxis para la cuantificación de tipos en lógica de orden superior?
el 23 de Junio, 2017 5 votos - 3 resp
Por qué no son válidas orden superior de la lógica de las frases recursivamente enumerable en semántica completa?
el 29 de Enero, 2017 9 votos - 2 resp
¿Cuáles son polinomio como las expresiones que tienen los números complejos para los exponentes?
el 21 de Enero, 2017 8 votos
Últimas Respuestas
- 4 votos
Validez indecidible en lógica de primer orden
el 16 de Septiembre, 2014 4 votos - -1 votos
¿Existe algún enunciado cuya indecidibilidad sea indecidible?
el 15 de Septiembre, 2014 -1 votos - 2 votos
Cualquier tipo de trabajo Automatizado de teoremas mediante el Reconocimiento de patrones?
el 5 de Junio, 2014 2 votos - 2 votos
¿Cuál es la explicación intuitiva o geométrica de las derivadas fraccionarias?
el 9 de Agosto, 2013 2 votos - 17 votos
Sobre el progreso en matemáticas: algunos problemas abiertos y de larga data de las conjeturas
el 23 de Diciembre, 2014 17 votos - 3 votos
Cuando la comunidad matemática considerar la inclusión de un nuevo axioma?.
el 9 de Mayo, 2014 3 votos - 10 votos
¿Por qué hay matemáticos que no usan las computadoras?
el 4 de Junio, 2014 10 votos
Etiquetas favoritas
- 7 x lógica
- 3 x pregunta-teórica
- 3 x conjunto-teórico
- 2 x teoría-numérica
- 2 x cuantificadores
- 2 x higher-order-lógica
- 1 x goldbachs-conjetura
