Asunto / Iniciado por | Respuestas / Vistas | |||
---|---|---|---|---|
0 Usuarios y 1 Visitante están viendo este foro. | ||||
Sistemas lógicos formales
Iniciado por arkady-svidrigailov |
3 Respuestas
3,969 Vistas |
18 Febrero, 2014, 08:32 pm por arkady-svidrigailov |
||
Lenguaje supremo
Iniciado por Raúl Aparicio Bustillo |
0 Respuestas
4,003 Vistas |
04 Agosto, 2019, 01:04 pm por Raúl Aparicio Bustillo |
||
4 Respuestas
4,517 Vistas |
22 Julio, 2019, 11:37 pm por geómetracat |
|||
13 Respuestas
4,561 Vistas |
11 Noviembre, 2012, 09:22 pm por Carlos Ivorra |
|||
¿Completa pero no categórica?
Iniciado por Raúl Aparicio Bustillo |
0 Respuestas
4,590 Vistas |
15 Junio, 2017, 11:05 am por Raúl Aparicio Bustillo |
||
Teorías Aritméticas no estandar
Iniciado por Cristian C |
2 Respuestas
4,673 Vistas |
27 Marzo, 2013, 02:22 pm por Carlos Ivorra |
||
¿Es la matemática consistente?
Iniciado por Weierstrass |
7 Respuestas
4,817 Vistas |
19 Diciembre, 2012, 12:46 pm por Weierstrass |
||
Relaciones monádicas y conjuntos
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
13 Respuestas
4,871 Vistas |
06 Septiembre, 2011, 11:22 am por Raúl Aparicio Bustillo |
||
0 Respuestas
4,913 Vistas |
12 Junio, 2015, 09:40 pm por Raúl Aparicio Bustillo |
|||
0 Respuestas
4,930 Vistas |
04 Agosto, 2015, 10:40 am por Raúl Aparicio Bustillo |
|||
Problema matriz de Leslie
Iniciado por anaconesa |
1 Respuestas
4,944 Vistas |
30 Agosto, 2017, 01:17 pm por Ignacio Larrosa |
||
Duda sobre ZFC2
Iniciado por Raúl Aparicio Bustillo |
9 Respuestas
4,969 Vistas |
12 Febrero, 2013, 08:20 pm por Carlos Ivorra |
||
0 Respuestas
4,999 Vistas |
11 Noviembre, 2015, 02:08 pm por Raúl Aparicio Bustillo |
|||
¿Diccionario consistente?
Iniciado por Raúl Aparicio Bustillo |
7 Respuestas
5,031 Vistas |
01 Mayo, 2014, 06:13 pm por elcristo |
||
0 Respuestas
5,110 Vistas |
08 Marzo, 2015, 12:23 pm por Raúl Aparicio Bustillo |
|||
Mente humana un ordenador
Iniciado por Raúl Aparicio Bustillo |
4 Respuestas
5,115 Vistas |
16 Septiembre, 2019, 02:21 pm por feriva |
||
8 Respuestas
5,119 Vistas |
12 Noviembre, 2012, 12:20 am por lilaliliana |
|||
0 Respuestas
5,125 Vistas |
04 Agosto, 2015, 10:52 am por Raúl Aparicio Bustillo |
|||
Una cuestión sobre el teorema de Lowenheim-Skolem
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
11 Respuestas
5,303 Vistas |
05 Enero, 2013, 09:57 pm por Cristian C |
||
0 Respuestas
5,352 Vistas |
15 Enero, 2016, 09:00 pm por Elius |
|||
Modelo mínimo natural en ZFC (y en NFU)
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
19 Respuestas
5,416 Vistas |
31 Octubre, 2011, 04:56 pm por Carlos Ivorra |
||
7 Respuestas
5,535 Vistas |
29 Agosto, 2013, 10:07 pm por Carlos Ivorra |
|||
2 Respuestas
5,628 Vistas |
13 Junio, 2015, 01:10 pm por Carlos Ivorra |
|||
Ordinales
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
19 Respuestas
5,691 Vistas |
17 Noviembre, 2012, 09:02 pm por Carlos Ivorra |
||
1 Respuestas
5,694 Vistas |
12 Junio, 2015, 10:43 am por Carlos Ivorra |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado