"Introducing undecidability."

Judith Gal-Ezer, Dvir Lanzberg, Daphna Shahak (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics