Preguntas del usuario 182456

22

5Resp

895Vistas

¿Cuáles son las razones de por qué algunos símbolos en la lógica matemática no están estandarizados?

Abierta

Preguntado el 7 de Enero, 2014 por Mauro ALLEGRANZA

11

3Resp

917Vistas

¿Quién robó los axiomas en la Deducción Natural?

Resuelta

Preguntado el 13 de Marzo, 2014 por Mauro ALLEGRANZA

10

3Resp

782Vistas

Gödel ' s Teorema de lo completo y satisfacibilidad de una fórmula en lógica de primer orden

Resuelta

Preguntado el 28 de Febrero, 2014 por Mauro ALLEGRANZA

8

4Resp

706Vistas

¿Qué es la "correcta" lectura de $\bot$ ?

Resuelta

Preguntado el 31 de Enero, 2014 por Mauro ALLEGRANZA

5

1Resp

371Vistas

Equivalencia entre Peirce ' Ley s y medio excluido en lógica intuicionista

Resuelta

Preguntado el 13 de Septiembre, 2014 por Mauro ALLEGRANZA

5

1Resp

394Vistas

Algunas cuestiones sobre el contenido matemático del Teorema de Completitud de Gödel

Abierta

Preguntado el 8 de Enero, 2014 por Mauro ALLEGRANZA

6

1Resp

338Vistas

Algunas preguntas acerca de Smullyan ' s prueba del teorema de compacidad para lógica proposicional

Resuelta

Preguntado el 9 de Enero, 2014 por Mauro ALLEGRANZA

5

1Resp

285Vistas

Algunas preguntas sobre la presentación de la lógica de primer orden en un libro de Raymond Smullyan

Resuelta

Preguntado el 8 de Enero, 2014 por Mauro ALLEGRANZA

4

3Resp

282Vistas

Una pregunta sobre el cálculo proposicional implícito

Resuelta

Preguntado el 11 de Febrero, 2014 por Mauro ALLEGRANZA

3

1Resp

320Vistas

Algunas preguntas sobre las implicaciones "profundas" del Teorema de Completitud de Gödel (si las hay)

Resuelta

Preguntado el 8 de Enero, 2014 por Mauro ALLEGRANZA

2

1Resp

288Vistas

"Medida" de inducción para la eliminación de cortes en el cálculo secuencial

Resuelta

Preguntado el 2 de Marzo, 2014 por Mauro ALLEGRANZA

Preguntas del usuario 182456

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuáles son las razones de por qué algunos símbolos en la lógica matemática no están estandarizados?

¿Quién robó los axiomas en la Deducción Natural?

Gödel ' s Teorema de lo completo y satisfacibilidad de una fórmula en lógica de primer orden

¿Qué es la "correcta" lectura de $\bot$ ?

Equivalencia entre Peirce ' Ley s y medio excluido en lógica intuicionista

Algunas cuestiones sobre el contenido matemático del Teorema de Completitud de Gödel

Algunas preguntas acerca de Smullyan ' s prueba del teorema de compacidad para lógica proposicional

Algunas preguntas sobre la presentación de la lógica de primer orden en un libro de Raymond Smullyan

Una pregunta sobre el cálculo proposicional implícito

Algunas preguntas sobre las implicaciones "profundas" del Teorema de Completitud de Gödel (si las hay)

"Medida" de inducción para la eliminación de cortes en el cálculo secuencial

Etiquetas mas usadas

i-Ciencias.com

Powered by: