Asunto / Iniciado por | Respuestas / Vistas | |||
---|---|---|---|---|
0 Usuarios y 3 Visitantes están viendo este foro. | ||||
Ordinales menores que \(\epsilon_0\)
Iniciado por Carlos Ivorra « 1 2 » |
16 Respuestas
730 Vistas |
03 Junio, 2023, 03:15 pm por Carlos Ivorra |
||
Modelos de la teoría de conjuntos
Iniciado por Carlos Ivorra « 1 2 » |
18 Respuestas
36,337 Vistas |
31 Mayo, 2020, 09:40 am por Raúl Aparicio Bustillo |
||
141 Respuestas
2,918 Vistas |
23 Abril, 2023, 09:34 pm por Carlos Ivorra |
|||
12 Respuestas
10,918 Vistas |
14 Junio, 2016, 08:01 pm por Carlos Ivorra |
|||
Problema matriz de Leslie
Iniciado por anaconesa |
1 Respuestas
4,945 Vistas |
30 Agosto, 2017, 01:17 pm por Ignacio Larrosa |
||
3 Respuestas
6,726 Vistas |
07 Julio, 2014, 10:27 pm por argentinator |
|||
8 Respuestas
8,834 Vistas |
23 Junio, 2014, 08:26 pm por Carlos Ivorra |
|||
Sobre el rol del tiempo en la lógica
Iniciado por argentinator « 1 2 » |
16 Respuestas
11,162 Vistas |
22 Agosto, 2015, 04:34 pm por Raúl Aparicio Bustillo |
||
17 Respuestas
12,986 Vistas |
04 Febrero, 2017, 10:48 pm por Carlos Ivorra |
|||
271 Respuestas
109,734 Vistas |
03 Noviembre, 2015, 01:43 pm por Carlos Ivorra |
|||
Modelos estándar de N en la computadora
Iniciado por argentinator « 1 2 3 » |
23 Respuestas
11,980 Vistas |
14 Diciembre, 2014, 11:40 pm por argentinator |
||
¿Y qué hace uno con todas esas lógicas?
Iniciado por argentinator |
3 Respuestas
6,157 Vistas |
23 Junio, 2014, 06:00 pm por Carlos Ivorra |
||
7 Respuestas
7,698 Vistas |
19 Octubre, 2014, 10:56 pm por argentinator |
|||
Indagando en los naturales no estándar
Iniciado por argentinator |
4 Respuestas
1,980 Vistas |
20 Marzo, 2011, 02:12 am por argentinator |
||
Existencia de "los objetos" de un sistema axiomático
Iniciado por arkady-svidrigailov « 1 2 » |
19 Respuestas
11,114 Vistas |
16 Noviembre, 2015, 11:49 am por arkady-svidrigailov |
||
Sistemas lógicos formales
Iniciado por arkady-svidrigailov |
3 Respuestas
3,970 Vistas |
18 Febrero, 2014, 08:32 pm por arkady-svidrigailov |
||
287 Respuestas
3,716 Vistas |
08 Agosto, 2023, 05:33 pm por Carlos Ivorra |
|||
Sobre la consistencia de la aritmética
Iniciado por Carlos Ivorra |
9 Respuestas
6,418 Vistas |
25 Agosto, 2013, 09:02 pm por Carlos Ivorra |
||
Consistencia e intuición
Iniciado por Carlos Ivorra |
0 Respuestas
3,906 Vistas |
18 Julio, 2019, 01:42 pm por Carlos Ivorra |
||
La Aritmética Recursiva Primitiva
Iniciado por Carlos Ivorra « 1 2 3 » |
23 Respuestas
874 Vistas |
08 Agosto, 2023, 12:55 am por Carlos Ivorra |
||
85 Respuestas
1,961 Vistas |
12 Junio, 2023, 08:43 am por Eparoh |
|||
54 Respuestas
17,160 Vistas |
26 Enero, 2013, 04:05 pm por feriva |
|||
Una aritmética con un solo operador
Iniciado por Cristian C « 1 2 » |
10 Respuestas
8,520 Vistas |
18 Agosto, 2016, 04:41 pm por Cristian C |
||
Teorías Aritméticas no estandar
Iniciado por Cristian C |
2 Respuestas
4,676 Vistas |
27 Marzo, 2013, 02:22 pm por Carlos Ivorra |
||
2 Respuestas
333 Vistas |
13 Abril, 2022, 01:36 pm por Eduen |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado