42,379 research outputs found
Effective zero-dimensionality for computable metric spaces
We begin to study classical dimension theory from the computable analysis
(TTE) point of view. For computable metric spaces, several effectivisations of
zero-dimensionality are shown to be equivalent. The part of this
characterisation that concerns covering dimension extends to higher dimensions
and to closed shrinkings of finite open covers. To deal with zero-dimensional
subspaces uniformly, four operations (relative to the space and a class of
subspaces) are defined; these correspond to definitions of inductive and
covering dimensions and a countable basis condition. Finally, an effective
retract characterisation of zero-dimensionality is proven under an effective
compactness condition. In one direction this uses a version of the construction
of bilocated sets.Comment: 25 pages. To appear in Logical Methods in Computer Science. Results
in Section 4 have been presented at CCA 201
A Traditional English (Not British) Country Gentleman of the Radical Leftâ: Understanding the Making and Unmaking of Edward Thompson's English Idiom
This essay discusses E. P. Thompson's relationship with an English sense of tradition, exploring in particular his shifting characterisation of an English idiom in the three closely linked, polemical rejoinders he offered to the ideas advanced by major Marxist intellectual figures in the 1960s and 1970s. It draws particular attention to themes that have either been overlooked or relegated to the margins by previous commentaryâspecifically, his rhetorical style and sense of audience. And it charts a notable, yet largely unnoticed, shift in his thinking in this periodâfrom an appeal to an English sense of tradition to an assertion of the merit of historical forms of understanding.This is an Accepted Manuscript of an article published by Taylor & Francis in Contemporary British History on 6th October 2014, available online: http://wwww.tandfonline.com/10.1080/13619462.2014.962915
The ethics of machine translation
In this paper I first describe the two main branches in machine translation research. I then go to discuss why the second of these, statistical machine translation, can cause some malaise among translation scholars. As some of the issues that arise are ethical in nature, I stop to ponder what an ethics of machine translation might involve, before considering the ethical stance adopted by some of the main protagonists in the development and popularisation of statistical machine translation, and in the teaching of translation
- âŠ