Deciding the undecidable
暂无分享，去创建一个
[1] Lennart Carleson,et al. The Dynamics of the Henon Map , 1991 .
[2] Moore,et al. Unpredictability and undecidability in dynamical systems. , 1990, Physical review letters.
[3] Bruno Scarpellini. Zwei Unentscheidbare Probleme Der Analysis , 1963 .
[4] Michael Barr,et al. The Emperor's New Mind , 1989 .
[5] S. Smale,et al. On a theory of computation and complexity over the real numbers; np-completeness , 1989 .