On computable numbers with an application to the AlanTuringproblem

RT @PlaysWithActs: @PlaysWithActs and @jimfinnis wrote about this in 'On Computable Numbers with An Application to the AlanTuringProblem' h…

RT @PlaysWithActs: @PlaysWithActs and @jimfinnis wrote about this in 'On Computable Numbers with An Application to the AlanTuringProblem' h…

@PlaysWithActs and @jimfinnis wrote about this in 'On Computable Numbers with An Application to the AlanTuringProblem' https://t.co/Ge1BNgW49v Can the legal system think?

@Harbottle_Legal @UoYLaw Problem is of course that the law may stay the same, but the meaning of the words in that law may change. I wrote an article on this, explaining how the Criminal Law (Amendment) Act 1885 was law for 82 years, but prosecution was mo

@AberCompSci @KiraPFTech @bcsmidwales Shame we couldn't come - Catrin and I wrote a paper on AI and the law, it would have been interesting to see another perspective https://t.co/WUa6raB8Zv

@Hal_Duncan @paddycarver recent paper by @PlaysWithActs (and a bit from me) about *why* the 50's was a bad time... https://t.co/WUa6raB8Zv https://t.co/vJZgwfOW9U

RT @Melanie_Rimmer: Is the law a computable number in the sense described by Alan Turing? https://t.co/ukECmdSx60 @jimfinnis @PlaysWithActs

Is the law a computable number in the sense described by Alan Turing? https://t.co/ukECmdSx60 @jimfinnis @PlaysWithActs

This is great from @PlaysWithActs - Is the law a computable formal system? https://t.co/ZU5BfGClyO

Not one to blow my own trumpet but PAPER! https://t.co/lqGuwK7b8p