Picturing Quantum Processes. A first course in quantum theory and diagrammatic reasoning.

Add to your list(s) Download to your calendar using vCal

• Bob Coecke, Oxford University
• Thursday 30 October 2014, 16:00-17:00
• Hills Building, Room 120.

If you have a question about this talk, please contact Mohammad Tayarani.

Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk

We present quantum theory and quantum computation entirely in terms of diagrams. An entire course on each of these subject can indeed be given in entirely diagrammatic terms, including, for example, parts of arguments that even in the usual textbooks are not treated formally. The conceptual underpinning is to take composition of systems as the primitive connective, having drawn lessons from some of the shortcomings of other axiomatic approaches for quantum theory. Our approach favours general processes over states, very much in line with the computer science tradition.

This talk is part of the Computer Science Departmental Series series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Hills Building, Room 120
• computer sience

Note that ex-directory lists are not shown.