kvantlogiska

Kvantlogiska, eller quantum logic, är ett tvärvetenskapligt fält som studerar den logiska strukturen i kvantmekaniska system och hur denna struktur påverkar resonemang, information och beräkning. Inom kvantlogik används ofta icke-klassiska logiska system som skiljer sig från traditionell booleansk logik för att modellera egenskaper som superposition, mätbarhet och sammanflätning.

Fältet har sina rötter i 1930-talets arbeten av Garrett Birkhoff och John von Neumann, som föreslog att logiken bakom kvantmekanik istället borde beskrivas med en bredare logik på den vektorrumsliga (Hilbert) nivån. Denna kvantlogik kännetecknas av icke-distributiva logiska strukturer, ofta formaliserade som projektorernas gitter i ett Hilbertrum.

I praktiken omfattar kvantlogiska studier bland annat konstruktion och analys av kvantlogiska system, utveckling av kvantprogrammeringsspråk, och undersökningar av hur entanglement och contextuality påverkar logiska inferenser. En viktig modell är det projektorlutna gitter som beskriver alla mätbara underutrymmen.

Forskningen bidrar till förståelse av kvantmekanikens tolkningsfrågor, test av grundläggande påståenden som contextuality och nonlocality, samt till utvecklingen av kvantberäknings- och informations-teoretiska ramverk.

Se även: kvantmekanik, logik, kvantlogik, kvantberäkning, contextualitet. Viktiga läsningar inkluderar Birkhoff och von Neumann, The Logic of Quantum Mechanics (1936), samt senare översikter om kvantlogik och quantum computation.