5 votos

Material de iniciación a la lógica matemática

Busco material de estudio y de iniciación para estudiar lógica matemática. Entiendo que es un tema muy amplio pero me gustaría saber cuál es el mejor camino que hay para aprender lógica matemática. ¿Por dónde hay que empezar? ¿Cuáles son los mejores recursos? Si alguien pudiera trazar una línea de tiempo de los acontecimientos que deberían tener lugar para obtener una buena comprensión de la lógica matemática, sería fantástico. He visto esta pregunta pero no da la profundidad que necesito.

0 votos

¿Qué tiene de malo, por ejemplo, Peter Smith 's responder .

0 votos

@GitGud no lo había visto pero parece que es completo. Entonces, ¿los recursos mencionados en la guía son los mejores o realmente buenos? Lo digo porque soy completamente nuevo en el estudio de la lógica y quiero que los recursos expliquen paso a paso las formulaciones y los razonamientos. Me parece que algunos de los recursos se mueven demasiado rápido o esperan que conozcas un montón de cosas antes de poder aprender dicho tema.

0 votos

Para ser sincero no lo sé, aún no he revisado el material de Peter Smith. Deberías enviarle un correo electrónico.

5voto

  1. Para obtener una guía detallada y con muchas anotaciones sobre cómo enseñarse a sí mismo la lógica mediante una selección de los muchos libros disponibles, pruebe mi Teach Yourself Logic en http://www.logicmatters.net/students/tyl/ Su objetivo es precisamente permitir al estudiante avanzar "paso a paso".

  2. No sé muy bien a qué te refieres con "pintar una línea de tiempo de los acontecimientos que deben tener lugar para obtener una buena comprensión de la lógica matemática"; pero TYL tiene un mapa crudo de la forma en que las áreas de la lógica matemática se relacionan entre sí que podría ayudar.

0 votos

Estoy leyendo su .pdf ahora mismo y contiene exactamente lo que estoy buscando. La línea de tiempo, me refiero a los pasos correctos que se deben tomar para aprender lógica. Me parece que salto de un concepto a otro tienen agujeros pero el árbol en la página 9 de su .pdf es exactamente lo que estaba buscando. Aprender la "lógica del bebé" y luego la lógica de primer orden, etc. Así que, gracias.

0 votos

Me alegro de que piense que es lo que está buscando.

1voto

Masacroso Puntos 1080

Quiero dar un enfoque alternativo a la selección de libros de Peter Smith, que en mi opinión está más dirigida a los filósofos que a los matemáticos.

En mi opinión, el mejor libro de introducción a la lógica matemática que se puede leer son los dos (o quizá tres) primeros capítulos de Una introducción concisa a la lógica matemática de Wolfgang Rautenberg.

También es muy difícil superar, en rigor, los dos primeros capítulos de Introducción a la lógica matemática de Elliot Mendelson o los primeros capítulos de Lógica matemática de Tourlakis.

El gran problema que he encontrado en casi todos los libros de introducción a la lógica matemática es que cuando los autores intentan facilitar las cosas (como exige un texto introductorio) lo hacen mal, ¡apelando a razones informales para mostrar cómo ser formal!

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