Respuestas del usuario 77036

Puntuación Visitas Fecha
Avatar de Njax3SmmM2x2a0Zf7Hpd

7 votos

Mendelson $\mathit{Mathematical\ Logic}$ y la falta de Apéndice sobre la consistencia de PA

Aceptada
Respondido el 15 de Febrero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

6 votos

Más bonito que la prueba de que el conjunto de subconjuntos finitos es contable?

Respondido el 14 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

52 votos

Si $f(x)\leq f(f(x))$ todos los $x$$x\leq f(x)$?

Aceptada
Respondido el 4 de Noviembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

19 votos

¿Por qué los números racionales no son continuos?

Respondido el 11 de Febrero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

10 votos

¿Cómo se puede demostrar que la prueba por inducción es una prueba?

Aceptada
Respondido el 17 de Octubre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

9 votos

Hay un numéricos, aritmética con un solo operador?

Respondido el 22 de Marzo, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

11 votos

¿Cuáles han sido algunos de los cambios más revolucionarios filosóficos perspectiva en matemáticas?

Respondido el 20 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

23 votos

¿Que, específicamente, Principia Mathematica no?

Aceptada
Respondido el 6 de Agosto, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

11 votos

Qué textos para el estudio de la lógica matemática, para posteriormente estudiar la incompletitud de Gödel teoremas?

Aceptada
Respondido el 9 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

85 votos

Demuestra que la unión de muchos conjuntos contables es contable.

Respondido el 12 de Diciembre, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

6 votos

La fundación de la Aritmética en la geometría

Aceptada
Respondido el 22 de Febrero, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

33 votos

¿Equivale a $\forall x\,\exists y\, Q(x, y)$ $\exists y\,\forall x\,Q(x, y)$?

Aceptada
Respondido el 14 de Febrero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

5 votos

Aclaración de un Comentario de J. de acero en la independencia de Goldbach de ZFC

Respondido el 10 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Existe una notación abreviada para añadir un elemento a un conjunto?

Respondido el 6 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

16 votos

¿Es posible demostrar el teorema de incompletitud de Gödel sin ninguna noción de teoría de modelos?

Aceptada
Respondido el 14 de Junio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

¿Qué tiene de especial $\mathbb N$ ?

Respondido el 2 de Abril, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

7 votos

Las matemáticas necesarias para entender la lógica, la teoría de modelos y la teoría de conjuntos a un nivel muy alto

Respondido el 1 de Noviembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

Poner axiomas para algunos símbolos. Jugar con sus consecuencias cualitativa y simbólicamente. Construir teorías. ¿El libro?

Respondido el 11 de Abril, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

5 votos

¿Diferencia entre una función y un gráfico de una función?

Respondido el 13 de Julio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

29 votos

¿Cuál es el propósito de variables libres en primer orden de la lógica?

Aceptada
Respondido el 25 de Abril, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

5 votos

¿Cómo crear un modelo Hillshade con "alà Imhof" multicolor?

Respondido el 14 de Agosto, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

21 votos

¿Confusión sobre la escritura matemática?

Aceptada
Respondido el 21 de Septiembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

12 votos

La mínima diferencia entre lo clásico y intuitionistic sequent cálculo

Aceptada
Respondido el 10 de Noviembre, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Hay una línea de P/Un foro para la filosofía de la práctica de matemáticas?

Respondido el 18 de Diciembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

8 votos

¿Cómo presentar los objetos teóricos de conjuntos avanzados a los estudiantes de filosofía?

Aceptada
Respondido el 19 de Diciembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

13 votos

Diferencia entre el$\implies$$\;\therefore\;\;$?

Respondido el 16 de Noviembre, 2012 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

10 votos

Pregunta acerca de la implicación

Respondido el 17 de Julio, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

28 votos

Lógica de primer orden sin igualdad

Aceptada
Respondido el 18 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

9 votos

Son cuantificadores una noción primitiva?

Aceptada
Respondido el 4 de Agosto, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

6 votos

La existencia del conjunto vacío es un axioma de ZFC o no?

Respondido el 14 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X