Progress of the non-self-governing territories under the Charter.

"United Nations publication: Sales no.: 60. VI.B.1."

Survey and inspection of non-provided schools ...

Report, dated 7th April 1905.--Appendices: A-B. Reports of the architect (education) on school buildings, and on the results of tests of drains. C. Return showing--1. Accommodation; 2. Roll and average attendance (September and October 1904); 3. Staff on 1st May 1904, fixed staff 1905-6, and final staff with costs; 4. Loss of accommodation; 5. Recommendations of sub-committees; 6. Small sketch plans of the schools. D. Return of staff on 1st May 1904, showing name, age, status, qualifications, salary, etc., with small sketch plans of the schools. E. Reports of the educational adviser and of the architect, on accommodation. F. Report of the comptroller.--Map and index.--Appendix to Report of Education committee. 26th July, 1905. Salaries of teachers in non-provided schools appointed prior to and since 1st May, 1904, at salaries and under conditions other than those provided for in the council's scale of salaries for teachers.

Computation in Non-Classical Foundations?

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.