Computability in Europe 2006
Logical Approaches to Computational Barriers


Invited Plenary Talk:
On Nash, Brouwer, and other non-constructive proofs


Speaker: Christos Papadimitriou

Abstract

(TBA)

websites: Arnold Beckmann 2008-03-25