6834
Reputación
Reputación
Nombre : Jon Bright
Miembro desde : 5 de Enero, 2015
Jon Bright es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 4 resp
¿Ejemplos de funciones parciales fuera de la teoría de funciones recursivas?
el 26 de Mayo, 2019 5 votos - 1 resp
Terminología topológica: ni abierta ni cerrada.
el 10 de Octubre, 2018 4 votos - 1 resp
Buscar topologías no triviales que satisfagan ciertas condiciones
el 10 de Diciembre, 2017 5 votos - 2 resp
Axiomas de atomless boleanas
el 12 de Mayo, 2017 6 votos - 3 resp
¿Aplicaciones de la teoría descriptiva de conjuntos a la lógica matemática?
el 25 de Abril, 2017 6 votos - 3 resp
¿Dar una prueba de que "p y ~ p" implica "q"?
el 7 de Marzo, 2017 7 votos - 1 resp
Ejemplos de topologías en las que todos los bloques abiertos son regulares?
el 26 de Octubre, 2016 12 votos
Últimas Respuestas
- 8 votos
Por dónde empezar con los fundamentos de las matemáticas
el 5 de Mayo, 2012 8 votos - 8 votos
Construcción de un ejemplo que apoya el teorema de interpolación proposicional
el 11 de Septiembre, 2010 8 votos - -3 votos
Distribución de cuantificadores universales
el 10 de Octubre, 2010 -3 votos - 0 votos
¿Qué obstáculos impiden que la lógica de tres valores se utilice como lógica modal?
el 3 de Marzo, 2014 0 votos - 2 votos
Lógica modal como cociente lógica Boolean valores
el 5 de Enero, 2012 2 votos
Etiquetas favoritas
- 7 x lógica
- 3 x general-topología
- 2 x boolean-algebra
- 2 x modal-lógica
- 1 x proof-teoría
- 1 x solicitud-de-referencia
- 1 x descriptive-conjunto-teórico
