Richard Cleve (University of Waterloo)


"Quantum Entanglement and the Notion of a Mathematical Proof"


Information processing devices that can manipulate quantum states have the potential to perform several interesting computing feats. I will focus on some of the remarkable properties of entangled quantum states, and show that they can be cast in a setting that raises questions about the soundness of certain mathematical proof systems.


Le vendredi 27 février 2009 / Friday, February 27, 2009
16 h / 4:00 pm


Centre de recherches mathématiques
Pavillon André-Aisenstadt, 2920, chemin de la Tour
Université de Montréal
Salle / Room 1360


Du café et des biscuits seront servis à 15h30 et une réception suivra au Salon Maurice-L'Abbé (salle 6245).
Coffee and cookies will be served at 3:30 pm and a reception will follow at Salon Maurice-L'Abbé (Room 6245).