Andreas Döring
- A topos foundation for theories of physics: I. Formal languages for physics
2007/03/07 by Andreas Döring, A. Doering, C. J. Isham · 147 citations
Computer Science · Mathematics · Physics and Astronomy · #Algebra over a field #Classical physics #Computer science #Discrete mathematics #Formal language #Formal system #Intuitionistic logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Modern physics #Physics #Programming language #Propositional calculus #Pure mathematics #Quantum #Quantum Mechanics and Applications #Quantum mechanics #Representation (politics) #Theoretical physics #Topos theory #gr-qc #math-ph #math.MP #quant-ph
- Kochen–Specker Theorem for von Neumann Algebras
2004/08/16 by Andreas Doering, Andreas Döring · 76 citations
Computer Science · Mathematics · Physics and Astronomy · #Advanced Operator Algebra Research #Algebra over a field #Computability, Logic, AI Algorithms #Discrete mathematics #Kochen–Specker theorem #Lattice (music) #Mathematics #Observable #Physics #Projection (relational algebra) #Pure mathematics #Quantum #Quantum Mechanics and Applications #Quantum mechanics #Von Neumann algebra #Von Neumann architecture #math-ph #math.MP #math.OA #quant-ph