5

1Resp
296Vistas

Comprensión formalista de las pruebas metalógicas

Resuelta

6

1Resp
154Vistas

¿Cuál es el grado de verdad de Turing?

Resuelta

5

2Resp
113Vistas

La igualdad de definición

Abierta

4

2Resp
352Vistas

Definición de verdad en la lógica de primer orden

Abierta

5

2Resp
175Vistas

¿Puede $\mathbb R$ ser enumerado después de todo?

Resuelta

11

1Resp
140Vistas

¿Sin fundamento: no transitiva modelo de ZFC?

Resuelta

5

3Resp
207Vistas

Una 'prueba' de que el Axioma de Infinitud

Abierta

4

2Resp
355Vistas

Formulación correcta del axioma de elección.

Resuelta

5

1Resp
356Vistas

¿Qué es un real no construible?

Resuelta

6

2Resp
201Vistas

Axiomas de Trigonometría

Abierta

8

5Resp
779Vistas

Cómo sabemos nuestros definiciones don ' t conducen a contradicciones

Abierta
Etiquetas :

4

1Resp
214Vistas

Pregunta básica sobre codificación ZFC en PA

Resuelta

26

5Resp
2629Vistas

¿Es la consistencia un axioma de las matemáticas?

Resuelta

4

1Resp
356Vistas

Tiempo de evolución en QFT

Resuelta

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:

X