Information Flow in Computation, Logic and Physics Speaker(s): Samson Abramsky
Abstract: Ideas about information are pervasive, yet the fundamental nature and structure of information - if indeed it has one! - remains elusive. Work done from many different perspectives, including those of physics, biology, logic, computer science, statistics, and game and decision theory, has yielded in... read more
Date: 02/11/2011 - 2:00 pm
Series: Colloquium
|
The Sheaf-Theoretic Structure of Non-Locality and Contextuality Speaker(s): Samson Abramsky
Abstract: We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, which generalizes the familiar probability tables used in non-locality theory to cover Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special cas... read more
Date: 01/11/2011 - 3:30 pm
Series: Quantum Foundations
|
PIRSA:08100045
( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format?
Causality and Information Flow in Quantum Protocols Speaker(s): Samson Abramsky
Abstract: In recent work with Bob Coecke and others, we have developed a categorical axiomatization of quantum mechanics. This analyzes the main structural features of quantum mechanics into simple and general elements, which admit an elegant diagrammatic representation. This enables an illuminating and effec... read more
Date: 01/10/2008 - 10:00 am
|
PIRSA:05070101
( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format?
Information is physical, but physics is logical Speaker(s): Samson Abramsky
Abstract:
Date: 19/07/2005 - 2:45 pm
|
PIRSA:05070099
( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format?
Introduction to logics as type theories for quantum processes Speaker(s): Samson Abramsky
Abstract:
Date: 19/07/2005 - 11:00 am
|
PIRSA:05070094
( Flash Presentation , Windows Presentation , Windows Video File , PDF) Which Format?
Introduction to logics as type theories for quantum processes Speaker(s): Samson Abramsky
Abstract:
Date: 18/07/2005 - 11:00 am
|