Principia Mathematica Volumen I, Volumen II y Volumen III.
Mucha gente lo mira, pero muy pocos lo leen todo. Es demasiado largo y detallado. Leerlo es como leer el programa de computadora de un millón de líneas.
Este es un ejemplo extraído al azar del volumen I, página 265. Es el comienzo de una sección, así que comienza con una explicación útil en inglés.
Esa sección y la siguiente pueden omitirse en la primera lectura del trabajo (y también en cualquier lectura sucesiva). La introducción es suficiente para saber que no hay mucho que perder saltándose sobre ella. Los autores parecían estar de acuerdo como escribieron.
- ¿Cómo sería el mundo si no existiera el dinero?
- ¿Se puede explicar la ciencia de la computación en términos de filosofía, como a veces lo es la ciencia?
- ¿Qué piensas de este ensayo, ‘Sobre la autoconciencia’?
- Como saber cuando te conoces a ti mismo.
- ¿Cómo puedo comenzar a aplicar la máxima de Platón “conócete a ti mismo” en mi vida?
Dado que restringir el dominio o el dominio de dominio de una relación no es más que componer con una relación de restricción que realiza una intersección, y ya han demostrado que la composición y la intersección son asociativas, estas son solo variantes notacionales de la asociatividad.
No obstante, más de cien proposiciones se indican en la sección 35 y 36, muchas de ellas con pruebas. Mi conjetura es que más personas han ido a la luna que han leído estas secciones completamente. La sección 35 termina con esta página:
Una cosa que se debe saber al leer Principia es que Russell y Whitehead no usaron paréntesis para agrupar subexpresiones, sino que usaron separadores. Por ejemplo, toma la expresión
[math] (A \ cup B) \ cap C = (A \ cap C) \ cup (B \ cap C) [/ math]
La intersección de los estados se distribuye sobre la unión. En Principia que fue escrito.
[math] A \ cup B. {\ cap}. C: =: A \ cap C. {\ Cup}. B \ cap C [/ math]
No es una mala notación, ya que muchos paréntesis irritantes se interponen en la comprensión.
Recomiendo leer los libros para ver qué hay en ellos. Hay mucho. Pero no es necesario leerlos.