4

5 Resp
2044 Visitas

¿La reflexividad de la igualdad es un axioma o un teorema?

Solucionado

4

3 Resp
1139 Visitas

Principio del casillero para caso infinito

Abierta

4

3 Resp
916 Visitas

Problemas lógicos en la teoría de la categoría

Cerrada

4

2 Resp
565 Visitas

El primer teorema de incompletitud de Godel: aclaración.

Solucionado

4

2 Resp
247 Visitas

Goedelizability y decidability de una propiedad de Peano fórmulas

Solucionado

5

3 Resp
713 Visitas

Formalización de prueba

Solucionado

5

5 Resp
1586 Visitas

Independencia de la hipótesis del continuo en ZFC

Solucionado

6

2 Resp
354 Visitas

Cofinality de Theta si existen objetos cortopunzantes

Solucionado

6

3 Resp
804 Visitas

¿Dónde vive el triángulo genérico?

Abierta

7

2 Resp
406 Visitas

cierre de cocientes separative

Solucionado

6

3 Resp
1120 Visitas

Formalización de la "no basura, no hay confusión"

Solucionado

8

2 Resp
1013 Visitas

Números ordinales que no son conjuntos de

Solucionado

7

1 Resp
1020 Visitas

Scott en la consistencia del cálculo lambda

Solucionado

8

1 Resp
442 Visitas

una prueba de que L_min no está en el núcleo?

Abierta

7

3 Resp
1543 Visitas

aleatoriedad en la naturaleza

Solucionado

9

5 Resp
3576 Visitas

Encontrar el mínimo o canónica de expresiones Booleanas tablas de verdad

Solucionado

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: