Respuestas del usuario 77036

Puntuación Visitas Fecha
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

$\omega$-consistencia y términos relacionados

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

8 votos

Distinción entre igualdad, equivalencia lógica y bicondicionalidad.

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

9 votos

Diferencia entre Gentzen y cálculos de Hilbert

Respondido el 9 de Junio, 2015 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

9 votos

Disyunción: ¿por Qué la inclusión de la "O" convertirse en la convención?

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

3 votos

Preguntas sobre los modelos de Fraenkel

Respondido el 27 de Mayo, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

Una cuestión básica en la intuición de corte racional en la construcción de los números reales

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

3 votos

Formalizando la prueba de la no-demostración de la oración de Gödel?

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

7 votos

La incompletitud de Gödel con respecto a las versiones débiles de ZFC

Respondido el 26 de Mayo, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Qué es? $M_x$ en la Ley Básica IIb de Frege?

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

4 votos

Teoría de Modelos, Teoría de Pruebas, Teoría de Conjuntos, Teoría de la Recursión: ¿Por dónde empezar?

Respondido el 11 de Octubre, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

7 votos

¿Qué libros técnicos debo leer para entender claramente los teoremas de Gödel y sus implicaciones para las matemáticas?

Aceptada
Respondido el 5 de Marzo, 2015 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

14 votos

¿Se estudia "El actual rey de Francia es calvo" con las matemáticas?

Aceptada
Respondido el 3 de Octubre, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

Lenguaje semiformal - El universo tiene al menos tres elementos

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

2 votos

Cómo es sistema de coordenadas cartesianas relacionados con su filosofía

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

2 votos

$T\vDash\psi$ equivalencias

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

7 votos

¿Cuáles son los números?

Respondido el 30 de Abril, 2015 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

4 votos

¿Cómo crear curvas de nivel a partir de datos puntuales con QGIS?

Respondido el 5 de Septiembre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

8 votos

Distributividad de cuantificadores sobre conectivas lógicas

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

5 votos

¿Cuál es la definición formal de una traducción entre teorías?

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

8 votos

Donde empezar a leer la teoría de la lógica?

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

7 votos

¿Cuáles son las reglas para el uso de puntos en lugar de paréntesis en fórmulas lógicas?

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

4 votos

Nombre para la introducción de la negación con cuantificadores

Aceptada
Respondido el 18 de Octubre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

7 votos

¿Cuando la dirección del flujo, el D8 se utiliza algoritmo - existen grandes diferencias si otros se utilizan?

Aceptada
Respondido el 30 de Septiembre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

1 votos

¿Cómo se relaciona la lógica de segundo orden cálculo lambda?

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

2 votos

Contando filas de una tabla de verdad que satisfacen una condición

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

4 votos

¿Cuáles son las buenas combinaciones de colores para la gran densidad de flujo de mapas?

Respondido el 24 de Octubre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

3 votos

La curvatura de cálculo para las diferentes escalas

Respondido el 24 de Octubre, 2014 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

2 votos

Cosas alrededor de $(\forall x)(\Psi \Rightarrow \Phi) \Leftrightarrow ((\exists z)\Psi) \Rightarrow \Phi)$

Respondido el 29 de Mayo, 2013 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

0 votos

Los novatos en la inducción intentan encontrar pruebas de deducción natural con determinados axiomas

Respondido el 25 de Marzo, 2017 por Njax3SmmM2x2a0Zf7Hpd
q2astack::content.general.tags :
Avatar de Njax3SmmM2x2a0Zf7Hpd

7 votos

¿Cómo se relaciona el argumento diagonal de Cantor con la paradoja de Russell en la teoría ingenua de conjuntos?

Respondido el 28 de Octubre, 2012 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