Hola a todos, el verano está llegando y estoy pensando en leer algo acerca de la lógica matemática. Podría alguien por favor darme algunos materiales de lectura sobre este tema?
Respuestas
¿Demasiados anuncios?
Aquí están algunas sugerencias (que dependiendo de su fondo puede ser más o menos útil):
- La lógica y la Estructura por Dirk van Dalen. He utilizado esto como un libro de texto cuando la enseñanza de la lógica matemática y para ello es decente. Algunas personas encuentran que es un poco seco, pero al menos se trata de una gran cantidad de material en un razonablemente de manera clara.
- La Lógica matemática por José R. Shoenfield. Este libro es, creo, considerado por muchos lógicos, como el estándar de oro de texto sobre el tema.
- Un Curso de Lógica Matemática por John Bell y Moshe Machover. Esta es mi parte favorita del libro de texto en la lógica matemática. (Por desgracia, es un Norte de Holanda libro y lo es un poco menos asequible.)
- Un Curso de Lógica Matemática para los Matemáticos por Yuri I. Manin (con contribuciones de Boris Zilber). Creo que casi cualquier cosa escrita por Manin es que vale la pena tomar en serio y este libro no es la excepción.
- Notas sobre Lógica y Teoría de conjuntos por Peter T. Johnstone. Este es un pequeño y encantador (literalmente) libro sobre la lógica de que es muy recomendable (tal vez en combinación con uno de los otros libros de esta lista).
- Las Matemáticas de la Metamathematics por Helena Rasiowa y Romana Sikorski. Este es un buen libro que da un entramado teórico el desarrollo de la lógica matemática. (Difícil de encontrar, pero vale la pena un vistazo si su biblioteca tiene una copia.)
- Introducción a Metamathematics por Stephen C. Kleene. Un texto clásico en la lógica matemática, que es todavía una gratificante leer.
Espero que estos (ciertamente sesgada) sugerencias son algunos de uso!
Jeremy McGee
Puntos
13826
Me sorprende mi favorito introducción a la lógica matemática no ha sido mencionado por nadie. Es Robert S. Wolf es Un Recorrido a Través de la Lógica Matemática. Lobo ha escrito un libro que es muy atractivo para leer. Su pasión por el tema viene a través en cada frase. Se lee como una novela en mathematial lógica y teoría de conjuntos, que se completa con detalladas notas históricas, filosóficas, ideas y un montón de problemas. El libro es prácticamente una meditación sobre la respuesta a cualquier frustrado estudiante de la lógica de la pregunta,"¿por Qué es esto importante?" Yo sinceramente recomiendo como su punto de partida antes de ver cualquiera de los más de profundidad de tratamientos que se recomiendan a continuación. Como actividad de seguimiento, recomiendo el clásico de introducción a mi antiguo maestro, Elliott Mendelson, Una Introducción A la Lógica Matemática, de un profundo y magistralmente escrita introducción para estudiantes de posgrado. Esas serían mis recomendaciones.
blowmage
Puntos
2587
La Teoría de conjuntos y la Lógica de Robert R. Stoll .
Este fue nuestro texto en algún curso. Ver el interior. Y comprobar su biblioteca y/pregunte a los instructores de los cursos, o intentar encontrar alguna estudiantes de último curso de contorno o mejor aún de verificación buena univ sitios web en un curso de este tipo.
A_M
Puntos
2897
Este libro es un general de libros de texto en la Lógica, así que no es para principiantes, pero de todos modos, el texto se llama "Lógica Matemática" por Yu.Ershova y E. A. Palyutin. Lo siento, no he podido encontrar un enlace relevante, en cualquier lugar. Tal vez está disponible en alguna biblioteca en algún lugar?
Leimi
Puntos
516
Si usted es un principiante a la lógica matemática, como parecen insinuar, recomiendo empezar por conocer a los clásicos proposicional y de predicados de la lógica. Es muy útil establecer online de aritlces sobre el tema, con ejercicios interactivos. Las secciones pertinentes de la lógica matemática sería:
- La lógica
- La Lī Ogica De
- La Teoría De Conjuntos
- La recursividad
