{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "birkhoff-neumann-quantum-logic-1936",
    "title": "Birkhoff and von Neumann: a lattice framework for quantum propositions",
    "summary": "Birkhoff and von Neumann associated quantum propositions with closed linear subspaces and studied meet, join and orthogonal complement. They used nondistributivity to distinguish this structure from the Boolean algebra of classical propositions and explored projective-geometric models under additional assumptions.\n\nThe joint paper turns relations between quantum propositions into algebraic objects that can be compared with classical set logic. Its mathematical investigation offers several possible models and identifies an obstruction to extending the finite-dimensional modular picture unchanged. The framework is distinct from von Neumann's computing, minimax and joint operator-ring works.",
    "boundary": "The physical interpretation is explicitly heuristic and includes postulates. Finite-dimensional modular/projective reconstruction requires stated extra assumptions; infinite-dimensional closed-subspace lattices need not be modular, as the paper itself shows. No unique quantum theory, experimentally mandated replacement of all classical logic, or complete later quantum-logic theory is claimed.",
    "area": "Quantum logic",
    "topic": "Mathematics",
    "year": 1936,
    "lane": "HUMAN",
    "result": "THEORY",
    "package_id": "birkhoff-neumann-quantum-logic-1936",
    "target": {
      "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
      "version": 1,
      "content_hash": "sha256:12acef4e634592ed715989f45b8caf1e8a93ffb4505eb82400f7f1a9bc40d2b6"
    },
    "humans": [
      "Garrett Birkhoff",
      "John von Neumann"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed contributors to this scoped work. Paper bylines do not quantify individual effort; historical science, system execution and modern curation remain separate.",
    "agents": [],
    "related": [
      "von-neumann-minimax-games-1928"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "wrs24-birkhoff-neumann-quantum-logic-1936",
        "title": "Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843",
        "url": "https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf"
      }
    ],
    "points": "155000",
    "published_grade": {
      "id": "birkhoff-neumann-quantum-logic-1936",
      "entry_id": "birkhoff-neumann-quantum-logic-1936",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
        "version": 1,
        "content_hash": "sha256:12acef4e634592ed715989f45b8caf1e8a93ffb4505eb82400f7f1a9bc40d2b6"
      },
      "what_changed": "Closed-subspace lattice operations express a proposed quantum-proposition calculus, expose nondistributivity and explore finite-dimensional projective reconstruction under explicit extra assumptions.",
      "scope": "Closed-subspace lattice operations express a proposed quantum-proposition calculus, expose nondistributivity and explore finite-dimensional projective reconstruction under explicit extra assumptions. The physical interpretation is explicitly heuristic and includes postulates. Finite-dimensional modular/projective reconstruction requires stated extra assumptions; infinite-dimensional closed-subspace lattices need not be modular, as the paper itself shows. No unique quantum theory, experimentally mandated replacement of all classical logic, or complete later quantum-logic theory is claimed.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
        "version": 1,
        "content_hash": "sha256:12acef4e634592ed715989f45b8caf1e8a93ffb4505eb82400f7f1a9bc40d2b6"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-03T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Garrett Birkhoff",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843",
            "url": "https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "John von Neumann",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843",
            "url": "https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843",
            "url": "https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The physical interpretation is explicitly heuristic and includes postulates. Finite-dimensional modular/projective reconstruction requires stated extra assumptions; infinite-dimensional closed-subspace lattices need not be modular, as the paper itself shows. No unique quantum theory, experimentally mandated replacement of all classical logic, or complete later quantum-logic theory is claimed.",
        "domain": "Quantum logic"
      },
      "sources": [
        {
          "citation": "Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843",
          "url": "https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf"
        }
      ],
      "statement": "# Birkhoff and von Neumann: a lattice framework for quantum propositions\n\nBirkhoff and von Neumann associated quantum propositions with closed linear subspaces and studied meet, join and orthogonal complement. They used nondistributivity to distinguish this structure from the Boolean algebra of classical propositions and explored projective-geometric models under additional assumptions.\n\nThe joint paper turns relations between quantum propositions into algebraic objects that can be compared with classical set logic. Its mathematical investigation offers several possible models and identifies an obstruction to extending the finite-dimensional modular picture unchanged. The framework is distinct from von Neumann's computing, minimax and joint operator-ring works.\n\n## Scientific scope\n\nThe physical interpretation is explicitly heuristic and includes postulates. Finite-dimensional modular/projective reconstruction requires stated extra assumptions; infinite-dimensional closed-subspace lattices need not be modular, as the paper itself shows. No unique quantum theory, experimentally mandated replacement of all classical logic, or complete later quantum-logic theory is claimed.\n\n## People and systems\n\nGarrett Birkhoff; John von Neumann\n\n\n\n## Original sources\n\n- [Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843](https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf)\n",
      "summary": "Birkhoff and von Neumann associated quantum propositions with closed linear subspaces and studied meet, join and orthogonal complement. They used nondistributivity to distinguish this structure from the Boolean algebra of classical propositions and explored projective-geometric models under additional assumptions.\n\nThe joint paper turns relations between quantum propositions into algebraic objects that can be compared with classical set logic. Its mathematical investigation offers several possible models and identifies an obstruction to extending the finite-dimensional modular picture unchanged. The framework is distinct from von Neumann's computing, minimax and joint operator-ring works.",
      "title": "Birkhoff and von Neumann: a lattice framework for quantum propositions"
    },
    "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
      "version": 1,
      "content_hash": "sha256:12acef4e634592ed715989f45b8caf1e8a93ffb4505eb82400f7f1a9bc40d2b6"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:547c8e94749997ac6e697f61e4ad108cf44ab28ae91a3894186c2357e2c72d5a"
  },
  "target": {
    "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
    "version": 1,
    "content_hash": "sha256:12acef4e634592ed715989f45b8caf1e8a93ffb4505eb82400f7f1a9bc40d2b6"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "birkhoff-neumann-quantum-logic-1936",
    "entry_id": "birkhoff-neumann-quantum-logic-1936",
    "revision": 1,
    "title": "Birkhoff and von Neumann: a lattice framework for quantum propositions",
    "context": "Quantum logic",
    "track": "Quantum logic",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-03",
    "evidence_cutoff": "2026-10-03",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Closed-subspace lattice operations express a proposed quantum-proposition calculus, expose nondistributivity and explore finite-dimensional projective reconstruction under explicit extra assumptions.",
    "scope": "Closed-subspace lattice operations express a proposed quantum-proposition calculus, expose nondistributivity and explore finite-dimensional projective reconstruction under explicit extra assumptions. The physical interpretation is explicitly heuristic and includes postulates. Finite-dimensional modular/projective reconstruction requires stated extra assumptions; infinite-dimensional closed-subspace lattices need not be modular, as the paper itself shows. No unique quantum theory, experimentally mandated replacement of all classical logic, or complete later quantum-logic theory is claimed.",
    "evidence_summary": "Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.",
    "references": [
      {
        "title": "Garrett Birkhoff and John von Neumann, The Logic of Quantum Mechanics, Annals of Mathematics 37 (1936), 823–843",
        "url": "https://sites.unimi.it/carati/didattica/fondamenti/BirkhoffVanNeumann.pdf",
        "locator": "Original linked work. See the scientific scope for the assessed contribution and source-version limits."
      }
    ],
    "roles": [
      {
        "who": "Garrett Birkhoff",
        "did": "Original source-listed scientific author of this scoped work; byline does not determine effort fractions.",
        "credit": "SCIENCE"
      },
      {
        "who": "John von Neumann",
        "did": "Original source-listed scientific author of this scoped work; byline does not determine effort fractions.",
        "credit": "SCIENCE"
      }
    ],
    "target": {
      "record_id": "urn:uuid:5191b394-b097-4c88-af9a-b0933e8e79da",
      "version": 1,
      "content_hash": "sha256:12acef4e634592ed715989f45b8caf1e8a93ffb4505eb82400f7f1a9bc40d2b6"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "155000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}