¿Qué se considera un equivalente de “Las conferencias de Feynman sobre Física” para la lógica?

Answer 1

No hay uno, porque la lógica no es realmente un área bien definida; se extiende desde discusiones filosóficas puras (por ejemplo, las Investigaciones filosóficas), lo que, en realidad, no es una buena sugerencia, aunque sea un buen libro, hasta el más puro Matemáticas puras (por ejemplo, cualquier cosa en el Journal of Symbolic Logic).

Para la lógica formal filosófica, el manual de lógica filosófica, editado por Dov Gabbay, es realmente bueno, y estaría cerca de un Feynman de la lógica. La primera edición, es decir, la segunda edición es enorme, abultada y horrible, hablo como alguien que tiene un capítulo en la segunda edición.

Para la lógica matemática, está el manual de lógica matemática, de Barwise y Echtemendy. Muy bonito, pero obsoleto para fines prácticos en estos días, porque la lógica formal ha recibido un gran impulso de la informática, que ha llevado al tema en todo tipo de direcciones interesantes y, en particular, ha agregado mucha teoría de categorías. Puede haber una segunda edición, por supuesto, aunque es difícil imaginar cómo sería. Mi conocimiento está fuera de fecha.

Si desea un texto clásico sobre lógica matemática, como lógica matemática (álgebra booleana, teoría de modelos, etc.), que no preste ninguna atención a la informática, Schoenfield es un libro encantador.

Answer 2

Investigaciones filosóficas de Wittgenstein . Aunque algunas personas pueden estar en desacuerdo con esto, pero realmente capta mucho en el área de la lógica de una manera muy precisa y hermosa. Al igual que las conferencias de Feynman, abarca muchos temas, aunque es mucho más difícil de entender. Esto es en parte porque, a diferencia de la física, la lógica tiene niveles de comprensión. Si lees investigaciones filosóficas Dos veces, puedes entender algo de eso. Pero si lo lees después de un año con muchas otras lecturas y pensamientos intermedios, puedes comprender mucho más. Lo mismo será cierto si repite esto nuevamente después de un año o dos.

Tenga en cuenta que es muy recomendable tener algo de experiencia en la escuela de lógica leyendo y pensando mucho antes de sumergirse en Investigaciones filosóficas. solo. Si tiene un guía experimentado que lo entienda razonablemente bien, puede intentarlo.

Answer 3

El cálculo lambda podría ser el más cercano, pero no el seminal. Hay un par de contendientes en la lógica de primer orden de muchos intentos. Ninguno se compara con las conferencias de Feynman. Aquí hay una lista de temas de lógica matemática.