502
Reputación
Reputación
Nombre : Burak
Miembro desde : 25 de Marzo, 2016
Burak es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Infinito grupos cuya no-trivial subgrupos son de índice finito
el 15 de Enero, 2019 4 votos - 1 resp
Demostración de teoremas mediante el teorema de Löb
el 23 de Julio, 2018 4 votos - 1 resp
No mensurabilidad de ultrafilter en $\omega$
el 17 de Diciembre, 2017 8 votos - 2 resp
Coloración de $n^2$ -hipercubo de dimensiones
el 17 de Noviembre, 2017 9 votos - 5 resp
¿Cuáles son algunos de los contra-intuitiva de los resultados en matemáticas que involucran sólo a los objetos limitados?
el 10 de Diciembre, 2016 237 votos - 1 resp
Gödel del Segundo Teorema de la Incompletitud y Aritméticamente No Definible Teorías
el 31 de Julio, 2016 13 votos - 2 resp
Ejemplos de teoremas que no ha sido probada sin CA, en la práctica, pero se puede probar sin que, en principio,
el 28 de Julio, 2016 9 votos
Últimas Respuestas
- 7 votos
¿Por qué ' t «$V$ es un modelo de $ZF$» implica la consistencia de ZF?
el 27 de Abril, 2014 7 votos - 4 votos
¿Por qué estudiar los cardenales, los números ordinales y similares?
el 16 de Mayo, 2014 4 votos
Etiquetas favoritas
- 2 x conjunto-teórico
- 2 x gran-lista
- 2 x estado-incompleto
- 2 x lógica
- 1 x elementary-conjunto-teórico
- 1 x cardenales
- 1 x group-teoría
