367
Reputación
Reputación
Nombre : George Gaál
Miembro desde : 3 de Abril, 2015
George Gaál es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Cómo es el teorema de la forma normal de Kleene para $\Sigma^1_1$ ¿relaciones probadas en RCA0?
el 8 de Abril, 2021 5 votos - 1 resp
- 5 resp
Cómo leer/convertir arc000dat archivos?
el 21 de Abril, 2018 4 votos - 2 resp
Ordinales definibles sobre $L_\kappa$
el 8 de Febrero, 2017 6 votos - 5 resp
Por un experimentado programador de Arduino o algo más?
el 9 de Julio, 2016 11 votos
Últimas Respuestas
- 5 votos
¿Busca opciones para el ETL (Extracción, Transformación y Carga) espacial?
el 1 de Mayo, 2012 5 votos - 17 votos
Rechazar el infinito
el 22 de Septiembre, 2011 17 votos - 5 votos
Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?
el 2 de Octubre, 2014 5 votos - 6 votos
¿Existe una lógica de primer orden para el cálculo?
el 27 de Enero, 2012 6 votos - 2 votos
Correspondencia de curry-Howard
el 4 de Julio, 2012 2 votos - 3 votos
Turing ' papel s 1939 en lógica ordinal
el 4 de Mayo, 2012 3 votos - 12 votos
¿Hay alguna aplicación directa de los Teoremas de Gödel fuera de la lógica?
el 23 de Junio, 2012 12 votos
Etiquetas favoritas
- 6 x lógica
- 4 x conjunto-teórico
- 3 x solicitud-de-referencia
- 3 x la-computabilidad
- 3 x elementary-conjunto-teórico
- 2 x type-teoría
- 2 x pregunta-teórica
