25/01/2020, 23:58:55 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: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Threads interesantes de Lógica y teoría de conjuntos  (Leído 6577 veces)
0 Usuarios y 1 Visitante están viendo este tema.
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.283

Vean mis posts activos en mi página personal


Ver Perfil WWW
« : 12/10/2009, 21:37:39 pm »

Spoiler: INFO (click para mostrar u ocultar)




Índice de Threads interesantes y/o importantes de Lógica y teoría de conjuntos.

Teorema de Godel
La Lógica Combinatoria y el Teorema de Gödel

Axiomas de la Teoría de Conjuntos

Demostración de que una relación de equivalencia establece una partición
¿Cual es la diferencia entre un conjunto en ZF y una clase en MK?

Demostración de que R no es numerable.
Estructuras de Dédekind para demostrar la existencia del conjunto de los reales.
En línea

einys
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Venezuela Venezuela

Mensajes: 2


Ver Perfil
« Respuesta #1 : 12/03/2010, 10:38:15 am »

   Hola, buen dia para todos, te cuento que soy Einys Fernandez, ciudadana del estado Carabobo, país Venezuela, y me apasiona todo lo referene a la lógica y en especial el estudio de la Lógica Proposicional, en el que es importante destacar la formas de significación, interpretación o comprenión de los simbolos lógicos, y los cuales estan de igual forma aunado a los signos de la matemática.

    Espero poder interactuar a través de este espacio acerca de diferentes tópicos.

                                                                         
                                                   Einys Fernández,    prof_einys@hotmail.com    12-03-2010
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.283

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #2 : 12/03/2010, 16:23:44 pm »

Hola einys.

Por ahora creo que podrás "aceitarte" ayudando en las consultas de lógica y teoría de conjuntos que muchos jovenes estudiantes ponen en el foro de lógica. Tu ayuda estoy seguro será muy bienvenida y agradecida.

En el foro hay que tratar de mantener un orden en los temas en que se participa.
Por ejemplo, según el "reglamento", tu respuesta a este hilo no sería correcta, porque te estás presentando, cuando el tema aquí es tan sólo una lista de temas discutidos anteriormente, y que estamos coleccionando porque han sido interesantes...

Pero es excusable por ser tu primer mensaje, jeje.

Al responder a un hilo como este, tendrías siempre que fijarte que tu respuesta tenga que ver con el titulo del hilo.
Si quieres aportar algo diferente, o preguntar algo, o conversar de alguna cosa que no está en los temas propuestos, basta hacer clic en "Nuevo tema" e iniciar un hilo con titulo distinto desde cero.

YA que sospecho que vas a tener bastante participación en el foro, te recomiendo que repases el tutorial de Latex.
Si ya sabés latex, será un gran alivio.
Aún así, tendrías que revisar el tutorial, porque en el foro no se ponen las formulas con $...$ como en el latex estándar, sino con otros delimitadores: [tex]x^2+1[/tex].
Los comandos para los simbolos más comunes aparecen como simbolos arriba de la caja de edición, como ya te habrás percatado.

Cualquier duda sobre estas cuestiones de uso del foro, bastará que preguntes.



Acá en el foro hay gente que sabe mucho de lógicas, lenguajes de 1er y 2do orden, maquinas de Turing, etc., pero lamentablemente muchos de ellos están inactivos hace tiempo, quizá porque tienen mucho trabajo en su vida "no virtual".
Pero aún nos quedan algunos, y así podrás interactuar fructiferamente.

No sé si habrás leído el hilo del  Teorema de Godel. Allí basicamente comandó el tema Gustavo Piñeiro y nos dejó generosamente muchas cosas.
Estaría bueno que eches una ojeada por ahí.

En el enlace de Teoría de Conjuntos puse las 3 listas de axiomas más populares hoy en día de las posibles teorías de conjuntos.
Me basé principalmente en el libro de Ivorra del Castillo.
Tuve algunas dificultades y errores, pero con ayuda de gente que sabe más que yo los errores fueron, creo yo, totalmente corregidos.
La motivación de ese hilo es una aparente falta de "comunicación" entre  los lógicos y los matemáticos.
O bien, la gente que quiere entender exactamente en qué se basa la teoría de conjuntos, queda debatienda confusamente en el aire.
Me pareció que en el foro tenía que haber una base sólida a la cual todos los usuarios pudiéramos hacer referencia en caso de duda, en las cuestiones de conjuntos.

Sobre lenguajes, significados, y semánticas... yo casi no sé nada. Otros/as tengo entendido que sí tienen el tema bastante claro.

A mediados de año estoy planeando iniciar un curso de lógica en el foro, ya que algunos lo han pedido.
No creo que yo sea capaz de dar solo ese curso. Habría que darlo entre 2 o más personas.
Podrías colaborar de alguna forma u otra llegado el caso.
Si ojeas el hilo de axiomas de la teoría de conjuntos, verás mi situación en relación a la lógica. Básicamente, necesito estar traduciéndola continuamente a términos matemáticos que me resulten más "cotidianos" por decirlo de alguna manera.
Mi deseo es conservar esa conexión todo el tiempo, para no perderme, ni perder a otros, en el mar del calculo lógico duro y maquinal, y el lenguaje absolutamente técnico. Y de hacerlo, pasar por varias transiciones.
De dar un curso en el foro, me gustaría que la cosa se haga así, con cariño para los no expertos. El "cariño" se nota cuando uno repara en las sutilezas y las hace públicas, por ejemplo, jeje.

Bueno, saludos, y suerte en el foro.


En línea

morito14
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 36


Ver Perfil
« Respuesta #3 : 03/09/2010, 04:50:57 am »

Hola Argentinador, acá tratamos de hacer una demostración sencilla de teorías de conjunto, cómo le hacemos?, te las vamos pasando para que las pongas en el índice?
http://rinconmatematico.com/foros/index.php/topic,37049.msg149102.html#new
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.283

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #4 : 03/09/2010, 10:39:20 am »

Mmmm...

En el índice no vamos a poner "todos los hilos" que aparezcan en la parte de Teoría de conjuntos.
Ya el foro mismo sirve de "índice", no tienen que hacer nada ustedes.

Este índice es para temas "interesantes", o sea, algun ejercicio llamativo, algún tema importante, o una cuenta difícil que aparece siempre, o bien una discusión que se volvió interesante por las ramificaciones que tuvo, etc...

Pero vos bien dijiste que es un ejercicio "sencillo" lo que han resuelto.
No sé si incluirlo en la lista de temas "interesantes"...
Además han habido errores "interesantes"  :cara_de_queso: en las soluciones propuestas... Creo que mejor no ponemos ese hilo en este índice.

Basta conque te haya servido para resolver tus dudas.

No obstante, otras sugerencias serán bienvenidas.
En línea

Elius
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 360



Ver Perfil WWW
« Respuesta #5 : 17/09/2010, 12:25:44 pm »

Hola, Argentinator,
me gustaría crear un hilo sobre Teoría de Modelos, algo para ir consultándonos dudas y dificultades en el estudio de este tema, basándose en textos conocidos.
Quisiera saber si puedo crear el hilo, o tiene que hacerlo un administrador.

Gracias de antemano.

Saludos!

Elius
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.283

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #6 : 17/09/2010, 12:38:27 pm »

Sos libre de escribir lo que se te antoje.

La teoría de modelos es algo que en el foro estamos necesitando "a gritos",
y falta alguien como vos, que tenga la iniciativa.

Así que, adelante.

Saludos
En línea

Garubi
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 104

El beodo anumérico


Ver Perfil
« Respuesta #7 : 21/11/2010, 17:01:17 pm »

Gracias por el hilo y por las explicaciones.

Un saludo.
En línea

La esfera es un cubo romo
robot0000
En general no respondo preguntas o mensajes. Para dudas concretas es preferible contactar un Moderador.
Admin
Junior
*****

Karma: +0/-0
Desconectado Desconectado

Bolulandia Bolulandia

Mensajes: 47


Ver Perfil
« Respuesta #8 : 11/01/2012, 21:08:04 pm »

Hilo cerrado. Continúa en: http://rinconmatematico.com/foros/index.php/topic,53499.msg213150.html#msg213150
En línea

Mi nick se ha creado para propósitos genéricos en el foro. No soy una persona real. No respondo.
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!