Daniels Krimans es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Primeros trabajos de matemáticos famosos.
el 3 de Abril, 2019 4 votos - 1 resp
Reducir el número de géneros en la teoría formal.
el 18 de Febrero, 2019 2 votos - 1 resp
Elección de sistema formal para las matemáticas
el 4 de Diciembre, 2018 8 votos - 1 resp
Comprender la importancia del teorema de incompletitud de Godel
el 21 de Octubre, 2018 4 votos - 1 resp
Necesidad del cuantificador universal en el cálculo de predicados
el 10 de Octubre, 2018 5 votos - 2 resp
Axiomatización finita de teorías de lógica de primer orden
el 30 de Septiembre, 2018 5 votos - 5 resp
Establecer conceptos teóricos en lógica de primer orden
el 12 de Abril, 2018 13 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 6 x lógica
- 3 x first-order-lógica
- 2 x filosofía
- 1 x cálculo
- 1 x límites
- 1 x límites-sin-lhopital
- 1 x predicate-lógica