119
Reputación
Reputación
Nombre : M D
Miembro desde : 21 de Junio, 2015
M D es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
La paradoja de Skolem no - Parte 2
el 21 de Diciembre, 2015 3 votos - 1 resp
Desbordamiento en modelos computables no estándar
el 12 de Junio, 2016 0 votos - 1 resp
Segmentos inicial de la Aritmética Modular
el 24 de Mayo, 2018 5 votos - 3 resp
¿Cómo no inducción en modelos no estándares computable?
el 27 de Abril, 2017 11 votos - 1 resp
Reducir a la mitad, Un Extraño en el Tamaño de los Anillos
el 4 de Enero, 2017 7 votos - 2 resp
¿Puede una teoría decidible tener modelos no recursivos?
el 31 de Mayo, 2016 11 votos
Últimas Respuestas
- 1 votos
De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?
el 6 de Agosto, 2015 1 votos - -1 votos
Podemos demostrar que los números pares y los impares alternativa sin el uso de la inducción?
el 14 de Septiembre, 2013 -1 votos - 0 votos
Es la inducción transfinita necesita para eliminar todos los elementos de una multitud innumerable?
el 1 de Mayo, 2013 0 votos
Etiquetas favoritas
- 3 x lógica
- 3 x axiomas-de-peano
- 2 x model-teoría
- 2 x logic
- 2 x modular-aritmética
- 1 x field-teoría
- 1 x campos-finitos
