2013-02-04 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 11:14:03 +0000] rev 114
updated
2013-02-04 abacus section updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:47:26 +0000] rev 113
abacus section updated
2013-02-04 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:17:09 +0000] rev 112
updated
2013-02-03 made uncomputable compatible with abacus
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 13:31:14 +0000] rev 111
made uncomputable compatible with abacus
2013-02-03 completed undecidability proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:28 +0000] rev 110
completed undecidability proof
2013-02-03 updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 03 Feb 2013 12:24:00 +0000] rev 109
updated paper
2013-02-01 updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Feb 2013 14:54:47 +0000] rev 108
updated paper
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip