«Nuestra conclusión principal … es que se puede esperar razonablemente el encontrar un cálculo de proposiciones que son formalmente indistinguibles del cálculo de subespacios lineales con respecto a su conjunto de productos, sumas lineales y complementos ortogonales y que se asemeje al cálculo usual de proposiciones con respecto a 
Birkhoff & von Neumann, The Logic of Quantum Mechanics, 1936.
- Álgebra proposicional cuántica
- Álgebra booleana y retículos
- Ortocomplementación y Operación de junta
- Espacio de Hilbert
- Análisis booleano 1, Espacio de proyecciones
- Modelos cuánticos vs modelos clásicos
- Superposición de conjuntos
- Matemáticas modernas y teoría de conjuntos ZFC
- Analisis booleano, 2: El modelo V
Este blog se está realizando para la clase de Introducción a la Teoría de Conjuntos por Tania Julieth Araque Dueñas, Juan Pablo Corredor Catañeda, Sebastián García-Herreros Carrera y Tomas David Rodríguez Agudelo.
Universidad Nacional de Colombia.
Cuantumaniacos 