Foros de matemática
16/12/2017, 09:23:43 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1] 2 3   Ir Abajo
 
Asunto Iniciado por Respuestas Vistas Último mensaje
0 Usuarios y 3 Visitantes están viendo este foro.
Modelos de la teoría de conjuntos Carlos Ivorra 17 19206 Último mensaje 29/10/2012, 07:26:58 pm
por Carlos Ivorra
Problema matriz de Leslie anaconesa 1 151 Último mensaje 30/08/2017, 08:17:52 am
por Ignacio Larrosa
¿Completa pero no categórica? Raúl Aparicio Bustillo 0 205 Último mensaje 15/06/2017, 06:05:46 am
por Raúl Aparicio Bustillo
Comentarios de la parte de Lógica de Primer Orden del libro de Ivorra argentinator 17 4831 Último mensaje 04/02/2017, 06:48:26 pm
por Carlos Ivorra
Fórmulas de longitud matemáticamente numerable Raúl Aparicio Bustillo 2 1435 Último mensaje 27/12/2016, 02:49:51 pm
por Raúl Aparicio Bustillo
Una aritmética con un solo operador Cristian C 10 2214 Último mensaje 18/08/2016, 11:41:09 am
por Cristian C
Para entender la metamatemática Georg D. Hilbert 5 1437 Último mensaje 07/07/2016, 09:18:18 am
por Georg D. Hilbert
La inferencia lógica en los lenguajes no formales Raúl Aparicio Bustillo 0 1021 Último mensaje 16/06/2016, 06:41:12 pm
por Raúl Aparicio Bustillo
¿Qué consecuencias tiene que la Matemática sea o no consistente? aitopes 12 4218 Último mensaje 14/06/2016, 03:01:35 pm
por Carlos Ivorra
Todas las funciones y relaciones de primer orden se pueden reducir a T.C Raúl Aparicio Bustillo 1 1160 Último mensaje 14/06/2016, 05:12:44 am
por Raúl Aparicio Bustillo
La concepción de verdad según Tarski Raúl Aparicio Bustillo 2 1424 Último mensaje 17/03/2016, 02:34:28 pm
por pierrot
¿Todos los números reales que aparezcan en la historia del universo, hay un .... Raúl Aparicio Bustillo 1 1020 Último mensaje 17/03/2016, 01:37:41 am
por Raúl Aparicio Bustillo
Modelo matemático de difusión de una enfermedad Najhak 2 1249 Último mensaje 18/02/2016, 08:46:52 am
por Luis Fuentes
Bibliografía y papers en últimos debates en Fundamentos Elius 0 734 Último mensaje 15/01/2016, 05:00:46 pm
por Elius
Gödel: Equivalentes diofánticos de sentencias indecidibles Elius 1 1243 Último mensaje 30/12/2015, 11:55:00 pm
por Elius
Significado llano de los teoremas de Gödel Piockñec 18 4460 Último mensaje 26/12/2015, 03:38:50 pm
por Elius
Existencia de "los objetos" de un sistema axiomático arkady-svidrigailov 19 4160 Último mensaje 16/11/2015, 07:49:22 am
por arkady-svidrigailov
¿Toda cadena ordenada no densa descendiente tiene un mínimo? Raúl Aparicio Bustillo 0 782 Último mensaje 11/11/2015, 10:08:39 am
por Raúl Aparicio Bustillo
Ecuación trigonométrica tobias 1 1300 Último mensaje 07/11/2015, 07:41:10 pm
por ingmarov
Comentarios al hilo de modelos de la teoría de conjuntos « 1 2 ... 13 14 » argentinator 271 57045 Último mensaje 03/11/2015, 09:43:42 am
por Carlos Ivorra
Sobre el rol del tiempo en la lógica argentinator 16 3963 Último mensaje 22/08/2015, 11:34:06 am
por Raúl Aparicio Bustillo
¿Los ordenadores trabajan metamatemáticamente o emplean la teoría de conjuntos? Raúl Aparicio Bustillo 0 997 Último mensaje 04/08/2015, 05:52:11 am
por Raúl Aparicio Bustillo
Ecuaciones diferenciales metamatemáticas Raúl Aparicio Bustillo 0 840 Último mensaje 04/08/2015, 05:40:59 am
por Raúl Aparicio Bustillo
Infinito potencial metamatemático? Raúl Aparicio Bustillo 8 1770 Último mensaje 02/07/2015, 03:23:27 am
por feriva
¿Por qué no se pueden tratar metamatemáticamente los conjuntos no numerables? Raúl Aparicio Bustillo 2 1175 Último mensaje 13/06/2015, 08:10:13 am
por Carlos Ivorra
¿Las teorías de conjuntos predicativos consiguen introducir los conceptos clave Raúl Aparicio Bustillo 0 786 Último mensaje 12/06/2015, 04:40:14 pm
por Raúl Aparicio Bustillo
Modelos metamatemáticos y modelos internos en teorías de conjuntos Raúl Aparicio Bustillo 1 1154 Último mensaje 12/06/2015, 05:43:59 am
por Carlos Ivorra
Teorías Semánticamente Completas « 1 2 » Raúl Aparicio Bustillo 25 4672 Último mensaje 08/03/2015, 02:55:18 pm
por Raúl Aparicio Bustillo
¿Las descripciones son siempre las mismas en todos los modelos de NBGU+.... Raúl Aparicio Bustillo 0 861 Último mensaje 08/03/2015, 08:23:19 am
por Raúl Aparicio Bustillo
Módelo máximo en NBG Raúl Aparicio Bustillo 12 2819 Último mensaje 07/03/2015, 05:40:16 pm
por Raúl Aparicio Bustillo
¿Categoricidad en NBG? Raúl Aparicio Bustillo 9 2448 Último mensaje 04/03/2015, 11:59:58 am
por Raúl Aparicio Bustillo
Modelos estándar de N en la computadora « 1 2 » argentinator 23 4399 Último mensaje 14/12/2014, 07:40:29 pm
por argentinator
Fórmulas infinitas « 1 2 » Raúl Aparicio Bustillo 24 4156 Último mensaje 01/12/2014, 05:58:02 am
por Raúl Aparicio Bustillo
Una hipótesis sobre la percepción del continuo Raúl Aparicio Bustillo 2 1888 Último mensaje 22/11/2014, 02:55:18 am
por Raúl Aparicio Bustillo
Validez de un razonamiento dado por ordenador argentinator 7 2430 Último mensaje 19/10/2014, 05:56:03 pm
por argentinator
Jerarquía de Von Neumann, ¿modelo de teorías de conjuntos? ¿En qué sentido? Raúl Aparicio Bustillo 2 1687 Último mensaje 19/08/2014, 05:42:53 pm
por Raúl Aparicio Bustillo
Razón última de que no sepamos dar unos reales estándar y si unos naturales Raúl Aparicio Bustillo 9 2661 Último mensaje 18/08/2014, 04:56:39 pm
por Carlos Ivorra
Pedido de opinión sobre libro de intuición matemática argentinator 3 1863 Último mensaje 07/07/2014, 05:27:15 pm
por argentinator
¿Todos los objetos de una teoría de primer orden son definibles metamatemáticame Raúl Aparicio Bustillo 1 1597 Último mensaje 04/07/2014, 04:19:25 pm
por Carlos Ivorra
Sobre el infinito potencial y el infinito real (un artículo de un tal Nelson) argentinator 8 2726 Último mensaje 23/06/2014, 03:26:10 pm
por Carlos Ivorra
¿Y qué hace uno con todas esas lógicas? argentinator 3 2301 Último mensaje 23/06/2014, 01:00:39 pm
por Carlos Ivorra
¿ Cómo sabemos que el modelo que tenemos en mente de AP1 es el estandar? « 1 2 3 4 5 » Raúl Aparicio Bustillo 90 25246 Último mensaje 09/06/2014, 05:56:39 pm
por Carlos Ivorra
La paradoja de Skölem Raúl Aparicio Bustillo 18 5440 Último mensaje 31/05/2014, 09:46:22 pm
por Carlos Ivorra
¿Diccionario consistente? Raúl Aparicio Bustillo 7 2157 Último mensaje 01/05/2014, 01:13:35 pm
por elcristo
Sistemas lógicos formales arkady-svidrigailov 3 1713 Último mensaje 18/02/2014, 04:32:54 pm
por arkady-svidrigailov
Fundamentación de la matemática Piockñec 10 3572 Último mensaje 01/09/2013, 04:41:13 pm
por Piockñec
Dudas en relación con los teoremas de incompletitud Raúl Aparicio Bustillo 7 2843 Último mensaje 29/08/2013, 05:07:41 pm
por Carlos Ivorra
Diferencia entre "elementalmente equivalente" e "isomorfo" Raúl Aparicio Bustillo 12 3945 Último mensaje 28/08/2013, 03:18:19 pm
por Carlos Ivorra
Sobre la consistencia de la aritmética Carlos Ivorra 9 3196 Último mensaje 25/08/2013, 04:02:53 pm
por Carlos Ivorra
Teorías Aritméticas no estandar Cristian C 2 2447 Último mensaje 27/03/2013, 10:22:29 am
por Carlos Ivorra
Páginas: [1] 2 3   Ir Arriba
 

Temas en los que has publicado
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema Fijado
:  
Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!