PyRulez es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Cualquier oráculo de parada no estándar más fuerte que $\mathbb N$ ?
el 28 de Marzo, 2018 3 votos - 2 resp
¿Se puede convertir una relación bien fundada en una ordenación bien cuajada?
el 16 de Marzo, 2018 0 votos - 2 resp
- 1 resp
Las diferencias entre los números reales en $ACA_0 + \lnot Con(PA)$ y los números reales estándar?
el 5 de Junio, 2018 1 votos - 1 resp
¿De cuántas maneras se parece mi cocodrilo a sí mismo?
el 17 de Enero, 2016 1 votos - 2 resp
¿Podemos añadir un ordinal mayor que cualquier otro ordinal y acabar con un modelo transitivo?
el 20 de Junio, 2018 2 votos - 1 resp
¡¿Cuál es la ecuación de la curva Hilbert'?!
el 25 de Abril, 2021 19 votos
Últimas Respuestas
- 0 votos
La magia de la transferencia existencial
el 4 de Marzo, 2016 0 votos - 0 votos
Análisis real, Los límites de dos secuencias relacionadas
el 3 de Octubre, 2013 0 votos - 3 votos
Descripción del mosaico cuadrado de orden 5 del plano hiperbólico como gráfico
el 12 de Marzo, 2018 3 votos - 1 votos
¿Cómo demostrar que al menos dos vértices tienen el mismo grado en cualquier gráfico?
el 4 de Febrero, 2019 1 votos - 0 votos
¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?
el 9 de Junio, 2018 0 votos - 2 votos
Ley Asociativa para un Monoide en una Categoría Monoidal.
el 26 de Mayo, 2015 2 votos - 2 votos
¿Por qué está ordenando bien principio contraintuitivas?
el 3 de Julio, 2013 2 votos
Etiquetas favoritas
- 8 x category-teoría
- 8 x general-topología
- 7 x lógica
- 5 x pregunta-teórica
- 4 x meta-matemáticas
- 3 x filosofía
- 3 x paradojas