34146
Reputación
Reputación
Nombre : Mauro ALLEGRANZA
Miembro desde : 25 de Diciembre, 2015
Mauro ALLEGRANZA es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
"Medida" de inducción para la eliminación de cortes en el cálculo secuencial
el 23 de Diciembre, 2015 2 votos - 1 resp
Algunas preguntas sobre las implicaciones "profundas" del Teorema de Completitud de Gödel (si las hay)
el 23 de Diciembre, 2015 3 votos - 3 resp
Una pregunta sobre el cálculo proposicional implícito
el 20 de Marzo, 2019 4 votos - 1 resp
Algunas preguntas sobre la presentación de la lógica de primer orden en un libro de Raymond Smullyan
el 28 de Diciembre, 2018 5 votos - 1 resp
Algunas preguntas acerca de Smullyan ' s prueba del teorema de compacidad para lógica proposicional
el 19 de Septiembre, 2018 6 votos - 1 resp
Algunas cuestiones sobre el contenido matemático del Teorema de Completitud de Gödel
el 27 de Enero, 2018 5 votos - 1 resp
Equivalencia entre Peirce ' Ley s y medio excluido en lógica intuicionista
el 26 de Noviembre, 2017 5 votos
Últimas Respuestas
- 3 votos
Demostrando la completitud de sistemas modales
el 23 de Noviembre, 2015 3 votos - 1 votos
Prueba formal de un hecho muy simple.
el 26 de Febrero, 2015 1 votos - 0 votos
Si A→(B∧C), demostrar (D→A) → (D→C) sin usar prueba condicional.
el 2 de Noviembre, 2015 0 votos - 23 votos
¿Por qué es $\wedge$ un mínimo y $\vee$ un máximo?
el 25 de Junio, 2016 23 votos - 1 votos
Funcional completo y xor
el 3 de Mayo, 2014 1 votos - 5 votos
¿Por qué es paradójico que "Ann cree que Bob asume que Ann cree que la suposición de Bob es incorrecta"?
el 4 de Abril, 2015 5 votos - 4 votos
¿Cómo surgió la regla de la adición y por qué da la respuesta correcta cuando se compara empíricamente?
el 5 de Febrero, 2016 4 votos
Etiquetas favoritas
- 129 x lógica
- 85 x logic
- 47 x matemáticas-historia
- 26 x first-order-logic
- 22 x lógica-proposicional
- 22 x pregunta-teórica
- 21 x filosofía
