Section: New Results

Physics of computation

Participant : Gilles Dowek.

Together with Pablo Arrighi, Gilles Dowek has extended Gandy's theorem to quantum physics, by giving a new definition of the notion of finite density of information in this setting. This work has been presented at the congress QIPC [13] .