Respuestas del usuario 7703606

7 votos

¿Hay juegos $A$ y $B$ tal que $A \in B$ y $B \in A$?

Respondido el 14 de Febrero, 2014 por Njax3SmmM2x2a0Zf7Hpd

5 votos

Ley de medio excluido y contraposición

Respondido el 18 de Junio, 2014 por Njax3SmmM2x2a0Zf7Hpd

2 votos

Contraejemplo para $(p\rightarrow q) \longleftrightarrow (!q \rightarrow\mathord !p) $

Respondido el 8 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

2 votos

¿Lo que lleva a cabo en un sistema deductivamente completo?

Aceptada

Respondido el 15 de Mayo, 2013 por Njax3SmmM2x2a0Zf7Hpd

7 votos

Referencias para complementar Goldblatt ' s "Topoi"

Aceptada

Respondido el 15 de Marzo, 2017 por Njax3SmmM2x2a0Zf7Hpd

3 votos

Axiomatización de la lógica proposicional con $\land$ y $\neg$

Respondido el 8 de Noviembre, 2013 por Njax3SmmM2x2a0Zf7Hpd

6 votos

¿Qué significa realmente el concepto de computación?

Respondido el 29 de Agosto, 2012 por Njax3SmmM2x2a0Zf7Hpd

6 votos

Interpretación vs modelo

Respondido el 18 de Marzo, 2017 por Njax3SmmM2x2a0Zf7Hpd

6 votos

Libros sobre la historia de los fundamentos de las matemáticas?

Aceptada

Respondido el 19 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Es la negación de la sentencia de Gödel siempre imposible de demostrar demasiado?

Aceptada

Respondido el 16 de Agosto, 2012 por Njax3SmmM2x2a0Zf7Hpd

8 votos

Comprender la integridad sintáctica

Aceptada

Respondido el 8 de Marzo, 2013 por Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Cuál es un buen libro para aprender la teoría de los números?

Aceptada

Respondido el 4 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

Aceptada

Respondido el 27 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Dónde puedo aprender sobre Filosofía Matemática?

Respondido el 3 de Septiembre, 2014 por Njax3SmmM2x2a0Zf7Hpd

9 votos

¿Hasta qué punto podemos obtener sin una base, usando la lógica de primer orden sólo?

Aceptada

Respondido el 19 de Julio, 2013 por Njax3SmmM2x2a0Zf7Hpd

0 votos

¿Cómo podemos saber si un conjunto de axiomas únicamente determina una estructura algebraica?

Respondido el 18 de Febrero, 2013 por Njax3SmmM2x2a0Zf7Hpd

2 votos

¿Qué es la intuición detrás de $\Delta_1^0$ conjuntos y $\Delta_1^1$ juegos?

Respondido el 19 de Enero, 2014 por Njax3SmmM2x2a0Zf7Hpd

1 votos

Ecuaciones diofánticas y décimo problema de Hilbert, ¿cómo lo hizo MRDP?

Respondido el 15 de Mayo, 2014 por Njax3SmmM2x2a0Zf7Hpd

2 votos

Aprendizaje de pruebas (para informática)

Respondido el 18 de Octubre, 2013 por Njax3SmmM2x2a0Zf7Hpd

6 votos

Tarski del Undefinability Teorema de Referencia

Aceptada

Respondido el 3 de Diciembre, 2012 por Njax3SmmM2x2a0Zf7Hpd

1 votos

¿Hasta qué punto debe un "a prueba de ir de una forma determinada"

Respondido el 30 de Diciembre, 2017 por Njax3SmmM2x2a0Zf7Hpd

7 votos

¿Qué teorías de conjuntos sin el axioma del conjunto potencia se utilizan ocasionalmente?

Aceptada

Respondido el 2 de Junio, 2013 por Njax3SmmM2x2a0Zf7Hpd

5 votos

¿Se puede geometrizar significativamente la lógica?

Respondido el 26 de Septiembre, 2013 por Njax3SmmM2x2a0Zf7Hpd

2 votos

La teoría de conjuntos axiomática libro recomendación

Respondido el 7 de Enero, 2018 por Njax3SmmM2x2a0Zf7Hpd

8 votos

De qué manera son funciones de conjuntos?

Respondido el 30 de Agosto, 2013 por Njax3SmmM2x2a0Zf7Hpd

19 votos

Matemáticas ¿cuánto una necesidad saber hacer filosofía de las matemáticas?

Aceptada

Respondido el 7 de Noviembre, 2013 por Njax3SmmM2x2a0Zf7Hpd

5 votos

Pruebas constructivas y consistencia de los omega

Aceptada

Respondido el 8 de Diciembre, 2013 por Njax3SmmM2x2a0Zf7Hpd

9 votos

¿Por qué este argumento para que los números reales sean numerables está mal?

Respondido el 4 de Agosto, 2014 por Njax3SmmM2x2a0Zf7Hpd

7 votos

Consecuencia Lógica

Aceptada

Respondido el 8 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

7 votos

¿De recursivo primitivo a recursivo al iterar sobre más de un argumento?

Aceptada

Respondido el 25 de Agosto, 2015 por Njax3SmmM2x2a0Zf7Hpd

Respuestas del usuario 77036

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Hay juegos $A$ y $B$ tal que $A \in B$ y $B \in A$?

Ley de medio excluido y contraposición

Contraejemplo para $(p\rightarrow q) \longleftrightarrow (!q \rightarrow\mathord !p) $

¿Lo que lleva a cabo en un sistema deductivamente completo?

Referencias para complementar Goldblatt ' s "Topoi"

Axiomatización de la lógica proposicional con $\land$ y $\neg$

¿Qué significa realmente el concepto de computación?

Interpretación vs modelo

Libros sobre la historia de los fundamentos de las matemáticas?

¿Es la negación de la sentencia de Gödel siempre imposible de demostrar demasiado?

Comprender la integridad sintáctica

¿Cuál es un buen libro para aprender la teoría de los números?

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

¿Dónde puedo aprender sobre Filosofía Matemática?

¿Hasta qué punto podemos obtener sin una base, usando la lógica de primer orden sólo?

¿Cómo podemos saber si un conjunto de axiomas únicamente determina una estructura algebraica?

¿Qué es la intuición detrás de $\Delta_1^0$ conjuntos y $\Delta_1^1$ juegos?

Ecuaciones diofánticas y décimo problema de Hilbert, ¿cómo lo hizo MRDP?

Aprendizaje de pruebas (para informática)

Tarski del Undefinability Teorema de Referencia

¿Hasta qué punto debe un "a prueba de ir de una forma determinada"

¿Qué teorías de conjuntos sin el axioma del conjunto potencia se utilizan ocasionalmente?

¿Se puede geometrizar significativamente la lógica?

La teoría de conjuntos axiomática libro recomendación

De qué manera son funciones de conjuntos?

Matemáticas ¿cuánto una necesidad saber hacer filosofía de las matemáticas?

Pruebas constructivas y consistencia de los omega

¿Por qué este argumento para que los números reales sean numerables está mal?

Consecuencia Lógica

¿De recursivo primitivo a recursivo al iterar sobre más de un argumento?

Etiquetas mas usadas

i-Ciencias.com

Powered by: