Introduction E9F5FC

Questions FFFFC0

• View
• Edit
• History
• Print

Nonlocal games. The difference between classical and quantum information through game theory.

Formal concept analysis. Tai-Danae Bradley. At the Interface of Algebra and Statistics.

John Baez. Physics, Topology, Logic and Computation: A Rosetta Stone.

Probability is a kind of measurement. Measurement of density. Randomness is how sparse the probability distribution over the space.

Probability is comparison of two probability densities, a base and a variation. And there are five ways to relate the asymptotic base (conscious)) and the variation (interaction, unconscious). Base and the variation are the two causalities.

Probablity (choice) is the basis for the division of everything into perspectives.

Topological quantum computation - anyons.

Can transform information into heat.

Kleisli category, Giray monad - probability

• Gives freedom?
• Concurrency: How does it relate to tensor products and inner hom?
• Concurrency: Relate to decision making, space and time, parallel perspectives

Information - ambiguous by nature

Local system modeling the global system.

Antonio Jesus

Expressiveness and proof theoretic strength for different type theories.

• Allowing inductive recursive definitions, how does that increase the proof theoretic strength or the expressiveness in a type theoretic based language.

Compositional game theory. Julian Hedges.

• Diagrammatic calculus (as for quantum theory)
• Relate nonviolence principles to game theory.

Information, symmetry, randomness

Key to physics is information and symmetry

https://franklin.dyer.me/notes/note/Cones_and_limits Antonio suggested

Categorical Logic and Type Theory Antonio suggested

Graph quantum isomorphism

Presburger arithmetic is weaker

https://www.cst.cam.ac.uk/files/smp-2021-slides-mancinska.pdf Quantum Isomorphism of Graphs: An Overview. Related to game theory, knowledge, information theory.

Albert Atserias et al. Quantum and non-signalling graph isomorphisms.

Laura Mancinska. Quantum isomorphism of graphs: An overview

https://en.wikipedia.org/wiki/Induction-recursion

https://en.wikipedia.org/wiki/Quantum_pseudo-telepathy Mermin–Peres magic square game

• What is a weak homotopy equivalence that is not a homotopy equivalence?
• Cellular approximation theorem