Mon, 04 Feb 2013 23:12:17 +0000 paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 23:12:17 +0000] rev 116
paper
Mon, 04 Feb 2013 21:11:43 +0000 started with abacus section
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 21:11:43 +0000] rev 115
started with abacus section
Mon, 04 Feb 2013 11:14:03 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 11:14:03 +0000] rev 114
updated
Mon, 04 Feb 2013 01:47:26 +0000 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
Mon, 04 Feb 2013 01:17:09 +0000 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Feb 2013 01:17:09 +0000] rev 112
updated
Sun, 03 Feb 2013 13:31:14 +0000 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
Sun, 03 Feb 2013 12:24:28 +0000 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
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip